Closed gheber closed 8 years ago
; in: DEFMETHOD BUILD-HMEQ ((EQL :LF) T) ; (THE CAT::HOMOTOPY-EQUIVALENCE ; (PROGN ; (UNLESS CAT::ORGN (SETF CAT::ORGN #)) ; (LET ((CAT::ALREADY #)) ; (DECLARE (TYPE # CAT::ALREADY)) ; (WHEN CAT::ALREADY (RETURN-FROM CAT::BUILD-HMEQ CAT::ALREADY))) ; (CAT::BUILD-HMEQ :LRDCT ; (CAT::BUILD-RDCT :F CAT::LF :G CAT::LG :H CAT::LH :ORGN ;(CAT::BUILD-HMEQ ,CAT::LF ,CAT::LG ,CAT::LH ,CAT::RF ,CAT::RG ; ,CAT::RH CAT::LRDCT)) ; :RRDCT ; (CAT::BUILD-RDCT :F CAT::RF :G CAT::RG :H CAT::RH :ORGN ; `(CAT::BUILD-HMEQ ,CAT::LF ,CAT::LG ,CAT::LH ,CAT::RF ,CAT::RG ; ,CAT::RH CAT::RRDCT)) ; :ORGN CAT::ORGN))) ; ; note: type assertion too complex to check: ; (VALUES HOMOTOPY-EQUIVALENCE &REST T).
#)) ; (LET ((CAT::ALREADY #)) ; (DECLARE (TYPE # CAT::ALREADY)) ; (WHEN CAT::ALREADY (RETURN-FROM CAT::BUILD-HMEQ CAT::ALREADY))) ; (CAT::BUILD-HMEQ :LRDCT ; (CAT::BUILD-RDCT :F CAT::LF :G CAT::LG :H CAT::LH :ORGN ;
; in: DEFMETHOD ADD (REDUCTION MORPHISM) ; (ERROR "Why a third argument in (ADD REDUCTION MORPHISM)?") ; ==> ; "Why a third argument in (ADD REDUCTION MORPHISM)?" ; ; note: deleting unreachable code
; in: DEFUN BPL--SIGMA ; (THE CAT::MORPHISM ; (LET ((CAT::CMPR (CAT::CMPR #)) ; (CAT::H-DELTA (CAT::CMPS CAT::HOMOTOPY CAT::PERTURBATION))) ; (DECLARE (TYPE CAT::CMPRF CAT::CMPR) ; (TYPE CAT::MORPHISM CAT::H-DELTA)) ; (FLET ((CAT::SIGMA- # ; # ; #)) ; (CAT::BUILD-MRPH :SORC (CAT::SORC CAT::HOMOTOPY) :TRGT ; (CAT::SORC CAT::HOMOTOPY) :DEGR 0 :INTR ; #'CAT::SIGMA-* :STRT :GNRT :ORGN ...)))) ; ; note: type assertion too complex to check: ; (VALUES MORPHISM &REST T).
; in: DEFMETHOD ADD (HOMOTOPY-EQUIVALENCE MORPHISM) ; (DEFMETHOD CAT::ADD ; ((CAT::HMEQ CAT::HOMOTOPY-EQUIVALENCE) ; (CAT::LB-PERTURBATION CAT::MORPHISM) ; &OPTIONAL CAT::DUMMY) ; (DECLARE (IGNORE CAT::DUMMY)) ; (THE CAT::HOMOTOPY-EQUIVALENCE ; (WITH-SLOTS (CAT::LRDCT CAT::RRDCT) ; CAT::HMEQ ; (DECLARE (TYPE CAT::REDUCTION CAT::LRDCT CAT::RRDCT)) ; (MULTIPLE-VALUE-BIND (CAT::NEW-LRDCT CAT::TOP-PERTURBATION) ; (CAT::ADD CAT::LRDCT CAT::LB-PERTURBATION) ; (DECLARE # ; #) ; (CAT::BUILD-HMEQ :LRDCT CAT::NEW-LRDCT :RRDCT # :ORGN #))))) ; --> PROGN EVAL-WHEN SB-PCL::%DEFMETHOD-EXPANDER PROGN SB-PCL::LOAD-DEFMETHOD ; --> SB-PCL::LOAD-DEFMETHOD LIST* LET* SB-INT:NAMED-LAMBDA FUNCTION ; --> SYMBOL-MACROLET SB-PCL::FAST-LEXICAL-METHOD-FUNCTIONS ; --> SB-PCL::BIND-FAST-LEXICAL-METHOD-FUNCTIONS FLET LET SB-PCL::BIND-ARGS ; --> LET* LOCALLY SYMBOL-MACROLET BLOCK ; ==> ; (THE CAT::HOMOTOPY-EQUIVALENCE ; (LET ((#:G1107 CAT::HMEQ)) ; (DECLARE (IGNORABLE #:G1107)) ; (DECLARE (SB-PCL::%VARIABLE-REBINDING #:G1107 CAT::HMEQ)) ; #:G1107 ; (SYMBOL-MACROLET ((CAT::LRDCT #) (CAT::RRDCT #)) ; (DECLARE (TYPE CAT::REDUCTION CAT::LRDCT CAT::RRDCT)) ; (MULTIPLE-VALUE-BIND (CAT::NEW-LRDCT CAT::TOP-PERTURBATION) ; (CAT::ADD # CAT::LB-PERTURBATION) ; (DECLARE # ; #) ; (CAT::BUILD-HMEQ :LRDCT CAT::NEW-LRDCT :RRDCT # :ORGN#))))) ; ; note: type assertion too complex to check: ; (VALUES HOMOTOPY-EQUIVALENCE &REST T).
#))))) ; --> PROGN EVAL-WHEN SB-PCL::%DEFMETHOD-EXPANDER PROGN SB-PCL::LOAD-DEFMETHOD ; --> SB-PCL::LOAD-DEFMETHOD LIST* LET* SB-INT:NAMED-LAMBDA FUNCTION ; --> SYMBOL-MACROLET SB-PCL::FAST-LEXICAL-METHOD-FUNCTIONS ; --> SB-PCL::BIND-FAST-LEXICAL-METHOD-FUNCTIONS FLET LET SB-PCL::BIND-ARGS ; --> LET* LOCALLY SYMBOL-MACROLET BLOCK ; ==> ; (THE CAT::HOMOTOPY-EQUIVALENCE ; (LET ((#:G1107 CAT::HMEQ)) ; (DECLARE (IGNORABLE #:G1107)) ; (DECLARE (SB-PCL::%VARIABLE-REBINDING #:G1107 CAT::HMEQ)) ; #:G1107 ; (SYMBOL-MACROLET ((CAT::LRDCT #) (CAT::RRDCT #)) ; (DECLARE (TYPE CAT::REDUCTION CAT::LRDCT CAT::RRDCT)) ; (MULTIPLE-VALUE-BIND (CAT::NEW-LRDCT CAT::TOP-PERTURBATION) ; (CAT::ADD # CAT::LB-PERTURBATION) ; (DECLARE # ; #) ; (CAT::BUILD-HMEQ :LRDCT CAT::NEW-LRDCT :RRDCT # :ORGN
; in: DEFMETHOD BUILD-HMEQ ((EQL :LF) T) ; (THE CAT::HOMOTOPY-EQUIVALENCE ; (PROGN ; (UNLESS CAT::ORGN (SETF CAT::ORGN
#)) ; (LET ((CAT::ALREADY #)) ; (DECLARE (TYPE # CAT::ALREADY)) ; (WHEN CAT::ALREADY (RETURN-FROM CAT::BUILD-HMEQ CAT::ALREADY))) ; (CAT::BUILD-HMEQ :LRDCT ; (CAT::BUILD-RDCT :F CAT::LF :G CAT::LG :H CAT::LH :ORGN ;(CAT::BUILD-HMEQ ,CAT::LF ,CAT::LG ,CAT::LH ,CAT::RF ,CAT::RG ; ,CAT::RH CAT::LRDCT)) ; :RRDCT ; (CAT::BUILD-RDCT :F CAT::RF :G CAT::RG :H CAT::RH :ORGN ; `(CAT::BUILD-HMEQ ,CAT::LF ,CAT::LG ,CAT::LH ,CAT::RF ,CAT::RG ; ,CAT::RH CAT::RRDCT)) ; :ORGN CAT::ORGN))) ; ; note: type assertion too complex to check: ; (VALUES HOMOTOPY-EQUIVALENCE &REST T).; in: DEFMETHOD ADD (REDUCTION MORPHISM) ; (ERROR "Why a third argument in (ADD REDUCTION MORPHISM)?") ; ==> ; "Why a third argument in (ADD REDUCTION MORPHISM)?" ; ; note: deleting unreachable code
; in: DEFUN BPL--SIGMA ; (THE CAT::MORPHISM ; (LET ((CAT::CMPR (CAT::CMPR #)) ; (CAT::H-DELTA (CAT::CMPS CAT::HOMOTOPY CAT::PERTURBATION))) ; (DECLARE (TYPE CAT::CMPRF CAT::CMPR) ; (TYPE CAT::MORPHISM CAT::H-DELTA)) ; (FLET ((CAT::SIGMA- # ; # ; #)) ; (CAT::BUILD-MRPH :SORC (CAT::SORC CAT::HOMOTOPY) :TRGT ; (CAT::SORC CAT::HOMOTOPY) :DEGR 0 :INTR ; #'CAT::SIGMA-* :STRT :GNRT :ORGN ...)))) ; ; note: type assertion too complex to check: ; (VALUES MORPHISM &REST T).
; in: DEFMETHOD ADD (HOMOTOPY-EQUIVALENCE MORPHISM) ; (DEFMETHOD CAT::ADD ; ((CAT::HMEQ CAT::HOMOTOPY-EQUIVALENCE) ; (CAT::LB-PERTURBATION CAT::MORPHISM) ; &OPTIONAL CAT::DUMMY) ; (DECLARE (IGNORE CAT::DUMMY)) ; (THE CAT::HOMOTOPY-EQUIVALENCE ; (WITH-SLOTS (CAT::LRDCT CAT::RRDCT) ; CAT::HMEQ ; (DECLARE (TYPE CAT::REDUCTION CAT::LRDCT CAT::RRDCT)) ; (MULTIPLE-VALUE-BIND (CAT::NEW-LRDCT CAT::TOP-PERTURBATION) ; (CAT::ADD CAT::LRDCT CAT::LB-PERTURBATION) ; (DECLARE # ; #) ; (CAT::BUILD-HMEQ :LRDCT CAT::NEW-LRDCT :RRDCT # :ORGN
#))))) ; --> PROGN EVAL-WHEN SB-PCL::%DEFMETHOD-EXPANDER PROGN SB-PCL::LOAD-DEFMETHOD ; --> SB-PCL::LOAD-DEFMETHOD LIST* LET* SB-INT:NAMED-LAMBDA FUNCTION ; --> SYMBOL-MACROLET SB-PCL::FAST-LEXICAL-METHOD-FUNCTIONS ; --> SB-PCL::BIND-FAST-LEXICAL-METHOD-FUNCTIONS FLET LET SB-PCL::BIND-ARGS ; --> LET* LOCALLY SYMBOL-MACROLET BLOCK ; ==> ; (THE CAT::HOMOTOPY-EQUIVALENCE ; (LET ((#:G1107 CAT::HMEQ)) ; (DECLARE (IGNORABLE #:G1107)) ; (DECLARE (SB-PCL::%VARIABLE-REBINDING #:G1107 CAT::HMEQ)) ; #:G1107 ; (SYMBOL-MACROLET ((CAT::LRDCT #) (CAT::RRDCT #)) ; (DECLARE (TYPE CAT::REDUCTION CAT::LRDCT CAT::RRDCT)) ; (MULTIPLE-VALUE-BIND (CAT::NEW-LRDCT CAT::TOP-PERTURBATION) ; (CAT::ADD # CAT::LB-PERTURBATION) ; (DECLARE # ; #) ; (CAT::BUILD-HMEQ :LRDCT CAT::NEW-LRDCT :RRDCT # :ORGN#))))) ; ; note: type assertion too complex to check: ; (VALUES HOMOTOPY-EQUIVALENCE &REST T).