142

FOLKS, TRY THIS SIMPLE TEST

12/26/67

R PIP 4
*DTA G:X - DTA3:R0
*↑C
R EDIT2
*S6X
*X
↑C
.(IN DESPERATION AT SEEING PRINTED RESULTS) ↑U
[END of inserted printout]

see my comments earlier ACH

[START of second inserted printout onto Logbook page]

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) NUL) ((ATOM U) (LIST U))
00220 ((ATOM (CAR U)) (CONS (CAR U) (FLATTEN (CDR U))))
00230 (T (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 X) NIL)

[END of secod inserted printout]