Closed gheber closed 8 years ago
; in: DEFUN CRTS-PRDC-CMPR ; (THE CAT::CMPR ; (CAT::LEXICO ; (CAT::F-CMPR (CAT::DGOP1 CAT::CRPR1) (CAT::DGOP1 CAT::CRPR2)) ; (CAT::F-CMPR (CAT::DGOP2 CAT::CRPR1) (CAT::DGOP2 CAT::CRPR2)) ; (FUNCALL CAT::CMPR1 (CAT::GMSM1 CAT::CRPR1) (CAT::GMSM1 CAT::CRPR2)) ; (FUNCALL CAT::CMPR2 (CAT::GMSM2 CAT::CRPR1) (CAT::GMSM2 CAT::CRPR2)))) ; ; note: type assertion too complex to check: ; (VALUES (MEMBER :LESS :EQUAL :GREATER) &REST T).
; in: DEFUN CRTS-PRDC ; (THE CAT::SIMPLICIAL-SET ; (CAT::BUILD-SMST :CMPR (CAT::CRTS-PRDC-CMPR CAT::CMPR1 CAT::CMPR2) ; :BASIS (CAT::CRTS-PRDC-BASIS CAT::BASIS1 CAT::BASIS2) ; :BSPN (CAT::CRPR 0 CAT::BSPN1 0 CAT::BSPN2) :FACE ; (CAT::CRTS-PRDC-FACE CAT::FACE1 CAT::FACE2) :FACE ; (CAT::CRTS-PRDC-FACE\ CAT::FACE1 CAT::FACE2) :ORGN ...)) ; ; note: type assertion too complex to check: ; (VALUES SIMPLICIAL-SET &REST T).
; in: DEFUN CRTS-PRDC-CMPR ; (THE CAT::CMPR ; (CAT::LEXICO ; (CAT::F-CMPR (CAT::DGOP1 CAT::CRPR1) (CAT::DGOP1 CAT::CRPR2)) ; (CAT::F-CMPR (CAT::DGOP2 CAT::CRPR1) (CAT::DGOP2 CAT::CRPR2)) ; (FUNCALL CAT::CMPR1 (CAT::GMSM1 CAT::CRPR1) (CAT::GMSM1 CAT::CRPR2)) ; (FUNCALL CAT::CMPR2 (CAT::GMSM2 CAT::CRPR1) (CAT::GMSM2 CAT::CRPR2)))) ; ; note: type assertion too complex to check: ; (VALUES (MEMBER :LESS :EQUAL :GREATER) &REST T).
; in: DEFUN CRTS-PRDC ; (THE CAT::SIMPLICIAL-SET ; (CAT::BUILD-SMST :CMPR (CAT::CRTS-PRDC-CMPR CAT::CMPR1 CAT::CMPR2) ; :BASIS (CAT::CRTS-PRDC-BASIS CAT::BASIS1 CAT::BASIS2) ; :BSPN (CAT::CRPR 0 CAT::BSPN1 0 CAT::BSPN2) :FACE ; (CAT::CRTS-PRDC-FACE CAT::FACE1 CAT::FACE2) :FACE ; (CAT::CRTS-PRDC-FACE\ CAT::FACE1 CAT::FACE2) :ORGN ...)) ; ; note: type assertion too complex to check: ; (VALUES SIMPLICIAL-SET &REST T).