perm filename CONVRT.LAP[P,BGB] blob
sn#009271 filedate 1974-04-16 generic text, type T, neo UTF8
(PUTPROP (QUOTE DIFFERENCE) (GET (QUOTE *DIF) (QUOTE SUBR)) (QUOTE SUBR))
(PUTPROP (QUOTE SASSQ) (GET (QUOTE SASSOC) (QUOTE SUBR)) (QUOTE SUBR))
(PUTPROP (QUOTE MAPC#) (GET (QUOTE MAPC) (QUOTE SUBR)) (QUOTE SUBR))
(PUTPROP (QUOTE MAPCAR#) (GET (QUOTE MAPCAR) (QUOTE SUBR)) (QUOTE SUBR))
(PUTPROP (QUOTE ASSQ) (GET (QUOTE ASSOC) (QUOTE SUBR)) (QUOTE SUBR))
(PUTPROP (QUOTE PUTPROP1) (GET (QUOTE PUTPROP) (QUOTE SUBR)) (QUOTE SUBR))
(PUTPROP (QUOTE APPLY#) (GET (QUOTE APPLY) (QUOTE LSUBR)) (QUOTE LSUBR))
(PUTPROP (QUOTE THPUSH) (QUOTE (LAMBDA (A) (LIST (QUOTE SETQ) (CADR A) (LIST (QUOTE CONS) (CADDR A) (CADR A)))))~
(QUOTE MACRO))
(PUTPROP (QUOTE THTRACE) (QUOTE (LAMBDA (L) (PROG NIL (DSKIN (P RPO) (THTRAC . /13)) (REMPROP (QUOTE THTRACE) (Q~
UOTE MACRO)) (RETURN (LIST (QUOTE QUOTE) (EVAL L)))))) (QUOTE MACRO))
(PUTPROP (QUOTE THEOREM) T (QUOTE SWAPIT))
(SETQ THTRACE NIL)
(COND ((GETL (QUOTE THERT) (QUOTE (FSUBR FEXPR)))) ((DF THERT (L) NIL)))
(LAP DECLARE FSUBR)
(MOVEI 1 (QUOTE NIL))
(POPJ P)
NIL
(SETQ PURE NIL)
(SETQ ERRLIST NIL)
(LAP MAPCAR LSUBR)
(JSP 3 *LCALL)
(PUSH P 1)
(MOVEI 2 (QUOTE 3))
(CALL 2 (E *GREAT))
(JUMPE 1 TAG2)
(MOVEI 1 (QUOTE (MAPCAR OF 3 ARG LISTS)))
(CALL 1 (E PRINT))
(CALL 0 (E ERR))
(JRST 0 TAG1)
TAG2 (MOVEI 2 (QUOTE 2))
(MOVE 1 0 P)
(CALL 2 (E EQUAL))
(JUMPE 1 TAG3)
(MOVE 1 -2 P)
(HRRZ 1 1 1)
(MOVE 2 -2 P)
(HRRZ 2 2 2)
(CALL 2 (E MAPCAR#))
(JRST 0 TAG1)
TAG3 (MOVE 1 -2 P)
(HRRZ 1 2 1)
(JUMPE 1 TAG11)
(TDZA 1 1)
TAG11 (MOVEI 1 (QUOTE T))
(JUMPN 1 TAG10)
(MOVE 1 -2 P)
(HRRZ 1 3 1)
(JUMPE 1 TAG12)
(TDZA 1 1)
TAG12 (MOVEI 1 (QUOTE T))
TAG10 (JUMPE 1 TAG7)
(MOVEI 1 (QUOTE NIL))
(JRST 0 TAG6)
TAG7 (MOVE 1 -2 P)
(HRRZ 1 1 1)
(PUSH P 1)
(MOVE 1 -3 P)
(HRRZ 1 2 1)
(MOVE 2 -3 P)
(HRRZ 2 3 2)
(HLRZ@ 2 2)
(HLRZ@ 1 1)
(CALLF@ 2 0 P)
(MOVEM 1 0 P)
(PUSH P (C 0 0 TAG15 0))
(MOVE 2 -4 P)
(HRRZ 2 1 2)
(PUSH P 2)
(MOVE 2 -5 P)
(HRRZ 2 2 2)
(HRRZ@ 1 2)
(PUSH P 1)
(MOVE 2 -6 P)
(HRRZ 2 3 2)
(HRRZ@ 1 2)
(PUSH P 1)
(MOVNI 6 3)
(JCALL 16 (E MAPCAR))
TAG15 (POP P 2)
(CALL 2 (E XCONS))
TAG13
TAG6
TAG4
TAG1 (SUB P (C 0 0 1 1))
(POPJ P)
NIL
(LAP ERT FSUBR)
(PUSH P 1)
(PUSH P (C 0 0 TAG1 0))
(PUSH P (C 0 0 (QUOTE THERT) 0))
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E APPLY))
TAG1 (SUB P (C 0 0 1 1))
(POPJ P)
NIL
(LAP ASSOC SUBR)
(PUSH P 1)
(PUSH P 2)
(MOVE 1 2)
(JUMPE 1 TAG1)
(HLRZ@ 2 1)
(HLRZ@ 2 2)
(MOVE 1 -1 P)
(CALL 2 (E EQUAL))
(JUMPE 1 TAG2)
(HLRZ@ 1 0 P)
(JRST 0 TAG1)
TAG2 (HRRZ@ 2 0 P)
(MOVE 1 -1 P)
(CALL 2 (E ASSOC))
TAG3
TAG1 (SUB P (C 0 0 2 2))
(POPJ P)
NIL
(LAP PAGEBPORG SUBR)
(MOVEI 1 (QUOTE NIL))
(POPJ P)
NIL
(LAP GENPREFIX FSUBR)
(MOVEI 1 (QUOTE NIL))
(POPJ P)
NIL
(LAP MIN LSUBR)
(JSP 3 *LCALL)
(PUSH P 1)
(ADD 1 -2 P)
(HRRZ 1 -577777 1)
(PUSH P 1)
TAG1 (MOVE 1 -1 P)
(CALL 1 (E SUB1))
(MOVEM 1 -1 P)
(CALL 1 (E ZEROP))
(JUMPE 1 TAG6)
(MOVE 1 0 P)
(JRST 0 TAG2)
TAG6 (MOVE 1 -1 P)
(ADD 1 -3 P)
(HRRZ 1 -577777 1)
(MOVE 2 0 P)
(CALL 2 (E *LESS))
(JUMPE 1 TAG7)
(MOVE 1 -1 P)
(ADD 1 -3 P)
(HRRZ 1 -577777 1)
(MOVEM 1 0 P)
TAG7 (JRST 0 TAG1)
TAG2 (SUB P (C 0 0 2 2))
(POPJ P)
NIL
(LAP MAX LSUBR)
(JSP 3 *LCALL)
(PUSH P 1)
(ADD 1 -2 P)
(HRRZ 1 -577777 1)
(PUSH P 1)
TAG1 (MOVE 1 -1 P)
(CALL 1 (E SUB1))
(MOVEM 1 -1 P)
(CALL 1 (E ZEROP))
(JUMPE 1 TAG6)
(MOVE 1 0 P)
(JRST 0 TAG2)
TAG6 (MOVE 1 -1 P)
(ADD 1 -3 P)
(HRRZ 1 -577777 1)
(MOVE 2 0 P)
(CALL 2 (E *GREAT))
(JUMPE 1 TAG7)
(MOVE 1 -1 P)
(ADD 1 -3 P)
(HRRZ 1 -577777 1)
(MOVEM 1 0 P)
TAG7 (JRST 0 TAG1)
TAG2 (SUB P (C 0 0 2 2))
(POPJ P)
NIL
(LAP RANDOM SUBR)
(MOVEI 1 (QUOTE 15))
(CALL 1 (E EXAMINE))
(PUSH P 1)
(MOVEI 1 (QUOTE 16))
(CALL 1 (E EXAMINE))
(POP P 2)
(CALL 2 (E *TIMES))
(PUSH P 1)
(PUSH P (C 0 0 TAG1 0))
(MOVEI 1 (QUOTE 15))
(CALL 1 (E EXAMINE))
(PUSH P 1)
(MOVEI 1 (QUOTE 16))
(CALL 1 (E EXAMINE))
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E MAX))
TAG1 (MOVE 2 1)
(POP P 1)
(JCALL 2 (E *QUO))
NIL
(LAP DEFUN FSUBR)
(PUSH P 1)
(CALL 1 (E CADR))
(CALL 1 (E ATOM))
(JUMPE 1 TAG4)
(HRRZ@ 1 0 P)
(HLRZ@ 1 1)
(JUMPN 1 TAG6)
(TDZA 1 1)
TAG6 (MOVEI 1 (QUOTE T))
TAG4 (JUMPE 1 TAG2)
(HRRZ@ 1 0 P)
(CALL 1 (E CADR))
(CALL 1 (E NCONS))
(PUSH P 1)
(HLRZ@ 1 -1 P)
(PUSH P 1)
(HRRZ@ 1 -2 P)
(CALL 1 (E CDDR))
(CALL 1 (E LENGTH))
(MOVEI 2 (QUOTE 1))
(CALL 2 (E *GREAT))
(JUMPE 1 TAG10)
(HRRZ@ 1 -2 P)
(CALL 1 (E CDDR))
(CALL 1 (E LAST))
(PUSH P 1)
(HRRZ@ 1 -3 P)
(CALL 1 (E CDDR))
(CALL 1 (E LAST))
(HLRZ@ 1 1)
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE RETURN))
(CALL 2 (E XCONS))
(HRLM@ 1 0 P)
(HRRZ@ 2 -3 P)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
(SUB P (C 0 0 1 1))
TAG12 (MOVEI 1 (QUOTE (PROG NIL)))
(CALL 2 (E *APPEND))
(CALL 1 (E NCONS))
(MOVE 2 1)
(JRST 0 TAG7)
TAG10 (HRRZ@ 2 -2 P)
(HRRZ@ 2 2)
(HRRZ@ 2 2)
TAG14
TAG7 (MOVE 1 -1 P)
(CALL 2 (E *APPEND))
(MOVE 2 1)
(MOVEI 1 (QUOTE (LAMBDA)))
(CALL 2 (E *APPEND))
(HRRZ@ 3 -2 P)
(HLRZ@ 3 3)
(MOVE 2 1)
(POP P 1)
(CALL 3 (E PUTPROP))
(HLRZ@ 1 -1 P)
(SUB P (C 0 0 1 1))
(JRST 0 TAG1)
TAG2 (HRRZ@ 1 0 P)
(HLRZ@ 1 1)
(CALL 1 (E NCONS))
(PUSH P 1)
(HLRZ@ 1 -1 P)
(PUSH P 1)
(HRRZ@ 1 -2 P)
(HRRZ@ 1 1)
(CALL 1 (E LENGTH))
(MOVEI 2 (QUOTE 1))
(CALL 2 (E *GREAT))
(JUMPE 1 TAG21)
(HRRZ@ 1 -2 P)
(HRRZ@ 1 1)
(CALL 1 (E LAST))
(PUSH P 1)
(HRRZ@ 1 -3 P)
(HRRZ@ 1 1)
(CALL 1 (E LAST))
(HLRZ@ 1 1)
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE RETURN))
(CALL 2 (E XCONS))
(HRLM@ 1 0 P)
(HRRZ@ 2 -3 P)
(HRRZ@ 2 2)
(SUB P (C 0 0 1 1))
TAG23 (MOVEI 1 (QUOTE (PROG NIL)))
(CALL 2 (E *APPEND))
(CALL 1 (E NCONS))
(MOVE 2 1)
(JRST 0 TAG20)
TAG21 (HRRZ@ 2 -2 P)
(HRRZ@ 2 2)
TAG25
TAG20 (MOVE 1 -1 P)
(CALL 2 (E *APPEND))
(MOVE 2 1)
(MOVEI 1 (QUOTE (LAMBDA)))
(CALL 2 (E *APPEND))
(MOVEI 3 (QUOTE EXPR))
(MOVE 2 1)
(POP P 1)
(CALL 3 (E PUTPROP))
(HLRZ@ 1 -1 P)
(SUB P (C 0 0 1 1))
TAG16
TAG1 (SUB P (C 0 0 1 1))
(POPJ P)
NIL
(LAP SSTATUS FSUBR)
(MOVEI 1 (QUOTE SSTATUS))
(POPJ P)
NIL
(LAP AND# SUBR)
(PUSH P 1)
(HRRZ@ 1 1)
(JUMPN 1 TAG2)
(HLRZ@ 1 0 P)
(CALL 1 (E NCONS))
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE COND))
(CALL 2 (E XCONS))
(JRST 0 TAG1)
TAG2 (HLRZ@ 1 0 P)
(PUSH P 1)
(HRRZ@ 1 -1 P)
(CALL 1 (E AND#))
(CALL 1 (E NCONS))
(POP P 2)
(CALL 2 (E XCONS))
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE COND))
(CALL 2 (E XCONS))
TAG3
TAG1 (SUB P (C 0 0 1 1))
(POPJ P)
NIL
(LAP OR# SUBR)
(PUSH P 1)
(PUSH P (C 0 0 TAG1 0))
(PUSH P (C 0 0 (QUOTE LIST) 0))
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E MAPCAR))
TAG1 (MOVE 2 1)
(MOVEI 1 (QUOTE (COND)))
(SUB P (C 0 0 1 1))
(JCALL 2 (E *APPEND))
NIL
(LAP LAMBDA# FSUBR)
(PUSH P 1)
(MOVEI 1 (QUOTE LAMBDA#CALLED))
(CALL 1 (E PRINT))
(HRRZ@ 2 0 P)
(MOVEI 1 (QUOTE T))
(CALL 2 (E CONS))
(CALL 1 (E NCONS))
(MOVEI 2 (QUOTE COND))
(CALL 2 (E XCONS))
TAG2 (SUB P (C 0 0 1 1))
(POPJ P)
NIL
(LAP MAPC LSUBR)
(JSP 3 *LCALL)
(PUSH P 1)
(MOVEI 2 (QUOTE 4))
(CALL 2 (E *GREAT))
(JUMPE 1 TAG4)
(MOVEI 1 (QUOTE (MAPC OF FOUR ARG LISTS)))
(CALL 1 (E PRINT))
(CALL 0 (E ERR))
(JRST 0 TAG3)
TAG4 (MOVEI 2 (QUOTE 2))
(MOVE 1 0 P)
(CALL 2 (E EQUAL))
(JUMPE 1 TAG5)
(MOVE 1 -2 P)
(HRRZ 1 1 1)
(MOVE 2 -2 P)
(HRRZ 2 2 2)
(CALL 2 (E MAPC#))
(MOVE 1 -2 P)
(HRRZ 1 2 1)
(JRST 0 TAG3)
TAG5 (MOVEI 2 (QUOTE 3))
(MOVE 1 0 P)
(CALL 2 (E EQUAL))
(JUMPE 1 TAG6)
(MOVE 1 -2 P)
(HRRZ 1 2 1)
(PUSH P 1)
(MOVE 1 -3 P)
(HRRZ 1 3 1)
(PUSH P 1)
TAG1 (MOVE 1 -1 P)
(JUMPE 1 TAG15)
(TDZA 1 1)
TAG15 (MOVEI 1 (QUOTE T))
(JUMPN 1 TAG14)
(MOVE 1 0 P)
(JUMPE 1 TAG16)
(TDZA 1 1)
TAG16 (MOVEI 1 (QUOTE T))
TAG14 (JUMPE 1 TAG13)
(MOVE 1 -4 P)
(HRRZ 1 2 1)
(JRST 0 TAG7)
TAG13 (MOVE 1 -4 P)
(HRRZ 1 1 1)
(HLRZ@ 2 0 P)
(PUSH P 1)
(HLRZ@ 1 -2 P)
(CALLF@ 2 0 P)
(SUB P (C 0 0 1 1))
(HRRZ@ 1 -1 P)
(MOVEM 1 -1 P)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG1)
TAG7 (SUB P (C 0 0 2 2))
(JRST 0 TAG3)
TAG6 (MOVE 1 -2 P)
(HRRZ 1 2 1)
(PUSH P 1)
(MOVE 1 -3 P)
(HRRZ 1 3 1)
(PUSH P 1)
(MOVE 1 -4 P)
(HRRZ 1 4 1)
(PUSH P 1)
TAG2 (MOVE 1 -2 P)
(JUMPE 1 TAG30)
(TDZA 1 1)
TAG30 (MOVEI 1 (QUOTE T))
(JUMPN 1 TAG27)
(MOVE 1 -1 P)
(JUMPE 1 TAG31)
(TDZA 1 1)
TAG31 (MOVEI 1 (QUOTE T))
(JUMPN 1 TAG27)
(MOVE 1 0 P)
(JUMPE 1 TAG32)
(TDZA 1 1)
TAG32 (MOVEI 1 (QUOTE T))
TAG27 (JUMPE 1 TAG26)
(MOVE 1 -5 P)
(HRRZ 1 2 1)
(JRST 0 TAG22)
TAG26 (MOVE 1 -5 P)
(HRRZ 1 1 1)
(HLRZ@ 3 0 P)
(HLRZ@ 2 -1 P)
(PUSH P 1)
(HLRZ@ 1 -3 P)
(CALLF@ 3 0 P)
(SUB P (C 0 0 1 1))
(HRRZ@ 1 -2 P)
(MOVEM 1 -2 P)
(HRRZ@ 1 -1 P)
(MOVEM 1 -1 P)
(HRRZ@ 1 0 P)
(MOVEM 1 0 P)
(JRST 0 TAG2)
TAG22 (SUB P (C 0 0 3 3))
TAG20
TAG3 (SUB P (C 0 0 1 1))
(POPJ P)
NIL
(LAP GFUN1MAPCAN SUBR)
(PUSH P 1)
(PUSH P (C 0 0 TAG1 0))
(PUSH P (SPECIAL R))
(PUSH P (SPECIAL F))
(CALLF@ 1 0 P)
(SUB P (C 0 0 1 1))
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E NCONC))
TAG1 (MOVEM 1 (SPECIAL R))
(SUB P (C 0 0 1 1))
(POPJ P)
NIL
(LAP MAPCAN SUBR)
(JSP 6 SPECBIND)
(0 1 (SPECIAL F))
(0 2 (SPECIAL L))
(0 0 (SPECIAL R))
(PUSH P (C 0 0 TAG4 0))
(PUSH P (C 0 0 (QUOTE GFUN1MAPCAN) 0))
(PUSH P 2)
(MOVNI 6 2)
(JCALL 16 (E MAPC))
TAG4 (MOVE 1 (SPECIAL R))
(JRST 0 SPECSTR)
NIL
(LAP RESTART SUBR)
(PUSH P (C 0 0 TAG4 0))
(PUSH P (C 0 0 (QUOTE EVAL) 0))
(PUSH P (SPECIAL ERRLIST))
(MOVNI 6 2)
(JCALL 16 (E MAPC))
TAG4 (MOVEI 1 (QUOTE EXIT))
(POPJ P)
NIL
(LAP MEMQ SUBR)
(PUSH P 1)
(PUSH P 2)
(MOVE 1 2)
(JUMPE 1 TAG1)
(HLRZ@ 1 1)
(CALL 1 (E ATOM))
(JUMPN 1 TAG2)
(HRRZ@ 2 2)
(MOVE 1 -1 P)
(CALL 2 (E MEMQ))
(JRST 0 TAG1)
TAG2 (HLRZ@ 1 2)
(CAME 1 -1 P)
(JRST 0 TAG3)
(MOVE 1 2)
(JRST 0 TAG1)
TAG3 (HRRZ@ 2 0 P)
(MOVE 1 -1 P)
(CALL 2 (E MEMQ))
TAG4
TAG1 (SUB P (C 0 0 2 2))
(POPJ P)
NIL
(LAP MEMBER SUBR)
(PUSH P 1)
(PUSH P 2)
(MOVE 1 2)
(JUMPE 1 TAG1)
(HLRZ@ 2 1)
(MOVE 1 -1 P)
(CALL 2 (E EQUAL))
(JUMPE 1 TAG2)
(MOVE 1 0 P)
(JRST 0 TAG1)
TAG2 (HRRZ@ 2 0 P)
(MOVE 1 -1 P)
(CALL 2 (E MEMBER))
TAG3
TAG1 (SUB P (C 0 0 2 2))
(POPJ P)
NIL
(LAP APPLY LSUBR)
(JSP 3 *LCALL)
(MOVE 1 -1 P)
(HRRZ 1 1 1)
(MOVEI 2 (QUOTE (EXPR SUBR %%TRACE)))
(CALL 2 (E GETL))
(JUMPE 1 TAG5)
(PUSH P (C 0 0 TAG6 0))
(MOVE 1 -2 P)
(HRRZ 1 1 1)
(PUSH P 1)
(MOVE 1 -3 P)
(HRRZ 1 2 1)
(PUSH P 1)
(MOVNI 6 2)
(JCALL 16 (E APPLY#))
TAG6 (JRST 0 TAG4)
TAG5 (MOVE 1 -1 P)
(HRRZ 1 1 1)
(MOVE 2 -1 P)
(HRRZ 2 2 2)
(CALL 2 (E CONS))
(CALL 1 (E *EVAL))
TAG4 (POPJ P)
NIL
(PUTPROP (QUOTE AND) (QUOTE (LAMBDA (L) (AND# (CDR L)))) (QUOTE MACRO))
(PUTPROP (QUOTE OR) (QUOTE (LAMBDA (L) (OR# (CDR L)))) (QUOTE MACRO))
(LAP TH FSUBR)
(PUSH P 1)
(MOVEI 1 (QUOTE THEOREM:/ / ))
(CALL 1 (E PRINC))
(HLRZ@ 1 0 P)
(CALL 1 (E PRINC))
(CALL 0 (E TERPRI))
(MOVEI 2 (QUOTE THEOREM))
(HLRZ@ 1 0 P)
(CALL 2 (E GET))
(MOVEI 3 (QUOTE 1))
(MOVEI 2 (QUOTE 0))
(CALL 3 (E SPRINT))
(MOVEI 1 (QUOTE NIL))
(SUB P (C 0 0 1 1))
(POPJ P)
NIL
(QUOTE (END OF FILE))