Closed gheber closed 8 years ago
; in: DEFMETHOD CLASSIFYING-SPACE (SIMPLICIAL-GROUP) ; (THE CAT::SIMPLICIAL-SET ; (CAT::BUILD-SMST :CMPR ; (CAT::CLASSIFYING-SPACE-CMPR (CAT::CMPR CAT::SMGR)) ; :BASIS ; (CAT::CLASSIFYING-SPACE-BASIS (CAT::BASIS CAT::SMGR)) ; :BSPN CAT::+NULL-GBAR+ :FACE ; (CAT::CLASSIFYING-SPACE-FACE (CAT::FACE CAT::SMGR) ; (CAT::SINTR (CAT::GRML CAT::SMGR))) ; :ORGN `(CAT::CLASSIFYING-SPACE ,CAT::SMGR))) ; ; note: type assertion too complex to check: ; (VALUES SIMPLICIAL-SET &REST T).
; in: DEFMETHOD CLASSIFYING-SPACE (AB-SIMPLICIAL-GROUP) ; (THE CAT::AB-SIMPLICIAL-GROUP ; (CHANGE-CLASS ; (CAT::BUILD-SMGR :CMPR ; (CAT::CLASSIFYING-SPACE-CMPR (CAT::CMPR CAT::SMGR)) ; :BASIS ; (CAT::CLASSIFYING-SPACE-BASIS (CAT::BASIS CAT::SMGR)) ; :BSPN CAT::+NULL-GBAR+ :FACE ; (CAT::CLASSIFYING-SPACE-FACE (CAT::FACE CAT::SMGR) ; (CAT::SINTR #)) ; :SINTR-GRML ; (CAT::CLASSIFYING-SPACE-GRML-SINTR ; (CAT::BSPN CAT::SMGR) (CAT::SINTR #)) ; :SINTR-GRIN ...) ; 'CAT::AB-SIMPLICIAL-GROUP)) ; ; note: type assertion too complex to check: ; (VALUES AB-SIMPLICIAL-GROUP &REST T).
; in: DEFMETHOD CLASSIFYING-SPACE (SIMPLICIAL-GROUP) ; (THE CAT::SIMPLICIAL-SET ; (CAT::BUILD-SMST :CMPR ; (CAT::CLASSIFYING-SPACE-CMPR (CAT::CMPR CAT::SMGR)) ; :BASIS ; (CAT::CLASSIFYING-SPACE-BASIS (CAT::BASIS CAT::SMGR)) ; :BSPN CAT::+NULL-GBAR+ :FACE ; (CAT::CLASSIFYING-SPACE-FACE (CAT::FACE CAT::SMGR) ; (CAT::SINTR (CAT::GRML CAT::SMGR))) ; :ORGN `(CAT::CLASSIFYING-SPACE ,CAT::SMGR))) ; ; note: type assertion too complex to check: ; (VALUES SIMPLICIAL-SET &REST T).
; in: DEFMETHOD CLASSIFYING-SPACE (AB-SIMPLICIAL-GROUP) ; (THE CAT::AB-SIMPLICIAL-GROUP ; (CHANGE-CLASS ; (CAT::BUILD-SMGR :CMPR ; (CAT::CLASSIFYING-SPACE-CMPR (CAT::CMPR CAT::SMGR)) ; :BASIS ; (CAT::CLASSIFYING-SPACE-BASIS (CAT::BASIS CAT::SMGR)) ; :BSPN CAT::+NULL-GBAR+ :FACE ; (CAT::CLASSIFYING-SPACE-FACE (CAT::FACE CAT::SMGR) ; (CAT::SINTR #)) ; :SINTR-GRML ; (CAT::CLASSIFYING-SPACE-GRML-SINTR ; (CAT::BSPN CAT::SMGR) (CAT::SINTR #)) ; :SINTR-GRIN ...) ; 'CAT::AB-SIMPLICIAL-GROUP)) ; ; note: type assertion too complex to check: ; (VALUES AB-SIMPLICIAL-GROUP &REST T).