143

[FULL page printout inserted]

PAGE 1-1 X 12/26/67 21:51
00001 (
00002 SETSET GENERAL FUNCTIONS)
00010 DEFINE ((
00020 (RESET (LAMBDA NIL (PROG NIL
00030 (MAP SPECLIS (FUNCTION (LAMBDA (J) (MKS (CAR J) (GET (CAR J)
00035 (QUOTE INIT))))))
00040 (MAP SETLIST (FUNCTION (LAMBDA (J) (MKS (CAR J) NIL))))
00050 (MAP KLIS (FUNCTION (LAMBDA (J) (MKS (CAR J)
00060 (LIST (LIST (GET (CAR J) (QUOTE OP))))))))
00065 (RETURN STAR)
00070 )))
00080 ))
00090
00100 DEFINE ((
00105 (ABS (LAMBDA (N) (COND ((MINUSP N) (MINUS N)) (T N))))
00110 (ASSOCX (LAMBDA (U V) (COND ((NULL V) NIL)
00120 ((EQUAL U (CAAR V)) (CDAR V)) (T (ASSOC: ≠: Y←: ←↑→←
X U (CDR V))))))
00122 (ATSOC (LAMBDA (A V) (COND ((NULL V) A) ((EQ A (CAAR V)) (CDAR V))
00124 (T (ATSOC A (CDR V))) )))
00130 (ATOMLIS (LAMBDA (U)(OR (NULL U)(AND(ATOM(CAR U))(ATOMLIS(CDR U))))))
00160 (CARX (LAMBDA (U) (COND ((NULL (CDR U))(CAR U))
00170 (T (ERROR (LIST (QUOTE CARX) U))) )))
00180 (DELETE (LAMBDA (X Y) (COND ((NULL Y) NIL) ((EQUAL X (CAR Y)) (CDR Y))
00190 (T (CONS (CAR Y) (DELETE X (CDR Y)))))))
00200 (FLATTEN (LAMBDA (U) (COND
00210 ((NULL U) NIL) ((ATOM U) (LIST U))
00220 ((ATOM (CAR U)) (CONS (CAR U)
(FLATTEN (CDR U))))[=/=:] [*:alpha 8: alpha:: pi 9: alpha d left ?]
00230 (IT (NCONC (FLATTEN. (: ≠: *: α δ : α : π 9 : α ∂ ←
CAR U)) (FLATTEN (CDR U)))) )))
00235 (FNL (LAMBDA NIL NIL)) (IDEN (LAMBDA (U) U))
00236 (MAPCAR (LAMBDA (X PI) (COND
00238 (( NULL X) NIL) (T (CONS (PI (CAR X)) (MAPCAR (CDR X) PI))))))
00240 (MEXPH (LAMBDA (U V) (COND ((NULL V) NIL) ((ATOM V) (EQ U V))
00250 (T (OR (MEXPR U (CAR V)) (MEXPR U (CDR V)))) )))
00340 (XN (LAMBDA (U V) (COND
00350 ((NULL U) NIL)
00360 ((MEMBER (CAR U) V) (CONS (CAR U) (XN (CDR U) (DELETE (CAR U) V))))
00370 (T (XN (CDR U) V)) )))
00380 (NCONS (LAMBDA (U V) (COND ((NULL U) V) (T (CONS U V)) )))
00390 (RASSOC (LAMBDA (U V) (COND
00400 : [=/=:] [*:alpha 8: alpha:: pi 9: alpha d left ?]
((NULL V) NIL)
00410 ((EQUAL U (CDAR V)) (CAR V)
00420 (T (RASSOC U (CSR V))) )))
00430 (REMAKE (LAMBDA (U) (MAPLIST U (FUNCTION CAR))))
00440 (REMEXPR (LAMBDA (U) (MAP U (RUNCTION (LAMBDA (J) (PROG2
00450 (REMPROP (CAR J) (QUOTE EXPR)) (REMPROP (CAR J) (QUOTE FEXPR)
00455 ))))))
00460 (REMOVE (LAMBDA (X N) (COND
00470 ((MINUSP N) (ERROR (LIST (QUOTE REMOVE) X N )))
00480 ((NULL X) NIL)

[END of inserted printout]