Closed gheber closed 8 years ago
; in: DEFUN SMGR-FIBRATION ; (THE CAT::FIBRATION ; (CAT::BUILD-SMMR :SORC (CAT::CLASSIFYING-SPACE CAT::SMGR) :TRGT ; CAT::SMGR :DEGR -1 :SINTR #'CAT::SMGR-FIBRATION-SINTR ; :ORGN `(CAT::SIMPLICIAL-GROUP-FIBRATION ,CAT::SMGR))) ; ; note: type assertion too complex to check: ; (VALUES &OPTIONAL (SATISFIES FIBRATION-P) &REST T).
; in: DEFUN SMGR-CRTS-CONTRACTION-INTR ; (THE CAT::CMBN ; (CAT::WITH-CRPR (CAT::ABSM1 CAT::ABSM2) CAT::CRPR ; (IF (= (CAT::DGOP CAT::ABSM2) (CAT::MASK CAT::DEGR)) ; (CAT::ZERO-CMBN CAT::DEGR+1) ; (CAT::TERM-CMBN CAT::DEGR+1 ; (CAT::-1-EXPT-N+1 CAT::DEGR) ; (CAT::CRPR 0 # # CAT::IDNT))))) ; ; note: type assertion too complex to check: ; (VALUES CMBN &REST T).
; in: DEFUN SMGR-CRTS-CONTRACTION ; (THE CAT::MORPHISM ; (CAT::BUILD-MRPH :SORC ; (CAT::FIBRATION-TOTAL (CAT::SMGR-FIBRATION CAT::SMGR)) ; :TRGT ; (CAT::FIBRATION-TOTAL (CAT::SMGR-FIBRATION CAT::SMGR)) ; :DEGR 1 :INTR ; (CAT::SMGR-CRTS-CONTRACTION-INTR (CAT::BSPN CAT::SMGR)) ; :STRT :GNRT :ORGN ...)) ; ; note: type assertion too complex to check: ; (VALUES MORPHISM &REST T).
; in: DEFUN SMGR-TNPR-CONTRACTION ; (THE CAT::MORPHISM (CAT::I-CMPS CAT::F CAT::CHI CAT::G)) ; ; note: type assertion too complex to check: ; (VALUES MORPHISM &REST T).
; in: DEFUN SMGR-FIBRATION ; (THE CAT::FIBRATION ; (CAT::BUILD-SMMR :SORC (CAT::CLASSIFYING-SPACE CAT::SMGR) :TRGT ; CAT::SMGR :DEGR -1 :SINTR #'CAT::SMGR-FIBRATION-SINTR ; :ORGN `(CAT::SIMPLICIAL-GROUP-FIBRATION ,CAT::SMGR))) ; ; note: type assertion too complex to check: ; (VALUES &OPTIONAL (SATISFIES FIBRATION-P) &REST T).
; in: DEFUN SMGR-CRTS-CONTRACTION-INTR ; (THE CAT::CMBN ; (CAT::WITH-CRPR (CAT::ABSM1 CAT::ABSM2) CAT::CRPR ; (IF (= (CAT::DGOP CAT::ABSM2) (CAT::MASK CAT::DEGR)) ; (CAT::ZERO-CMBN CAT::DEGR+1) ; (CAT::TERM-CMBN CAT::DEGR+1 ; (CAT::-1-EXPT-N+1 CAT::DEGR) ; (CAT::CRPR 0 # # CAT::IDNT))))) ; ; note: type assertion too complex to check: ; (VALUES CMBN &REST T).
; in: DEFUN SMGR-CRTS-CONTRACTION ; (THE CAT::MORPHISM ; (CAT::BUILD-MRPH :SORC ; (CAT::FIBRATION-TOTAL (CAT::SMGR-FIBRATION CAT::SMGR)) ; :TRGT ; (CAT::FIBRATION-TOTAL (CAT::SMGR-FIBRATION CAT::SMGR)) ; :DEGR 1 :INTR ; (CAT::SMGR-CRTS-CONTRACTION-INTR (CAT::BSPN CAT::SMGR)) ; :STRT :GNRT :ORGN ...)) ; ; note: type assertion too complex to check: ; (VALUES MORPHISM &REST T).
; in: DEFUN SMGR-TNPR-CONTRACTION ; (THE CAT::MORPHISM (CAT::I-CMPS CAT::F CAT::CHI CAT::G)) ; ; note: type assertion too complex to check: ; (VALUES MORPHISM &REST T).