Closed gheber closed 8 years ago
; in: DEFUN DISK-PASTING ; (THE CAT::SIMPLICIAL-SET ; (WITH-SLOTS (CAT::CMPR CAT::BASIS CAT::BSGN CAT::FACE CAT::DFFR) ; CAT::SMST ; (DECLARE (TYPE CAT::CMPRF CAT::CMPR) ; (TYPE CAT::BASIS CAT::BASIS) ; (TYPE CAT::GMSM CAT::BSGN) ; (TYPE CAT::FACE CAT::FACE) ; (TYPE CAT::MORPHISM CAT::DFFR)) ; (LET ((CAT::NEW-FACE #) (CAT::NEW-BNDR #)) ; (DECLARE (TYPE CAT::FACE CAT::NEW-FACE) ; (TYPE CAT::CMBN CAT::NEW-BNDR)) ; (DO (# ; #) ; (#) ; (DECLARE # ; #) ; (LET # ; # ; #)) ; (CAT::BUILD-SMST :CMPR (CAT::DISK-PASTING-CMPR CAT::CMPR CAT::NEW) ; :BASIS ; (CAT::DISK-PASTING-BASIS CAT::BASIS CAT::DMNS ; CAT::NEW) ; :BSPN CAT::BSGN :FACE CAT::NEW-FACE :INTR-BNDR ; (CAT::DISK-PASTING-INTR-DFFR CAT::DFFR CAT::DMNS ; CAT::NEW CAT::NEW-BNDR) ; :BNDR-STRT ...)))) ; ; note: type assertion too complex to check: ; (VALUES SIMPLICIAL-SET &REST T).
; in: DEFUN MRPH-DISK-PASTING ; (THE CAT::MORPHISM ; (CAT::BUILD-MRPH :SORC CAT::NEW-SORC :TRGT CAT::NEW-TRGT :DEGR ; (CAT::DEGR CAT::MRPH) :INTR ; (CAT::MRPH-DISK-PASTING-INTR CAT::MRPH ; (CAT::CMPR CAT::NEW-TRGT) CAT::DMNS CAT::NEW ; CAT::NEW-IM) ; :STRT :CMBN :ORGN ...)) ; ; note: type assertion too complex to check: ; (VALUES MORPHISM &REST T).
; in: DEFMETHOD SEARCH-EFHM (T (EQL (QUOTE DISK-PASTING))) ; (THE CAT::HOMOTOPY-EQUIVALENCE ; (DESTRUCTURING-BIND ; (CAT::OLD-SMST CAT::DMNS CAT::NEW CAT::FACES) ; (REST (CAT::ORGN CAT::SMST)) ; (DECLARE (TYPE CAT::SIMPLICIAL-SET CAT::OLD-SMST) ; (FIXNUM CAT::DMNS) ; (SYMBOL CAT::NEW) ; (IGNORE CAT::FACES)) ; (CAT::HMEQ-DISK-PASTING (CAT::EFHM CAT::OLD-SMST) CAT::DMNS CAT::NEW ; (CAT::? CAT::SMST CAT::DMNS CAT::NEW) :NEW-LBCC CAT::SMST))) ; ; note: type assertion too complex to check: ; (VALUES HOMOTOPY-EQUIVALENCE &REST T).
; in: DEFUN DISK-PASTING ; (THE CAT::SIMPLICIAL-SET ; (WITH-SLOTS (CAT::CMPR CAT::BASIS CAT::BSGN CAT::FACE CAT::DFFR) ; CAT::SMST ; (DECLARE (TYPE CAT::CMPRF CAT::CMPR) ; (TYPE CAT::BASIS CAT::BASIS) ; (TYPE CAT::GMSM CAT::BSGN) ; (TYPE CAT::FACE CAT::FACE) ; (TYPE CAT::MORPHISM CAT::DFFR)) ; (LET ((CAT::NEW-FACE #) (CAT::NEW-BNDR #)) ; (DECLARE (TYPE CAT::FACE CAT::NEW-FACE) ; (TYPE CAT::CMBN CAT::NEW-BNDR)) ; (DO (# ; #) ; (#) ; (DECLARE # ; #) ; (LET # ; # ; #)) ; (CAT::BUILD-SMST :CMPR (CAT::DISK-PASTING-CMPR CAT::CMPR CAT::NEW) ; :BASIS ; (CAT::DISK-PASTING-BASIS CAT::BASIS CAT::DMNS ; CAT::NEW) ; :BSPN CAT::BSGN :FACE CAT::NEW-FACE :INTR-BNDR ; (CAT::DISK-PASTING-INTR-DFFR CAT::DFFR CAT::DMNS ; CAT::NEW CAT::NEW-BNDR) ; :BNDR-STRT ...)))) ; ; note: type assertion too complex to check: ; (VALUES SIMPLICIAL-SET &REST T).
; in: DEFUN MRPH-DISK-PASTING ; (THE CAT::MORPHISM ; (CAT::BUILD-MRPH :SORC CAT::NEW-SORC :TRGT CAT::NEW-TRGT :DEGR ; (CAT::DEGR CAT::MRPH) :INTR ; (CAT::MRPH-DISK-PASTING-INTR CAT::MRPH ; (CAT::CMPR CAT::NEW-TRGT) CAT::DMNS CAT::NEW ; CAT::NEW-IM) ; :STRT :CMBN :ORGN ...)) ; ; note: type assertion too complex to check: ; (VALUES MORPHISM &REST T).
; in: DEFMETHOD SEARCH-EFHM (T (EQL (QUOTE DISK-PASTING))) ; (THE CAT::HOMOTOPY-EQUIVALENCE ; (DESTRUCTURING-BIND ; (CAT::OLD-SMST CAT::DMNS CAT::NEW CAT::FACES) ; (REST (CAT::ORGN CAT::SMST)) ; (DECLARE (TYPE CAT::SIMPLICIAL-SET CAT::OLD-SMST) ; (FIXNUM CAT::DMNS) ; (SYMBOL CAT::NEW) ; (IGNORE CAT::FACES)) ; (CAT::HMEQ-DISK-PASTING (CAT::EFHM CAT::OLD-SMST) CAT::DMNS CAT::NEW ; (CAT::? CAT::SMST CAT::DMNS CAT::NEW) :NEW-LBCC CAT::SMST))) ; ; note: type assertion too complex to check: ; (VALUES HOMOTOPY-EQUIVALENCE &REST T).