Closed gheber closed 8 years ago
; in: DEFUN Z-WHITEHEAD ; (THE CAT::FIBRATION ; (CAT::BUILD-SMMR :SORC CAT::SMST :TRGT (CAT::K-Z (1- CAT::N)) :DEGR -1 ; :SINTR ; (CAT::Z-WHITEHEAD-SINTR CAT::SMST CAT::N ; CAT::CHML-CLSS) ; :ORGN `(CAT::Z-WHITEHEAD ,CAT::SMST))) ; ; note: type assertion too complex to check: ; (VALUES &OPTIONAL (SATISFIES FIBRATION-P) &REST T).
; in: DEFUN Z2-WHITEHEAD ; (THE CAT::FIBRATION ; (CAT::BUILD-SMMR :SORC CAT::SMST :TRGT (CAT::K-Z2 (1- CAT::N)) :DEGR -1 ; :SINTR ; (CAT::Z2-WHITEHEAD-SINTR CAT::SMST CAT::N ; CAT::CHML-CLSS) ; :ORGN `(CAT::Z2-WHITEHEAD ,CAT::SMST))) ; ; note: type assertion too complex to check: ; (VALUES &OPTIONAL (SATISFIES FIBRATION-P) &REST T).
; in: DEFUN Z-WHITEHEAD ; (THE CAT::FIBRATION ; (CAT::BUILD-SMMR :SORC CAT::SMST :TRGT (CAT::K-Z (1- CAT::N)) :DEGR -1 ; :SINTR ; (CAT::Z-WHITEHEAD-SINTR CAT::SMST CAT::N ; CAT::CHML-CLSS) ; :ORGN `(CAT::Z-WHITEHEAD ,CAT::SMST))) ; ; note: type assertion too complex to check: ; (VALUES &OPTIONAL (SATISFIES FIBRATION-P) &REST T).
; in: DEFUN Z2-WHITEHEAD ; (THE CAT::FIBRATION ; (CAT::BUILD-SMMR :SORC CAT::SMST :TRGT (CAT::K-Z2 (1- CAT::N)) :DEGR -1 ; :SINTR ; (CAT::Z2-WHITEHEAD-SINTR CAT::SMST CAT::N ; CAT::CHML-CLSS) ; :ORGN `(CAT::Z2-WHITEHEAD ,CAT::SMST))) ; ; note: type assertion too complex to check: ; (VALUES &OPTIONAL (SATISFIES FIBRATION-P) &REST T).