(FILECREATED " 2-Jul-85 20:15:27" ("compiled on " {ERIS}MISC>ARITHTEST.FPKG;1) "29-Jun-85 17:27:01" tcompl%'d in "INTERLISP-D 29-Jun-85 ..." dated "29-Jun-85 17:41:32") (FILECREATED " 2-Jul-85 20:13:33" {ERIS}MISC>ARITHTEST.FPKG;1 33077 changes to: (FNS AT.TEST AT.INIT AT.EVAL AT.ASSERT AT.ASSERTVARS AT.ASSERTVARS1 AT.QUICK.TEST AT.QUICK.PLUS AT.QUICK.MINUS AT.QUICK.DIFFERENCE AT.QUICK.ADD1.SUB1 AT.QUICK.TIMES AT.QUICK.QUOTIENT AT.QUICK.REMAINDER.MOD.GCD AT.QUICK.MIN.MAX AT.QUICK.PREDS AT.QUICK.LOGICAL AT.QUICK.POWEROFTWO AT.BOUNDARY.TEST AT.BOUNDARY.LIST AT.RANDOM.TEST AT.RANDOM.NUMBERS AT.RANDOM.NUMBER AT.RANDOM.ELEMENT AT.RANDOM.SUBSET AT.RANDOM.BOUNDARY.TEST AT.GENERAL.TEST AT.GENERAL.PLUS AT.GENERAL.MINUS AT.GENERAL.DIFFERENCE AT.GENERAL.ADD1.SUB1 AT.GENERAL.TIMES AT.GENERAL.QUOTIENT AT.GENERAL.REMAINDER.MOD.GCD AT.GENERAL.MIN.MAX AT.GENERAL.PREDS AT.GENERAL.LOGICAL AT.GENERAL.POWEROFTWO AT.SYSTEM.TEST)) AT.TEST D1 NIL żż°ű(17Q AT.RANDOM.BOUNDARY.TEST 13Q AT.RANDOM.TEST 10Q AT.BOUNDARY.TEST 5 AT.QUICK.TEST 2 AT.INIT) NIL () AT.INIT D1 (F 0 AT.BIG1S F 1 AT.BIG2S F 2 AT.BIG3S F 3 AT.BIG4S) 'o co co co ch(41Q MKATOM 30Q MKATOM 17Q MKATOM 6 MKATOM) NIL ( 36Q "444444444444" 25Q "333333333333" 14Q "222222222222" 3 "111111111111") AT.EVAL D1 (P 0 FORM I 0 $FEXPR$) G@@bżHkgł3Hi i oi  i oi i i h(102Q TERPRI 76Q PRIN1 71Q ERRORN 66Q PRIN1 56Q PRIN1 52Q ERRORSTRING 46Q ERRORN 43Q PRIN1 33Q TERPRI 27Q PRIN1) (16Q NLSETQ) ( 62Q " " 37Q " ") AT.ASSERT D1 (I 0 $FEXPR$) —@@bż!HkgYd–diđ‘hHi żi H °,dșoi żJi żoi żJ i żi ż”ŐIł%oi ż i żoi żŒoi żoi żi h(223Q TERPRI 216Q PRIN1 205Q PRIN1 173Q ERRORN 167Q PRIN1 156Q PRIN1 152Q ERRORSTRING 146Q ERRORN 142Q PRIN1 122Q TERPRI 115Q PRIN1 111Q EVAL 104Q PRIN1 73Q PRIN1 65Q PRIN1 50Q AT.ASSERTVARS 44Q TERPRI 37Q PRIN1) (16Q NLSETQ) ( 212Q "should EVAL to T" 201Q " " 163Q " " 136Q " " 100Q " = " 61Q " ") AT.ASSERTVARS D1 (I 0 FORM F 0 AT.ASSERTVARS) hc@ P P(12Q SORT 6 AT.ASSERTVARS1) NIL () AT.ASSERTVARS1 D1 (I 0 FORM F 0 AT.ASSERTVARS) $@dlđšdP‘PPcŽ@…d ż”űh(33Q AT.ASSERTVARS1) NIL () AT.QUICK.TEST D1 NIL $h(40Q AT.QUICK.POWEROFTWO 35Q AT.QUICK.LOGICAL 32Q AT.QUICK.PREDS 27Q AT.QUICK.MIN.MAX 24Q AT.QUICK.REMAINDER.MOD.GCD 21Q AT.QUICK.QUOTIENT 16Q AT.QUICK.TIMES 13Q AT.QUICK.ADD1.SUB1 10Q AT.QUICK.DIFFERENCE 5 AT.QUICK.MINUS 2 AT.QUICK.PLUS) NIL () AT.QUICK.PLUS D1 NIL -o o o o o o h(51Q AT.ASSERT 42Q AT.ASSERT 33Q AT.ASSERT 24Q AT.ASSERT 15Q AT.ASSERT 6 AT.ASSERT) NIL ( 46Q ((IEQP (IPLUS 0 AT.BIG1S) AT.BIG1S)) 37Q ((IEQP (IPLUS AT.BIG1S 0) AT.BIG1S)) 30Q ((IEQP (IPLUS AT.BIG1S MIN.FIXP) (IPLUS MIN.FIXP AT.BIG1S))) 21Q ((IEQP (IPLUS AT.BIG1S AT.BIG2S AT.BIG3S) (IPLUS AT.BIG3S AT.BIG2S AT.BIG1S))) 12Q ((IEQP (IPLUS AT.BIG1S AT.BIG3S) (IPLUS AT.BIG2S AT.BIG2S))) 3 ((IEQP (IPLUS AT.BIG1S AT.BIG1S) AT.BIG2S))) AT.QUICK.MINUS D1 NIL o o h(15Q AT.ASSERT 6 AT.ASSERT) NIL ( 12Q ((IEQP (IABS (IMINUS AT.BIG1S)) AT.BIG1S)) 3 ((IEQP (IMINUS (IMINUS AT.BIG1S)) AT.BIG1S))) AT.QUICK.DIFFERENCE D1 NIL o o o o h(33Q AT.ASSERT 24Q AT.ASSERT 15Q AT.ASSERT 6 AT.ASSERT) NIL ( 30Q ((IEQP (IDIFFERENCE AT.BIG1S AT.BIG2S) (IMINUS AT.BIG1S))) 21Q ((IEQP (IDIFFERENCE 0 AT.BIG1S) (IMINUS AT.BIG1S))) 12Q ((IEQP (IDIFFERENCE AT.BIG2S AT.BIG1S) AT.BIG1S)) 3 ((EQ (IDIFFERENCE AT.BIG1S AT.BIG1S) 0))) AT.QUICK.ADD1.SUB1 D1 NIL o o h(15Q AT.ASSERT 6 AT.ASSERT) NIL ( 12Q ((IEQP (SUB1 AT.BIG1S) (IDIFFERENCE AT.BIG1S 1))) 3 ((IEQP (ADD1 AT.BIG1S) (IPLUS AT.BIG1S 1)))) AT.QUICK.TIMES D1 NIL ;o o o o o o o o h(67Q AT.ASSERT 60Q AT.ASSERT 51Q AT.ASSERT 42Q AT.ASSERT 33Q AT.ASSERT 24Q AT.ASSERT 15Q AT.ASSERT 6 AT.ASSERT) NIL ( 64Q ((IEQP (ITIMES (IMINUS AT.BIG1S) (IMINUS AT.BIG1S)) (ITIMES AT.BIG1S AT.BIG1S))) 55Q ((IEQP (ITIMES -1 AT.BIG1S) (IMINUS AT.BIG1S))) 46Q ((EQ (ITIMES 0 AT.BIG1S) 0)) 37Q ((EQ (ITIMES AT.BIG1S 0) 0)) 30Q ((IEQP (ITIMES AT.BIG1S MIN.FIXP) (ITIMES MIN.FIXP AT.BIG1S))) 21Q ((IEQP (ITIMES AT.BIG1S AT.BIG2S AT.BIG3S) (ITIMES AT.BIG3S AT.BIG2S AT.BIG1S))) 12Q ((IEQP (ITIMES AT.BIG1S AT.BIG4S) (ITIMES AT.BIG2S AT.BIG2S))) 3 ((IEQP (ITIMES AT.BIG1S AT.BIG1S) (EXPT AT.BIG1S 2)))) AT.QUICK.QUOTIENT D1 NIL -o o o o o o h(51Q AT.ASSERT 42Q AT.ASSERT 33Q AT.ASSERT 24Q AT.ASSERT 15Q AT.ASSERT 6 AT.ASSERT) NIL ( 46Q ((IEQP (IQUOTIENT (IDIFFERENCE (ITIMES AT.BIG1S AT.BIG4S) MAX.SMALLP) AT.BIG1S) (SUB1 AT.BIG4S))) 37Q ((IEQP (IQUOTIENT (IDIFFERENCE AT.BIG4S MAX.SMALLP) AT.BIG1S) 3)) 30Q ((IEQP (IQUOTIENT (IPLUS (ITIMES AT.BIG1S AT.BIG4S) MAX.SMALLP) AT.BIG1S) AT.BIG4S)) 21Q ((IEQP (IQUOTIENT (IPLUS AT.BIG4S MAX.SMALLP) AT.BIG1S) 4)) 12Q ((IEQP (IQUOTIENT (ITIMES AT.BIG1S AT.BIG4S) AT.BIG1S) AT.BIG4S)) 3 ((IEQP (IQUOTIENT AT.BIG4S AT.BIG1S) 4))) AT.QUICK.REMAINDER.MOD.GCD D1 NIL lo o o o o o o o o o o o o o o h(150Q AT.ASSERT 141Q AT.ASSERT 132Q AT.ASSERT 123Q AT.ASSERT 114Q AT.ASSERT 105Q AT.ASSERT 76Q AT.ASSERT 67Q AT.ASSERT 60Q AT.ASSERT 51Q AT.ASSERT 42Q AT.ASSERT 33Q AT.ASSERT 24Q AT.ASSERT 15Q AT.ASSERT 6 AT.ASSERT) NIL ( 145Q ((IEQP (GCD (ITIMES (EXPT 2 5) (EXPT 3 5) (EXPT 13Q 5) (EXPT 15Q 4)) (ITIMES (EXPT 2 5) (EXPT 3 4) (EXPT 13Q 5) (EXPT 15Q 5))) (ITIMES (EXPT 2 5) (EXPT 3 4) (EXPT 13Q 5) (EXPT 15Q 4)))) 136Q ((IEQP (GCD AT.BIG4S AT.BIG1S) AT.BIG1S)) 127Q ((IEQP (GCD (IPLUS MAX.FIXP 144Q) (IPLUS MAX.FIXP 145Q)) 1)) 120Q ((IEQP (IMOD (IMINUS (IDIFFERENCE AT.BIG4S MAX.SMALLP)) AT.BIG1S) (IDIFFERENCE AT.BIG1S (IDIFFERENCE AT.BIG1S MAX.SMALLP)))) 111Q ((IEQP (IMOD (IMINUS (IPLUS AT.BIG4S MAX.SMALLP)) AT.BIG1S) (IDIFFERENCE AT.BIG1S MAX.SMALLP))) 102Q ((EQ (IMOD (IMINUS AT.BIG4S) AT.BIG1S) 0)) 73Q ((IEQP (IMOD (IDIFFERENCE AT.BIG4S MAX.SMALLP) AT.BIG1S) (IDIFFERENCE AT.BIG1S MAX.SMALLP))) 64Q ((IEQP (IMOD (IPLUS AT.BIG4S MAX.SMALLP) AT.BIG1S) MAX.SMALLP)) 55Q ((EQ (IMOD AT.BIG4S AT.BIG1S) 0)) 46Q ((IEQP (IREMAINDER (IMINUS (IDIFFERENCE AT.BIG4S MAX.SMALLP)) AT.BIG1S) (IMINUS (IDIFFERENCE AT.BIG1S MAX.SMALLP)))) 37Q ((IEQP (IREMAINDER (IMINUS (IPLUS AT.BIG4S MAX.SMALLP)) AT.BIG1S) (IMINUS MAX.SMALLP))) 30Q ((EQ (IREMAINDER (IMINUS AT.BIG4S) AT.BIG1S) 0)) 21Q ((IEQP (IREMAINDER (IDIFFERENCE AT.BIG4S MAX.SMALLP) AT.BIG1S) (IDIFFERENCE AT.BIG1S MAX.SMALLP))) 12Q ((IEQP (IREMAINDER (IPLUS AT.BIG4S MAX.SMALLP) AT.BIG1S) MAX.SMALLP)) 3 ((EQ (IREMAINDER AT.BIG4S AT.BIG1S) 0))) AT.QUICK.MIN.MAX D1 NIL ;o o o o o o o o h(67Q AT.ASSERT 60Q AT.ASSERT 51Q AT.ASSERT 42Q AT.ASSERT 33Q AT.ASSERT 24Q AT.ASSERT 15Q AT.ASSERT 6 AT.ASSERT) NIL ( 64Q ((IEQP (IMAX (IMINUS AT.BIG1S) (IMINUS AT.BIG4S)) (IMINUS AT.BIG1S))) 55Q ((IEQP (IMAX AT.BIG1S AT.BIG4S) AT.BIG4S)) 46Q ((IEQP (IMAX MIN.FIXP MAX.INTEGER) MAX.INTEGER)) 37Q ((IEQP (IMIN MAX.FIXP MIN.INTEGER) MIN.INTEGER)) 30Q ((IEQP (IMAX MIN.FIXP MIN.INTEGER) MIN.FIXP)) 21Q ((IEQP (IMIN MAX.FIXP MAX.INTEGER) MAX.FIXP)) 12Q ((IEQP (IMAX) MIN.INTEGER)) 3 ((IEQP (IMIN) MAX.INTEGER))) AT.QUICK.PREDS D1 NIL ^o o o o o o o o o o o o o h(132Q AT.ASSERT 123Q AT.ASSERT 114Q AT.ASSERT 105Q AT.ASSERT 76Q AT.ASSERT 67Q AT.ASSERT 60Q AT.ASSERT 51Q AT.ASSERT 42Q AT.ASSERT 33Q AT.ASSERT 24Q AT.ASSERT 15Q AT.ASSERT 6 AT.ASSERT) NIL ( 127Q ((ILEQ AT.BIG1S AT.BIG4S)) 120Q ((ILEQ AT.BIG1S 0)) 111Q ((ILEQ AT.BIG4S AT.BIG4S)) 102Q ((IGEQ AT.BIG4S AT.BIG1S)) 73Q ((IGEQ AT.BIG1S 0)) 64Q ((IGEQ AT.BIG1S AT.BIG1S)) 55Q ((ILESSP AT.BIG1S AT.BIG4S)) 46Q ((ILESSP AT.BIG1S 0)) 37Q ((IGREATERP AT.BIG4S AT.BIG1S)) 30Q ((IGREATERP AT.BIG1S 0)) 21Q ((MINUSP (IMINUS AT.BIG1S))) 12Q ((ZEROP (IDIFFERENCE AT.BIG1S AT.BIG1S))) 3 ((IEQP AT.BIG1S AT.BIG1S))) AT.QUICK.LOGICAL D1 NIL eo o o o o o o o o o o o o o h(141Q AT.ASSERT 132Q AT.ASSERT 123Q AT.ASSERT 114Q AT.ASSERT 105Q AT.ASSERT 76Q AT.ASSERT 67Q AT.ASSERT 60Q AT.ASSERT 51Q AT.ASSERT 42Q AT.ASSERT 33Q AT.ASSERT 24Q AT.ASSERT 15Q AT.ASSERT 6 AT.ASSERT) NIL ( 136Q ((IEQP (LOGXOR (LOGXOR AT.BIG1S -1) AT.BIG1S) -1)) 127Q ((IEQP (LOGXOR (LOGXOR AT.BIG1S -1) -1) AT.BIG1S)) 120Q ((IEQP (LOGXOR (IMINUS AT.BIG1S) (IMINUS AT.BIG1S)) 0)) 111Q ((IEQP (LOGXOR -1 (IMINUS AT.BIG1S)) (SUB1 (IMINUS AT.BIG1S)))) 102Q ((IEQP (LOGXOR -1 AT.BIG1S) (SUB1 AT.BIG1S))) 73Q ((IEQP (LOGXOR AT.BIG1S AT.BIG1S) 0)) 64Q ((IEQP (LOGOR (IMINUS AT.BIG1S) (IMINUS AT.BIG1S)) (IMINUS AT.BIG1S))) 55Q ((IEQP (LOGOR -1 (IMINUS AT.BIG1S)) -1)) 46Q ((IEQP (LOGOR -1 AT.BIG1S) -1)) 37Q ((IEQP (LOGOR AT.BIG1S AT.BIG1S) AT.BIG1S)) 30Q ((IEQP (LOGAND (IMINUS AT.BIG1S) (IMINUS AT.BIG1S)) (IMINUS AT.BIG1S))) 21Q ((IEQP (LOGAND -1 (IMINUS AT.BIG1S)) (IMINUS AT.BIG1S))) 12Q ((IEQP (LOGAND -1 AT.BIG1S) AT.BIG1S)) 3 ((IEQP (LOGAND AT.BIG1S AT.BIG1S) AT.BIG1S))) AT.QUICK.POWEROFTWO D1 NIL o o o o o o o o o o o o o o o o o o h(175Q AT.ASSERT 166Q AT.ASSERT 157Q AT.ASSERT 150Q AT.ASSERT 141Q AT.ASSERT 132Q AT.ASSERT 123Q AT.ASSERT 114Q AT.ASSERT 105Q AT.ASSERT 76Q AT.ASSERT 67Q AT.ASSERT 60Q AT.ASSERT 51Q AT.ASSERT 42Q AT.ASSERT 33Q AT.ASSERT 24Q AT.ASSERT 15Q AT.ASSERT 6 AT.ASSERT) NIL ( 172Q ((ODDP AT.BIG1S (ADD1 AT.BIG1S))) 163Q ((ODDP AT.BIG1S 12Q)) 154Q ((ODDP AT.BIG1S)) 145Q ((EVENP AT.BIG4S AT.BIG1S)) 136Q ((EVENP (IMINUS (EXPT 12Q 24Q)) (EXPT 12Q 12Q))) 127Q ((EVENP (EXPT 12Q 24Q) 12Q)) 120Q ((EVENP (LSH 1 62Q))) 111Q ((NOT (POWEROFTWOP (IMINUS (LSH 1 62Q))))) 102Q ((NOT (POWEROFTWOP (ADD1 (LSH 1 62Q))))) 73Q ((NOT (POWEROFTWOP AT.BIG1S))) 64Q ((POWEROFTWOP (LSH 1 62Q))) 55Q ((IEQP (INTEGERLENGTH (IMINUS (LSH 1 62Q)) 63Q))) 46Q ((IEQP (INTEGERLENGTH (IMINUS (SUB1 (LSH 1 62Q)))) 62Q)) 37Q ((IEQP (INTEGERLENGTH (LSH 1 62Q)) 63Q)) 30Q ((IEQP (INTEGERLENGTH (SUB1 (LSH 1 62Q))) 62Q)) 21Q ((IEQP (RSH (LSH AT.BIG1S 24Q) 22Q) AT.BIG4S)) 12Q ((IEQP (RSH (LSH 1 144Q) 144Q) 1)) 3 ((IEQP (LSH 1 144Q) (EXPT 2 144Q)))) AT.BOUNDARY.TEST D1 (P 0 BOUNDARY F 1 AT.BOUNDARIES) QdH ”ńh(15Q AT.GENERAL.TEST 12Q AT.BOUNDARY.LIST) NIL () AT.BOUNDARY.LIST D1 (L (0 BOUNDARY)) D@dkŰ@kÙj@Ùj@kŰÙj@kÙÙ@l Ű@ldÙ@lÛ@lÚlÛ@dÚ@dÚkŰ@dÚkÙhNIL NIL () AT.RANDOM.TEST D1 NIL ll h(14Q AT.GENERAL.TEST 11Q AT.RANDOM.NUMBERS 6 RAND) NIL () AT.RANDOM.NUMBERS D1 (P 3 I P 1 LIST P 0 N I 0 N) 3 ll Xl k2KJółH jŰŸM” Nh]ŒKkÔ[°éN&œ°śL(31Q AT.RANDOM.NUMBER 11Q RAND) NIL () AT.RANDOM.NUMBER D1 (P 2 I P 0 ANSWER I 0 N) %0kX@kșčJIółoo HÚžJkÔZ°êH(30Q RAND) NIL ( 25Q 17777777777Q 21Q -20000000000Q) AT.RANDOM.ELEMENT D1 (I 0 LIST) @k@ (13Q NTH 10Q RAND 5 LENGTH) NIL () AT.RANDOM.SUBSET D1 (P 1 I I 1 SIZE I 0 LIST) %Ak2IHół@ ŒK” Lh[șIkÔY°ëL&»°śJ(15Q AT.RANDOM.ELEMENT) NIL () AT.RANDOM.BOUNDARY.TEST D1 (P 0 LIST F 1 AT.BOUNDARIES) 8Q l Q l ll l Xd h(64Q AT.GENERAL.TEST 57Q \APPEND2 54Q \APPEND2 51Q AT.RANDOM.SUBSET 44Q AT.RANDOM.NUMBERS 41Q RAND 32Q AT.RANDOM.SUBSET 25Q AT.BOUNDARY.LIST 22Q AT.RANDOM.ELEMENT 16Q AT.RANDOM.SUBSET 11Q AT.BOUNDARY.LIST 6 AT.RANDOM.ELEMENT) NIL () AT.GENERAL.TEST D1 (I 0 LIST) +@ @ @ @ @ @ @ @ @ @ h(47Q AT.GENERAL.LOGICAL 43Q AT.GENERAL.PREDS 37Q AT.GENERAL.MIN.MAX 33Q AT.GENERAL.REMAINDER.MOD.GCD 27Q AT.GENERAL.QUOTIENT 23Q AT.GENERAL.TIMES 17Q AT.GENERAL.ADD1.SUB1 13Q AT.GENERAL.DIFFERENCE 7 AT.GENERAL.MINUS 3 AT.GENERAL.PLUS) NIL () AT.GENERAL.PLUS D1 (P 1 Y P 0 X I 0 LIST) U@°Ndo żo żo żo ż@° do żo żo ”áh”łh(106Q AT.ASSERT 76Q AT.ASSERT 66Q AT.ASSERT 46Q AT.ASSERT 36Q AT.ASSERT 26Q AT.ASSERT 16Q AT.ASSERT) NIL ( 103Q ((IEQP (IPLUS X X Y) (IPLUS Y X X))) 73Q ((IEQP (IPLUS X Y) (IMINUS (IPLUS (IMINUS X) (IMINUS Y))))) 63Q ((IEQP (IPLUS X Y) (IPLUS Y X))) 43Q ((IEQP (IPLUS (IPLUS X 1) -1) X)) 33Q ((IEQP (IPLUS X (IMINUS X)) 0)) 23Q ((IEQP (IPLUS 0 X) X)) 13Q ((IEQP (IPLUS X 0) X))) AT.GENERAL.MINUS D1 (P 0 X I 0 LIST) @°do żo ”éh(26Q AT.ASSERT 16Q AT.ASSERT) NIL ( 23Q ((IEQP (IABS (IMINUS X)) (IABS X))) 13Q ((IEQP (IMINUS (IMINUS X)) X))) AT.GENERAL.DIFFERENCE D1 (P 1 Y P 0 X I 0 LIST) E@°>do żo żo ż@°do żo ”éh”Ăh(66Q AT.ASSERT 56Q AT.ASSERT 36Q AT.ASSERT 26Q AT.ASSERT 16Q AT.ASSERT) NIL ( 63Q ((IEQP (IDIFFERENCE X Y) (IMINUS (IDIFFERENCE (IMINUS X) (IMINUS Y))))) 53Q ((IEQP (IDIFFERENCE X Y) (IMINUS (IDIFFERENCE Y X)))) 33Q ((IEQP (IMINUS X) (IDIFFERENCE 0 X))) 23Q ((IEQP (IDIFFERENCE X X) 0)) 13Q ((IEQP (IDIFFERENCE X 0) X))) AT.GENERAL.ADD1.SUB1 D1 (P 0 X I 0 LIST) /@°(do żo żo żo ”Ùh(46Q AT.ASSERT 36Q AT.ASSERT 26Q AT.ASSERT 16Q AT.ASSERT) NIL ( 43Q ((IEQP (SUB1 (ADD1 X)) X)) 33Q ((IEQP (ADD1 (SUB1 X)) X)) 23Q ((IEQP (SUB1 X) (IDIFFERENCE X 1))) 13Q ((IEQP (ADD1 X) (IPLUS X 1)))) AT.GENERAL.TIMES D1 (P 1 Y P 0 X I 0 LIST) u@°ndo żo żo żo żo żo żo ż@°(do żo żo żo ”Ùh”“h(146Q AT.ASSERT 136Q AT.ASSERT 126Q AT.ASSERT 116Q AT.ASSERT 76Q AT.ASSERT 66Q AT.ASSERT 56Q AT.ASSERT 46Q AT.ASSERT 36Q AT.ASSERT 26Q AT.ASSERT 16Q AT.ASSERT) NIL ( 143Q ((IEQP (ITIMES X X Y) (ITIMES Y X X))) 133Q ((IEQP (ITIMES X Y) (ITIMES (IMINUS Y) (IMINUS X)))) 123Q ((IEQP (ITIMES X Y) (IMINUS (ITIMES (IMINUS X) Y)))) 113Q ((IEQP (ITIMES X Y) (ITIMES Y X))) 73Q ((IEQP (ITIMES 2 X) (IPLUS X X))) 63Q ((IEQP (ITIMES X -1) (IMINUS X))) 53Q ((IEQP (ITIMES -1 X) (IMINUS X))) 43Q ((IEQP (ITIMES X 1) X)) 33Q ((IEQP (ITIMES 1 X) X)) 23Q ((IEQP (ITIMES X 0) 0)) 13Q ((IEQP (ITIMES 0 X) 0))) AT.GENERAL.QUOTIENT D1 (P 2 Y P 1 X I 0 LIST) R@H”hYjđł>o żo żo ż@° do żo żo ”áHX°¶(106Q AT.ASSERT 76Q AT.ASSERT 66Q AT.ASSERT 46Q AT.ASSERT 36Q AT.ASSERT 26Q AT.ASSERT) NIL ( 103Q ((IEQP (IQUOTIENT Y X) (IQUOTIENT (IMINUS Y) (IMINUS X)))) 73Q ((IEQP (IQUOTIENT Y X) (IMINUS (IQUOTIENT Y (IMINUS X))))) 63Q ((IEQP (IQUOTIENT (ITIMES X Y) X) Y)) 43Q ((IEQP (IQUOTIENT X 1) X)) 33Q ((IEQP (IQUOTIENT 0 X) 0)) 23Q ((IEQP (IQUOTIENT X X) 1))) AT.GENERAL.REMAINDER.MOD.GCD D1 (P 1 X I 0 LIST) ^@H”hYjđłJo żo żo żo żo żo żo żo żo żHX°Ș(126Q AT.ASSERT 116Q AT.ASSERT 106Q AT.ASSERT 76Q AT.ASSERT 66Q AT.ASSERT 56Q AT.ASSERT 46Q AT.ASSERT 36Q AT.ASSERT 26Q AT.ASSERT) NIL ( 123Q ((IEQP (GCD (ITIMES 2 X) (ITIMES 3 X) (ITIMES 5 X)) (IABS X))) 113Q ((IEQP (GCD X (ITIMES X X)) (IABS X))) 103Q ((EQ (IMOD (SUB1 X) X) (SUB1 (IABS X)))) 73Q ((EQ (IMOD (ADD1 X) X) 1)) 63Q ((EQ (IMOD (IMINUS X) X) 0)) 53Q ((IEQP (IMOD (IPLUS X X) X) 0)) 43Q ((EQ (IMOD (ITIMES X X) X) 0)) 33Q ((EQ (IREMAINDER (IMINUS X) X) 0)) 23Q ((EQ (IREMAINDER X X) 0))) AT.GENERAL.MIN.MAX D1 (P 1 Y P 0 X I 0 LIST) ’@±‡do żo żo żo żo żo żo żo żo ż@°0do żo żo żo żo ”Ńh”‚±ÿxh(177Q AT.ASSERT 167Q AT.ASSERT 157Q AT.ASSERT 147Q AT.ASSERT 137Q AT.ASSERT 117Q AT.ASSERT 107Q AT.ASSERT 77Q AT.ASSERT 67Q AT.ASSERT 57Q AT.ASSERT 47Q AT.ASSERT 37Q AT.ASSERT 27Q AT.ASSERT 17Q AT.ASSERT) NIL ( 174Q ((IEQP (IMIN X X Y) (IMIN Y X X))) 164Q ((IEQP (IMAX X X Y) (IMAX Y X X))) 154Q ((IEQP (IMAX X Y) (IMINUS (IMIN (IMINUS X) (IMINUS Y))))) 144Q ((IEQP (IMAX X Y) (IMAX Y X))) 134Q ((IEQP (IMIN X Y) (IMIN Y X))) 114Q ((IEQP (IMAX X (IMINUS X)) (IABS X))) 104Q ((IEQP (IMAX X X) X)) 74Q ((IEQP (IMIN X X) X)) 64Q ((IEQP (IMAX X MAX.INTEGER) MAX.INTEGER)) 54Q ((IEQP (IMIN X MIN.INTEGER) MIN.INTEGER)) 44Q ((IEQP (IMAX X MIN.INTEGER) X)) 34Q ((IEQP (IMIN X MAX.INTEGER) X)) 24Q ((IEQP (IMAX X) X)) 14Q ((IEQP (IMIN X) X))) AT.GENERAL.PREDS D1 (P 1 Y P 0 X I 0 LIST) }@°vdo żo żo żo żo żo żo żo żo ż@° do żo żo ”áh”‹h(156Q AT.ASSERT 146Q AT.ASSERT 136Q AT.ASSERT 116Q AT.ASSERT 106Q AT.ASSERT 76Q AT.ASSERT 66Q AT.ASSERT 56Q AT.ASSERT 46Q AT.ASSERT 36Q AT.ASSERT 26Q AT.ASSERT 16Q AT.ASSERT) NIL ( 153Q ((ILEQ (IABS (IPLUS X Y)) (IPLUS (IABS X) (IABS Y)))) 143Q ((ILEQ (IABS (IDIFFERENCE X Y)) (IPLUS (IABS X) (IABS Y)))) 133Q ((IGEQ (IABS (ITIMES X Y)) (ITIMES X Y))) 113Q ((IGEQ (IABS X) 0)) 103Q ((IGEQ X X)) 73Q ((ILESSP (SUB1 X) (IABS X))) 63Q ((ILESSP X (ADD1 X))) 53Q ((IGREATERP (ADD1 X) X)) 43Q ((IGREATERP (IABS X) -1)) 33Q ((MINUSP (IMINUS (IABS X)))) 23Q ((ZEROP (IDIFFERENCE X X))) 13Q ((IEQP X X))) AT.GENERAL.LOGICAL D1 (P 0 X I 0 LIST) @°xdo żo żo żo żo żo żo żo żo żo żo żo żo żo ”‰h(166Q AT.ASSERT 156Q AT.ASSERT 146Q AT.ASSERT 136Q AT.ASSERT 126Q AT.ASSERT 116Q AT.ASSERT 106Q AT.ASSERT 76Q AT.ASSERT 66Q AT.ASSERT 56Q AT.ASSERT 46Q AT.ASSERT 36Q AT.ASSERT 26Q AT.ASSERT 16Q AT.ASSERT) NIL ( 163Q ((IEQP (LOGXOR (LOGXOR X -1) X) -1)) 153Q ((IEQP (LOGXOR (LOGXOR X -1) -1) X)) 143Q ((IEQP (LOGXOR (IMINUS X) (IMINUS X)) 0)) 133Q ((IEQP (LOGXOR -1 (IMINUS X)) (SUB1 (IMINUS X)))) 123Q ((IEQP (LOGXOR -1 X) (SUB1 X))) 113Q ((IEQP (LOGXOR X X) 0)) 103Q ((IEQP (LOGOR (IMINUS X) (IMINUS X)) (IMINUS X))) 73Q ((IEQP (LOGOR -1 (IMINUS X)) -1)) 63Q ((IEQP (LOGOR -1 X) -1)) 53Q ((IEQP (LOGOR X X) X)) 43Q ((IEQP (LOGAND (IMINUS X) (IMINUS X)) (IMINUS X))) 33Q ((IEQP (LOGAND -1 (IMINUS X)) (IMINUS X))) 23Q ((IEQP (LOGAND -1 X) X)) 13Q ((IEQP (LOGAND X X) X))) AT.GENERAL.POWEROFTWO D1 (P 1 X I 0 LIST) ˜@H”hčjIń’±Il2ńłzo żo żo żo żo żo żo żo żo żo żo żo żo żo żo żHX±ÿq(217Q AT.ASSERT 207Q AT.ASSERT 177Q AT.ASSERT 167Q AT.ASSERT 157Q AT.ASSERT 147Q AT.ASSERT 137Q AT.ASSERT 127Q AT.ASSERT 117Q AT.ASSERT 107Q AT.ASSERT 77Q AT.ASSERT 67Q AT.ASSERT 57Q AT.ASSERT 47Q AT.ASSERT 37Q AT.ASSERT) NIL ( 214Q ((ODDP (ADD1 (LSH 1 X)))) 204Q ((EVENP (IMINUS (EXPT 12Q (ADD1 X))) 12Q)) 174Q ((EVENP (EXPT 12Q (ADD1 X)) 12Q)) 164Q ((EVENP (LSH 1 X) (LSH 1 (IQUOTIENT X 2)))) 154Q ((EVENP (LSH 1 X))) 144Q ((NOT (POWEROFTWOP (IMINUS (LSH 1 X))))) 134Q ((NOT (POWEROFTWOP (ADD1 (LSH 1 X))))) 124Q ((NOT (POWEROFTWOP AT.BIG1S))) 114Q ((POWEROFTWOP (LSH 1 X))) 104Q ((IEQP (INTEGERLENGTH (IMINUS (LSH 1 X)) (ADD1 X)))) 74Q ((IEQP (INTEGERLENGTH (IMINUS (SUB1 (LSH 1 X)))) X)) 64Q ((IEQP (INTEGERLENGTH (LSH 1 X)) (ADD1 X))) 54Q ((IEQP (INTEGERLENGTH (SUB1 (LSH 1 X))) X)) 44Q ((IEQP (RSH (LSH 1 144Q) 144Q) 1)) 34Q ((IEQP (LSH 1 144Q) (EXPT 2 144Q)))) AT.SYSTEM.TEST D1 NIL Bo o o o o o o o o h(76Q AT.ASSERT 67Q AT.EVAL 60Q AT.EVAL 51Q AT.EVAL 42Q AT.EVAL 33Q AT.EVAL 24Q AT.EVAL 15Q AT.EVAL 6 AT.EVAL) NIL ( 73Q ((IGREATERP (IDATE " 1-JAN-4000 12:00:00") (IDATE " 1-JAN-2000 12:00:00"))) 64Q ((IDATE " 1-JAN-4000 12:00:00")) 55Q ((GDATE (IPLUS MIN.FIXP MIN.FIXP))) 46Q ((GDATE (IPLUS MAX.FIXP MAX.FIXP))) 37Q ((PACKFILENAME (LIST (QUOTE HOST) (QUOTE HOST) (QUOTE DIRECTORY) AT.BIG1S (QUOTE NAME) AT.BIG2S (QUOTE EXTENSION) AT.BIG3S (QUOTE VERSION) AT.BIG4S))) 30Q ((UNPACKFILENAME (QUOTE {HOST}<111111111111>222222222222.333333333333;444444444444))) 21Q ((PACKFILENAME (LIST (QUOTE HOST) (QUOTE HOST) (QUOTE DIRECTORY) (QUOTE DIRECTORY) (QUOTE NAME) (QUOTE NAME) (QUOTE EXTENSION) (QUOTE EXTENSION) (QUOTE VERSION) AT.BIG1S))) 12Q ((UNPACKFILENAME (QUOTE {HOST}NAME.EXTENSION;111111111111))) 3 ((GENSYM (QUOTE FOO) AT.BIG1S))) (PRETTYCOMPRINT ARITHTESTCOMS) (RPAQQ ARITHTESTCOMS ((PROPS (AT.EVAL ARGNAMES) (AT.ASSERT ARGNAMES)) (INITVARS (AT.BIG1S NIL) ( AT.BIG2S NIL) (AT.BIG3S NIL) (AT.BIG4S NIL) (AT.ASSERTVARS NIL) (AT.THETA 10000) (AT.BETA (EXPT 2 14)) (AT.BOUNDARIES (LIST MAX.SMALLP MIN.SMALLP MAX.FIXP MIN.FIXP AT.THETA (IMINUS AT.THETA) AT.BETA ( IMINUS AT.BETA)))) (FNS AT.TEST AT.INIT AT.EVAL AT.ASSERT AT.ASSERTVARS AT.ASSERTVARS1 AT.QUICK.TEST AT.QUICK.PLUS AT.QUICK.MINUS AT.QUICK.DIFFERENCE AT.QUICK.ADD1.SUB1 AT.QUICK.TIMES AT.QUICK.QUOTIENT AT.QUICK.REMAINDER.MOD.GCD AT.QUICK.MIN.MAX AT.QUICK.PREDS AT.QUICK.LOGICAL AT.QUICK.POWEROFTWO AT.BOUNDARY.TEST AT.BOUNDARY.LIST AT.RANDOM.TEST AT.RANDOM.NUMBERS AT.RANDOM.NUMBER AT.RANDOM.ELEMENT AT.RANDOM.SUBSET AT.RANDOM.BOUNDARY.TEST AT.GENERAL.TEST AT.GENERAL.PLUS AT.GENERAL.MINUS AT.GENERAL.DIFFERENCE AT.GENERAL.ADD1.SUB1 AT.GENERAL.TIMES AT.GENERAL.QUOTIENT AT.GENERAL.REMAINDER.MOD.GCD AT.GENERAL.MIN.MAX AT.GENERAL.PREDS AT.GENERAL.LOGICAL AT.GENERAL.POWEROFTWO AT.SYSTEM.TEST))) (PUTPROPS AT.EVAL ARGNAMES (FORM)) (PUTPROPS AT.ASSERT ARGNAMES (FORM)) (RPAQ? AT.BIG1S NIL) (RPAQ? AT.BIG2S NIL) (RPAQ? AT.BIG3S NIL) (RPAQ? AT.BIG4S NIL) (RPAQ? AT.ASSERTVARS NIL) (RPAQ? AT.THETA 10000) (RPAQ? AT.BETA (EXPT 2 14)) (RPAQ? AT.BOUNDARIES (LIST MAX.SMALLP MIN.SMALLP MAX.FIXP MIN.FIXP AT.THETA (IMINUS AT.THETA) AT.BETA (IMINUS AT.BETA))) (PRETTYCOMPRINT ARITHTESTCOMS) (RPAQQ ARITHTESTCOMS ((PROPS (AT.EVAL ARGNAMES) (AT.ASSERT ARGNAMES)) (INITVARS (AT.BIG1S NIL) ( AT.BIG2S NIL) (AT.BIG3S NIL) (AT.BIG4S NIL) (AT.ASSERTVARS NIL) (AT.THETA 10000) (AT.BETA (EXPT 2 14)) (AT.BOUNDARIES (LIST MAX.SMALLP MIN.SMALLP MAX.FIXP MIN.FIXP AT.THETA (IMINUS AT.THETA) AT.BETA ( IMINUS AT.BETA)))) (FNS AT.TEST AT.INIT AT.EVAL AT.ASSERT AT.ASSERTVARS AT.ASSERTVARS1 AT.QUICK.TEST AT.QUICK.PLUS AT.QUICK.MINUS AT.QUICK.DIFFERENCE AT.QUICK.ADD1.SUB1 AT.QUICK.TIMES AT.QUICK.QUOTIENT AT.QUICK.REMAINDER.MOD.GCD AT.QUICK.MIN.MAX AT.QUICK.PREDS AT.QUICK.LOGICAL AT.QUICK.POWEROFTWO AT.BOUNDARY.TEST AT.BOUNDARY.LIST AT.RANDOM.TEST AT.RANDOM.NUMBERS AT.RANDOM.NUMBER AT.RANDOM.ELEMENT AT.RANDOM.SUBSET AT.RANDOM.BOUNDARY.TEST AT.GENERAL.TEST AT.GENERAL.PLUS AT.GENERAL.MINUS AT.GENERAL.DIFFERENCE AT.GENERAL.ADD1.SUB1 AT.GENERAL.TIMES AT.GENERAL.QUOTIENT AT.GENERAL.REMAINDER.MOD.GCD AT.GENERAL.MIN.MAX AT.GENERAL.PREDS AT.GENERAL.LOGICAL AT.GENERAL.POWEROFTWO AT.SYSTEM.TEST) (DECLARE: DONTEVAL@LOAD DOEVAL@COMPILE DONTCOPY COMPILERVARS ( ADDVARS (NLAMA AT.ASSERT AT.EVAL) (NLAML) (LAMA))))) (PUTPROPS ARITHTEST.FPKG COPYRIGHT ("Xerox Corporation" 1985)) NIL