combinations.lisp

[gheber]

; in: DEFUN MAPLEXICO ; (THE BOOLEAN ; (DO ((CAT::MARK1 CAT::LIST1 (CDR CAT::MARK1)) ; (CAT::MARK2 CAT::LIST2 (CDR CAT::MARK2))) ; (NIL) ; (DECLARE (LIST CAT::MARK1 CAT::MARK2)) ; (UNLESS CAT::MARK1 ; (RETURN-FROM CAT::MAPLEXICO ; (IF CAT::MARK2 ; :LESS ; :EQUAL))) ; (UNLESS CAT::MARK2 (RETURN-FROM CAT::MAPLEXICO :GREATER)) ; (CASE (FUNCALL CAT::CMPR (CAR CAT::MARK1) (CAR CAT::MARK2)) ; (:LESS (RETURN-FROM CAT::MAPLEXICO :LESS)) ; (:GREATER (RETURN-FROM CAT::MAPLEXICO :GREATER))))) ; ; note: deleting unreachable code

; in: DEFUN CMBN-CMBN ; (THE CAT::CMBN ; (LET ((CAT::NEW-RSLT CAT::+EMPTY-LIST+)) ; (DECLARE (LIST CAT::NEW-RSLT)) ; (DO ((CAT::MARK1 # #) ; (CAT::MARK2 CAT::N-CMBN-LIST #)) ; ((ENDP CAT::MARK2)) ; (DECLARE (LIST CAT::MARK1 CAT::MARK2)) ; (WHEN (ENDP CAT::MARK1) (PUSH # CAT::NEW-RSLT) (RETURN)) ; (PUSH (CAT::2N-2CMBN CAT::CMPR # # # #) CAT::NEW-RSLT)) ; (LET ((CAT::OLD-RSLT CAT::+EMPTY-LIST+)) ; (DECLARE (LIST CAT::OLD-RSLT)) ; (LOOP (UNLESS # #) ; (SETF #) ; (DO # # # # #))))) ; ; note: deleting unreachable code