(FILECREATED " 7-Jul-85 12:26:39" {ERIS}<LISPCORE>LIBRARY>MACROTESTAUX.;2 247232Q
changes to: (FNS !MIXNUMTEST)
previous date: " 3-Dec-84 19:19:33" {ERIS}<LISPCORE>LIBRARY>MACROTESTAUX.;1)
(* Copyright (c) 1984, 1985 by Xerox Corporation. All rights reserved.)
(PRETTYCOMPRINT MACROTESTAUXCOMS)
(RPAQQ MACROTESTAUXCOMS [(E (RADIX 10Q))
[DECLARE: EVAL@COMPILE DONTCOPY (P (LOADCOMP (QUOTE MACROTEST)))
(DECLARE: DONTEVAL@LOAD (P (RESETSAVE OPTIMIZATIONSOFF T]
(COMS (* "Test out of free variables")
(FNS !FVARTEST PUSH.TEST CALLS.FIRSTARGTEST CALLS.LASTARGTEST CALLS.TOOFEWARGS
FVAR.FREE FVAR.TEST FVAR.TEST2 FVAR.TEST3 FN.FIRSTARG.FVARS
FN.FIRSTARG.PVARS.FVARS FN.LASTARG.FVARS FN.LASTARG.FVARS.PVARS FVAR.TESTN
FN.FREE.SKIPPVARS FN.FREEPVAR FN.FVAR3 FN.FREEARG FN.FR1 FN.FR2 FN.FR3 FAULTTEST)
(VARS (F0 0)
(F1 1)
(F2 2)
(F3 3)
(F4 4)
(F5 5)
(F6 6)
(F7 7)
(F8 10Q)))
(* "Test out of numeric capabilities")
(FNS !NUMBERTEST !NUMTEST1 !NUMTEST2 !NUMTEST3 !NUMTEST4 !NUMTEST5 !NUMTEST6 !RANDNUMTEST
!RANDNUMTEST1 !RANDNUMTEST2 !RANDNUMTEST3 !RANDNUMTEST4 !FNUMTEST !FNUMTEST1 !FNUMTEST2
!FNUMTEST3 !FNUMTEST4 !FNUMTEST5 !MIXNUMTEST)
(* "Compiler error may prevent some of the above functions from getting compiled")
(DECLARE: DONTEVAL@LOAD DONTEVAL@COMPILE DOCOPY (P (MAPC (OR (FILEFNSLST (QUOTE MACROTESTAUX))
(QUOTE (PUSH.TEST)))
(FUNCTION (LAMBDA
(X)
(MOVD? (QUOTE NILL)
X])
(DECLARE: EVAL@COMPILE DONTCOPY
(LOADCOMP (QUOTE MACROTEST))
(DECLARE: DONTEVAL@LOAD
(RESETSAVE OPTIMIZATIONSOFF T)
)
)
(* "Test out of free variables")
(DEFINEQ
(!FVARTEST
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(PUSH.TEST)
(CALLS.FIRSTARGTEST)
(CALLS.LASTARGTEST)
(CALLS.TOOFEWARGS)
(FVAR.FREE)
(FVAR.TEST)
(FVAR.TEST2)
(FVAR.TEST3)))
(PUSH.TEST
(LAMBDA (I0 I1 I2 I3 I4) (* JonL " 1-Jun-84 19:54")
(PROG (P0 P1 P2 P3 P4 P5 P6 P7 P8)
(PROGN (MTCHECKSTK (COND
((NULL F0)
F0)))
(MTCHECKSTK (COND
((NULL F1)
F1)))
(MTCHECKSTK (COND
((NULL F2)
F2)))
(MTCHECKSTK (COND
((NULL F3)
F3)))
(MTCHECKSTK (COND
((NULL F4)
F4)))
(MTCHECKSTK (COND
((NULL F5)
F5)))
(MTCHECKSTK (COND
((NULL F6)
F6)))
(MTCHECKSTK (COND
((NULL F7)
F7)))
(MTCHECKSTK (COND
((NULL F8)
F8))))
(PROGN (MTCHECKSTK (COND
((NULL P0)
P0)))
(MTCHECKSTK (COND
((NULL P1)
P1)))
(MTCHECKSTK (COND
((NULL P7)
P7)))
(MTCHECKSTK (COND
((NULL P8)
P8)))))))
(CALLS.FIRSTARGTEST
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(MTCHECK (EQ (FN.FIRSTARG.FVARS 1 2 3)
1)
(EQ (FN.FIRSTARG.PVARS.FVARS 1 2 3)
1))))
(CALLS.LASTARGTEST
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(MTCHECK (EQ (FN.LASTARG.FVARS 1 2 3 4 5 6 7 10Q 11Q 12Q 13Q 14Q 15Q 16Q 17Q)
17Q))
(MTCHECK (EQ (FN.LASTARG.FVARS.PVARS 1 2 3 4 5 6 7 10Q 11Q 12Q 13Q 14Q 15Q 16Q 17Q)
17Q))))
(CALLS.TOOFEWARGS
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(MTCHECK (EQ (FN.FIRSTARG.PVARS.FVARS 1 2)
1)
(EQ (FN.FIRSTARG.PVARS.FVARS)
NIL)
(EQ (FN.LASTARG.FVARS 1 2 3 4 5 6 7 10Q 11Q 12Q 13Q 14Q 15Q 16Q)
NIL))))
(FVAR.FREE
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(PROGN (SETQ F0 144Q)
(SETQ F1 145Q)
(SETQ F2 146Q)
(SETQ F3 147Q)
(SETQ F4 150Q)
(SETQ F5 151Q)
(SETQ F6 152Q)
(SETQ F7 153Q)
(SETQ F8 154Q)
(MTCHECK (EQ F0 144Q)
(EQ F1 145Q)
(EQ F2 146Q)
(EQ F3 147Q)
(EQ F4 150Q)
(EQ F5 151Q)
(EQ F6 152Q)
(EQ F7 153Q)
(EQ F8 154Q))
(SETQ F0 0)
(SETQ F1 1)
(SETQ F2 2)
(SETQ F3 3)
(SETQ F4 4)
(SETQ F5 5)
(SETQ F6 6)
(SETQ F7 7)
(SETQ F8 10Q))))
(FVAR.TEST
(LAMBDA (FLG) (* JonL " 1-Jun-84 18:19")
(PROG ((FREE.VAR.FLAG (QUOTE FREE.VALUE))
(FREE.VAR (QUOTE GARBAGE)))
(DECLARE (SPECVARS . T))
(FN.FR1)
(MTCHECK (NULL FREE.VAR.FLAG))
(MTCHECK (EQ FREE.VAR (QUOTE FREE.VALUE))))
(PROG ((FREE.VAR.FLAG (QUOTE FREE.VALUE)))
(DECLARE (SPECVARS . T))
(FN.FR1)
(MTCHECK (NULL FREE.VAR.FLAG))
(MTCHECK (EQ FREE.VAR (QUOTE FREE.VALUE))))))
(FVAR.TEST2
(LAMBDA NIL (* lmm "31-JUL-81 15:58")
(PROG ((FVAR1 1)
(FVAR2 2)
(FVAR3 3))
(FVAR.TEST T))))
(FVAR.TEST3
(LAMBDA NIL (* lmm " 3-JAN-80 01:46")
(FVAR.TESTN 1 2 3)))
(FN.FIRSTARG.FVARS
(LAMBDA (X Y Z) (* JonL " 1-Jun-84 18:32")
(COND
(NIL FREE.1)
(NIL FREE.2)
(NIL FREE.3)
(T X))))
(FN.FIRSTARG.PVARS.FVARS
(LAMBDA (X Y Z) (* JonL " 1-Jun-84 18:33")
(PROG (P D Q)
(RETURN (COND
(P FREE.1)
(P FREE.2)
(P FREE.3)
(T X))))))
(FN.LASTARG.FVARS
(LAMBDA (A1 A2 A3 A4 A5 A6 A7 A8 A9 A10 A11 A12 A13 A14 A15)
(* JonL " 1-Jun-84 18:34")
(COND
(NIL FREE.1)
(NIL FREE.2)
(NIL FREE.3)
(T A15))))
(FN.LASTARG.FVARS.PVARS
(LAMBDA (A1 A2 A3 A4 A5 A6 A7 A8 A9 A10 A11 A12 A13 A14 A15)
(* JonL " 1-Jun-84 18:35")
(PROG (P1 P2 P3)
(RETURN (COND
(NIL FREE.1)
(NIL FREE.2)
(NIL FREE.3)
(T A15))))))
(FVAR.TESTN
(LAMBDA (FVAR1 FVAR2 FVAR3) (* lmm " 3-JAN-80 01:46")
(FVAR.TEST T)))
(FN.FREE.SKIPPVARS
(LAMBDA NIL (* bvm: "21-OCT-83 12:38")
(PROG (FVAR1 FVAR2 FVAR3)
((OPCODES NOP)))
(FN.FVAR3)))
(FN.FREEPVAR
(LAMBDA NIL (* bvm: "21-OCT-83 12:29")
(PROG (FVAR3)
(SETQ FVAR3 (QUOTE FREEPVAR.VALUE))
(RETURN (FN.FVAR3)))))
(FN.FVAR3
(LAMBDA NIL (* bvm: "21-OCT-83 12:29")
FVAR3))
(FN.FREEARG
(LAMBDA (FVAR3) (* lmm " 3-JAN-80 01:34")
(FN.FVAR3)))
(FN.FR1
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(FN.FR2)
(MTCHECK (EQ FREE.VAR (QUOTE FREE.VALUE)))))
(FN.FR2
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(FN.FR3)
(MTCHECK (EQ FREE.VAR (QUOTE FREE.VALUE)))))
(FN.FR3
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(COND
(FREE.VAR.FLAG (SETQ FREE.VAR FREE.VAR.FLAG)
(SETQ FREE.VAR.FLAG NIL))
(T (MTCHECK (EQ FREE.VAR (QUOTE FREE.VALUE)))))))
(FAULTTEST
(LAMBDA NIL (* JonL " 1-Jun-84 18:19")
(SETQ FAULTFVAR 144Q)
(MTCHECK (EQ 144Q (PROGN (\RELEASEWORKINGSET)
FAULTFVAR)))))
)
(RPAQQ F0 0)
(RPAQQ F1 1)
(RPAQQ F2 2)
(RPAQQ F3 3)
(RPAQQ F4 4)
(RPAQQ F5 5)
(RPAQQ F6 6)
(RPAQQ F7 7)
(RPAQQ F8 10Q)
(* "Test out of numeric capabilities")
(DEFINEQ
(!NUMBERTEST
(LAMBDA NIL (* lmm "21-OCT-81 15:50")
(!NUMTEST1)
(!NUMTEST2)
(!NUMTEST3)
(!NUMTEST4)
(!NUMTEST5)
(!NUMTEST6)))
(!NUMTEST1
(LAMBDA NIL (* bvm: " 8-MAR-82 22:59")
(MTCHECKSTK (CKEQ (IGREATERP 0 0)
NIL)
(CKEQ (IPLUS 0 0)
0)
(CKEQ (IDIFFERENCE 0 0)
0)
(CKEQ (LOGOR 0 0)
0)
(CKEQ (LOGAND 0 0)
0)
(CKEQ (LOGXOR 0 0)
0)
(CKEQ (IGREATERP 0 1)
NIL)
(CKEQ (IPLUS 0 1)
1)
(CKEQ (IDIFFERENCE 0 1)
-1)
(CKEQ (LOGOR 0 1)
1)
(CKEQ (LOGAND 0 1)
0)
(CKEQ (LOGXOR 0 1)
1)
(CKEQ (IGREATERP 0 -1)
T)
(CKEQ (IPLUS 0 -1)
-1)
(CKEQ (IDIFFERENCE 0 -1)
1)
(CKEQ (LOGOR 0 -1)
-1)
(CKEQ (LOGAND 0 -1)
0)
(CKEQ (LOGXOR 0 -1)
-1)
(CKEQ (IGREATERP 0 2)
NIL)
(CKEQ (IPLUS 0 2)
2)
(CKEQ (IDIFFERENCE 0 2)
-2)
(CKEQ (LOGOR 0 2)
2)
(CKEQ (LOGAND 0 2)
0)
(CKEQ (LOGXOR 0 2)
2)
(CKEQ (IGREATERP 0 -2)
T)
(CKEQ (IPLUS 0 -2)
-2)
(CKEQ (IDIFFERENCE 0 -2)
2)
(CKEQ (LOGOR 0 -2)
-2)
(CKEQ (LOGAND 0 -2)
0)
(CKEQ (LOGXOR 0 -2)
-2)
(CKEQ (IGREATERP 0 177777Q)
NIL)
(CKEQ (IPLUS 0 177777Q)
177777Q)
(CKEQ (IDIFFERENCE 0 177777Q)
-177777Q)
(CKEQ (LOGOR 0 177777Q)
177777Q)
(CKEQ (LOGAND 0 177777Q)
0)
(CKEQ (LOGXOR 0 177777Q)
177777Q)
(CKEQ (IGREATERP 0 -200000Q)
T)
(CKEQ (IPLUS 0 -200000Q)
-200000Q)
(CKEQ (IDIFFERENCE 0 -200000Q)
200000Q)
(CKEQ (LOGOR 0 -200000Q)
-200000Q)
(CKEQ (LOGAND 0 -200000Q)
0)
(CKEQ (LOGXOR 0 -200000Q)
-200000Q)
(CKEQ (IGREATERP 0 177776Q)
NIL)
(CKEQ (IPLUS 0 177776Q)
177776Q)
(CKEQ (IDIFFERENCE 0 177776Q)
-177776Q)
(CKEQ (LOGOR 0 177776Q)
177776Q)
(CKEQ (LOGAND 0 177776Q)
0)
(CKEQ (LOGXOR 0 177776Q)
177776Q)
(CKEQ (IGREATERP 0 -200001Q)
T)
(CKEQ (IPLUS 0 -200001Q)
-200001Q)
(CKEQ (IDIFFERENCE 0 -200001Q)
200001Q)
(CKEQ (LOGOR 0 -200001Q)
-200001Q)
(CKEQ (LOGAND 0 -200001Q)
0)
(CKEQ (LOGXOR 0 -200001Q)
-200001Q)
(CKEQ (IGREATERP 1 0)
T)
(CKEQ (IPLUS 1 0)
1)
(CKEQ (IDIFFERENCE 1 0)
1)
(CKEQ (LOGOR 1 0)
1)
(CKEQ (LOGAND 1 0)
0)
(CKEQ (LOGXOR 1 0)
1)
(CKEQ (IGREATERP 1 1)
NIL)
(CKEQ (IPLUS 1 1)
2)
(CKEQ (IDIFFERENCE 1 1)
0)
(CKEQ (LOGOR 1 1)
1)
(CKEQ (LOGAND 1 1)
1)
(CKEQ (LOGXOR 1 1)
0)
(CKEQ (IGREATERP 1 -1)
T)
(CKEQ (IPLUS 1 -1)
0)
(CKEQ (IDIFFERENCE 1 -1)
2)
(CKEQ (LOGOR 1 -1)
-1)
(CKEQ (LOGAND 1 -1)
1)
(CKEQ (LOGXOR 1 -1)
-2)
(CKEQ (IGREATERP 1 2)
NIL)
(CKEQ (IPLUS 1 2)
3)
(CKEQ (IDIFFERENCE 1 2)
-1)
(CKEQ (LOGOR 1 2)
3)
(CKEQ (LOGAND 1 2)
0)
(CKEQ (LOGXOR 1 2)
3)
(CKEQ (IGREATERP 1 -2)
T)
(CKEQ (IPLUS 1 -2)
-1)
(CKEQ (IDIFFERENCE 1 -2)
3)
(CKEQ (LOGOR 1 -2)
-1)
(CKEQ (LOGAND 1 -2)
0)
(CKEQ (LOGXOR 1 -2)
-1)
(CKEQ (IGREATERP 1 177777Q)
NIL)
(CKEQ (IPLUS 1 177777Q)
200000Q)
(CKEQ (IDIFFERENCE 1 177777Q)
-177776Q)
(CKEQ (LOGOR 1 177777Q)
177777Q)
(CKEQ (LOGAND 1 177777Q)
1)
(CKEQ (LOGXOR 1 177777Q)
177776Q)
(CKEQ (IGREATERP 1 -200000Q)
T)
(CKEQ (IPLUS 1 -200000Q)
-177777Q)
(CKEQ (IDIFFERENCE 1 -200000Q)
200001Q)
(CKEQ (LOGOR 1 -200000Q)
-177777Q)
(CKEQ (LOGAND 1 -200000Q)
0)
(CKEQ (LOGXOR 1 -200000Q)
-177777Q)
(CKEQ (IGREATERP 1 177776Q)
NIL)
(CKEQ (IPLUS 1 177776Q)
177777Q)
(CKEQ (IDIFFERENCE 1 177776Q)
-177775Q))))
(!NUMTEST2
(LAMBDA NIL (* bvm: " 8-MAR-82 22:59")
(MTCHECKSTK (CKEQ (LOGOR 1 177776Q)
177777Q)
(CKEQ (LOGAND 1 177776Q)
0)
(CKEQ (LOGXOR 1 177776Q)
177777Q)
(CKEQ (IGREATERP 1 -200001Q)
T)
(CKEQ (IPLUS 1 -200001Q)
-200000Q)
(CKEQ (IDIFFERENCE 1 -200001Q)
200002Q)
(CKEQ (LOGOR 1 -200001Q)
-200001Q)
(CKEQ (LOGAND 1 -200001Q)
1)
(CKEQ (LOGXOR 1 -200001Q)
-200002Q)
(CKEQ (IGREATERP -1 0)
NIL)
(CKEQ (IPLUS -1 0)
-1)
(CKEQ (IDIFFERENCE -1 0)
-1)
(CKEQ (LOGOR -1 0)
-1)
(CKEQ (LOGAND -1 0)
0)
(CKEQ (LOGXOR -1 0)
-1)
(CKEQ (IGREATERP -1 1)
NIL)
(CKEQ (IPLUS -1 1)
0)
(CKEQ (IDIFFERENCE -1 1)
-2)
(CKEQ (LOGOR -1 1)
-1)
(CKEQ (LOGAND -1 1)
1)
(CKEQ (LOGXOR -1 1)
-2)
(CKEQ (IGREATERP -1 -1)
NIL)
(CKEQ (IPLUS -1 -1)
-2)
(CKEQ (IDIFFERENCE -1 -1)
0)
(CKEQ (LOGOR -1 -1)
-1)
(CKEQ (LOGAND -1 -1)
-1)
(CKEQ (LOGXOR -1 -1)
0)
(CKEQ (IGREATERP -1 2)
NIL)
(CKEQ (IPLUS -1 2)
1)
(CKEQ (IDIFFERENCE -1 2)
-3)
(CKEQ (LOGOR -1 2)
-1)
(CKEQ (LOGAND -1 2)
2)
(CKEQ (LOGXOR -1 2)
-3)
(CKEQ (IGREATERP -1 -2)
T)
(CKEQ (IPLUS -1 -2)
-3)
(CKEQ (IDIFFERENCE -1 -2)
1)
(CKEQ (LOGOR -1 -2)
-1)
(CKEQ (LOGAND -1 -2)
-2)
(CKEQ (LOGXOR -1 -2)
1)
(CKEQ (IGREATERP -1 177777Q)
NIL)
(CKEQ (IPLUS -1 177777Q)
177776Q)
(CKEQ (IDIFFERENCE -1 177777Q)
-200000Q)
(CKEQ (LOGOR -1 177777Q)
-1)
(CKEQ (LOGAND -1 177777Q)
177777Q)
(CKEQ (LOGXOR -1 177777Q)
-200000Q)
(CKEQ (IGREATERP -1 -200000Q)
T)
(CKEQ (IPLUS -1 -200000Q)
-200001Q)
(CKEQ (IDIFFERENCE -1 -200000Q)
177777Q)
(CKEQ (LOGOR -1 -200000Q)
-1)
(CKEQ (LOGAND -1 -200000Q)
-200000Q)
(CKEQ (LOGXOR -1 -200000Q)
177777Q)
(CKEQ (IGREATERP -1 177776Q)
NIL)
(CKEQ (IPLUS -1 177776Q)
177775Q)
(CKEQ (IDIFFERENCE -1 177776Q)
-177777Q)
(CKEQ (LOGOR -1 177776Q)
-1)
(CKEQ (LOGAND -1 177776Q)
177776Q)
(CKEQ (LOGXOR -1 177776Q)
-177777Q)
(CKEQ (IGREATERP -1 -200001Q)
T)
(CKEQ (IPLUS -1 -200001Q)
-200002Q)
(CKEQ (IDIFFERENCE -1 -200001Q)
200000Q)
(CKEQ (LOGOR -1 -200001Q)
-1)
(CKEQ (LOGAND -1 -200001Q)
-200001Q)
(CKEQ (LOGXOR -1 -200001Q)
200000Q)
(CKEQ (IGREATERP 2 0)
T)
(CKEQ (IPLUS 2 0)
2)
(CKEQ (IDIFFERENCE 2 0)
2)
(CKEQ (LOGOR 2 0)
2)
(CKEQ (LOGAND 2 0)
0)
(CKEQ (LOGXOR 2 0)
2)
(CKEQ (IGREATERP 2 1)
T)
(CKEQ (IPLUS 2 1)
3)
(CKEQ (IDIFFERENCE 2 1)
1)
(CKEQ (LOGOR 2 1)
3)
(CKEQ (LOGAND 2 1)
0)
(CKEQ (LOGXOR 2 1)
3)
(CKEQ (IGREATERP 2 -1)
T)
(CKEQ (IPLUS 2 -1)
1)
(CKEQ (IDIFFERENCE 2 -1)
3)
(CKEQ (LOGOR 2 -1)
-1)
(CKEQ (LOGAND 2 -1)
2)
(CKEQ (LOGXOR 2 -1)
-3)
(CKEQ (IGREATERP 2 2)
NIL)
(CKEQ (IPLUS 2 2)
4)
(CKEQ (IDIFFERENCE 2 2)
0)
(CKEQ (LOGOR 2 2)
2)
(CKEQ (LOGAND 2 2)
2)
(CKEQ (LOGXOR 2 2)
0)
(CKEQ (IGREATERP 2 -2)
T)
(CKEQ (IPLUS 2 -2)
0)
(CKEQ (IDIFFERENCE 2 -2)
4)
(CKEQ (LOGOR 2 -2)
-2)
(CKEQ (LOGAND 2 -2)
2)
(CKEQ (LOGXOR 2 -2)
-4)
(CKEQ (IGREATERP 2 177777Q)
NIL)
(CKEQ (IPLUS 2 177777Q)
200001Q)
(CKEQ (IDIFFERENCE 2 177777Q)
-177775Q)
(CKEQ (LOGOR 2 177777Q)
177777Q)
(CKEQ (LOGAND 2 177777Q)
2)
(CKEQ (LOGXOR 2 177777Q)
177775Q))))
(!NUMTEST3
(LAMBDA NIL (* bvm: " 8-MAR-82 23:00")
(MTCHECKSTK (CKEQ (IGREATERP 2 -200000Q)
T)
(CKEQ (IPLUS 2 -200000Q)
-177776Q)
(CKEQ (IDIFFERENCE 2 -200000Q)
200002Q)
(CKEQ (LOGOR 2 -200000Q)
-177776Q)
(CKEQ (LOGAND 2 -200000Q)
0)
(CKEQ (LOGXOR 2 -200000Q)
-177776Q)
(CKEQ (IGREATERP 2 177776Q)
NIL)
(CKEQ (IPLUS 2 177776Q)
200000Q)
(CKEQ (IDIFFERENCE 2 177776Q)
-177774Q)
(CKEQ (LOGOR 2 177776Q)
177776Q)
(CKEQ (LOGAND 2 177776Q)
2)
(CKEQ (LOGXOR 2 177776Q)
177774Q)
(CKEQ (IGREATERP 2 -200001Q)
T)
(CKEQ (IPLUS 2 -200001Q)
-177777Q)
(CKEQ (IDIFFERENCE 2 -200001Q)
200003Q)
(CKEQ (LOGOR 2 -200001Q)
-200001Q)
(CKEQ (LOGAND 2 -200001Q)
2)
(CKEQ (LOGXOR 2 -200001Q)
-200003Q)
(CKEQ (IGREATERP -2 0)
NIL)
(CKEQ (IPLUS -2 0)
-2)
(CKEQ (IDIFFERENCE -2 0)
-2)
(CKEQ (LOGOR -2 0)
-2)
(CKEQ (LOGAND -2 0)
0)
(CKEQ (LOGXOR -2 0)
-2)
(CKEQ (IGREATERP -2 1)
NIL)
(CKEQ (IPLUS -2 1)
-1)
(CKEQ (IDIFFERENCE -2 1)
-3)
(CKEQ (LOGOR -2 1)
-1)
(CKEQ (LOGAND -2 1)
0)
(CKEQ (LOGXOR -2 1)
-1)
(CKEQ (IGREATERP -2 -1)
NIL)
(CKEQ (IPLUS -2 -1)
-3)
(CKEQ (IDIFFERENCE -2 -1)
-1)
(CKEQ (LOGOR -2 -1)
-1)
(CKEQ (LOGAND -2 -1)
-2)
(CKEQ (LOGXOR -2 -1)
1)
(CKEQ (IGREATERP -2 2)
NIL)
(CKEQ (IPLUS -2 2)
0)
(CKEQ (IDIFFERENCE -2 2)
-4)
(CKEQ (LOGOR -2 2)
-2)
(CKEQ (LOGAND -2 2)
2)
(CKEQ (LOGXOR -2 2)
-4)
(CKEQ (IGREATERP -2 -2)
NIL)
(CKEQ (IPLUS -2 -2)
-4)
(CKEQ (IDIFFERENCE -2 -2)
0)
(CKEQ (LOGOR -2 -2)
-2)
(CKEQ (LOGAND -2 -2)
-2)
(CKEQ (LOGXOR -2 -2)
0)
(CKEQ (IGREATERP -2 177777Q)
NIL)
(CKEQ (IPLUS -2 177777Q)
177775Q)
(CKEQ (IDIFFERENCE -2 177777Q)
-200001Q)
(CKEQ (LOGOR -2 177777Q)
-1)
(CKEQ (LOGAND -2 177777Q)
177776Q)
(CKEQ (LOGXOR -2 177777Q)
-177777Q)
(CKEQ (IGREATERP -2 -200000Q)
T)
(CKEQ (IPLUS -2 -200000Q)
-200002Q)
(CKEQ (IDIFFERENCE -2 -200000Q)
177776Q)
(CKEQ (LOGOR -2 -200000Q)
-2)
(CKEQ (LOGAND -2 -200000Q)
-200000Q)
(CKEQ (LOGXOR -2 -200000Q)
177776Q)
(CKEQ (IGREATERP -2 177776Q)
NIL)
(CKEQ (IPLUS -2 177776Q)
177774Q)
(CKEQ (IDIFFERENCE -2 177776Q)
-200000Q)
(CKEQ (LOGOR -2 177776Q)
-2)
(CKEQ (LOGAND -2 177776Q)
177776Q)
(CKEQ (LOGXOR -2 177776Q)
-200000Q)
(CKEQ (IGREATERP -2 -200001Q)
T)
(CKEQ (IPLUS -2 -200001Q)
-200003Q)
(CKEQ (IDIFFERENCE -2 -200001Q)
177777Q)
(CKEQ (LOGOR -2 -200001Q)
-1)
(CKEQ (LOGAND -2 -200001Q)
-200002Q)
(CKEQ (LOGXOR -2 -200001Q)
200001Q)
(CKEQ (IGREATERP 177777Q 0)
T)
(CKEQ (IPLUS 177777Q 0)
177777Q)
(CKEQ (IDIFFERENCE 177777Q 0)
177777Q)
(CKEQ (LOGOR 177777Q 0)
177777Q)
(CKEQ (LOGAND 177777Q 0)
0)
(CKEQ (LOGXOR 177777Q 0)
177777Q)
(CKEQ (IGREATERP 177777Q 1)
T)
(CKEQ (IPLUS 177777Q 1)
200000Q)
(CKEQ (IDIFFERENCE 177777Q 1)
177776Q)
(CKEQ (LOGOR 177777Q 1)
177777Q)
(CKEQ (LOGAND 177777Q 1)
1)
(CKEQ (LOGXOR 177777Q 1)
177776Q)
(CKEQ (IGREATERP 177777Q -1)
T)
(CKEQ (IPLUS 177777Q -1)
177776Q)
(CKEQ (IDIFFERENCE 177777Q -1)
200000Q)
(CKEQ (LOGOR 177777Q -1)
-1)
(CKEQ (LOGAND 177777Q -1)
177777Q)
(CKEQ (LOGXOR 177777Q -1)
-200000Q)
(CKEQ (IGREATERP 177777Q 2)
T)
(CKEQ (IPLUS 177777Q 2)
200001Q)
(CKEQ (IDIFFERENCE 177777Q 2)
177775Q)
(CKEQ (LOGOR 177777Q 2)
177777Q)
(CKEQ (LOGAND 177777Q 2)
2)
(CKEQ (LOGXOR 177777Q 2)
177775Q)
(CKEQ (IGREATERP 177777Q -2)
T)
(CKEQ (IPLUS 177777Q -2)
177775Q)
(CKEQ (IDIFFERENCE 177777Q -2)
200001Q)
(CKEQ (LOGOR 177777Q -2)
-1))))
(!NUMTEST4
(LAMBDA NIL (* bvm: " 8-MAR-82 23:00")
(MTCHECKSTK (CKEQ (LOGAND 177777Q -2)
177776Q)
(CKEQ (LOGXOR 177777Q -2)
-177777Q)
(CKEQ (IGREATERP 177777Q 177777Q)
NIL)
(CKEQ (IPLUS 177777Q 177777Q)
377776Q)
(CKEQ (IDIFFERENCE 177777Q 177777Q)
0)
(CKEQ (LOGOR 177777Q 177777Q)
177777Q)
(CKEQ (LOGAND 177777Q 177777Q)
177777Q)
(CKEQ (LOGXOR 177777Q 177777Q)
0)
(CKEQ (IGREATERP 177777Q -200000Q)
T)
(CKEQ (IPLUS 177777Q -200000Q)
-1)
(CKEQ (IDIFFERENCE 177777Q -200000Q)
377777Q)
(CKEQ (LOGOR 177777Q -200000Q)
-1)
(CKEQ (LOGAND 177777Q -200000Q)
0)
(CKEQ (LOGXOR 177777Q -200000Q)
-1)
(CKEQ (IGREATERP 177777Q 177776Q)
T)
(CKEQ (IPLUS 177777Q 177776Q)
377775Q)
(CKEQ (IDIFFERENCE 177777Q 177776Q)
1)
(CKEQ (LOGOR 177777Q 177776Q)
177777Q)
(CKEQ (LOGAND 177777Q 177776Q)
177776Q)
(CKEQ (LOGXOR 177777Q 177776Q)
1)
(CKEQ (IGREATERP 177777Q -200001Q)
T)
(CKEQ (IPLUS 177777Q -200001Q)
-2)
(CKEQ (IDIFFERENCE 177777Q -200001Q)
400000Q)
(CKEQ (LOGOR 177777Q -200001Q)
-200001Q)
(CKEQ (LOGAND 177777Q -200001Q)
177777Q)
(CKEQ (LOGXOR 177777Q -200001Q)
-400000Q)
(CKEQ (IGREATERP -200000Q 0)
NIL)
(CKEQ (IPLUS -200000Q 0)
-200000Q)
(CKEQ (IDIFFERENCE -200000Q 0)
-200000Q)
(CKEQ (LOGOR -200000Q 0)
-200000Q)
(CKEQ (LOGAND -200000Q 0)
0)
(CKEQ (LOGXOR -200000Q 0)
-200000Q)
(CKEQ (IGREATERP -200000Q 1)
NIL)
(CKEQ (IPLUS -200000Q 1)
-177777Q)
(CKEQ (IDIFFERENCE -200000Q 1)
-200001Q)
(CKEQ (LOGOR -200000Q 1)
-177777Q)
(CKEQ (LOGAND -200000Q 1)
0)
(CKEQ (LOGXOR -200000Q 1)
-177777Q)
(CKEQ (IGREATERP -200000Q -1)
NIL)
(CKEQ (IPLUS -200000Q -1)
-200001Q)
(CKEQ (IDIFFERENCE -200000Q -1)
-177777Q)
(CKEQ (LOGOR -200000Q -1)
-1)
(CKEQ (LOGAND -200000Q -1)
-200000Q)
(CKEQ (LOGXOR -200000Q -1)
177777Q)
(CKEQ (IGREATERP -200000Q 2)
NIL)
(CKEQ (IPLUS -200000Q 2)
-177776Q)
(CKEQ (IDIFFERENCE -200000Q 2)
-200002Q)
(CKEQ (LOGOR -200000Q 2)
-177776Q)
(CKEQ (LOGAND -200000Q 2)
0)
(CKEQ (LOGXOR -200000Q 2)
-177776Q)
(CKEQ (IGREATERP -200000Q -2)
NIL)
(CKEQ (IPLUS -200000Q -2)
-200002Q)
(CKEQ (IDIFFERENCE -200000Q -2)
-177776Q)
(CKEQ (LOGOR -200000Q -2)
-2)
(CKEQ (LOGAND -200000Q -2)
-200000Q)
(CKEQ (LOGXOR -200000Q -2)
177776Q)
(CKEQ (IGREATERP -200000Q 177777Q)
NIL)
(CKEQ (IPLUS -200000Q 177777Q)
-1)
(CKEQ (IDIFFERENCE -200000Q 177777Q)
-377777Q)
(CKEQ (LOGOR -200000Q 177777Q)
-1)
(CKEQ (LOGAND -200000Q 177777Q)
0)
(CKEQ (LOGXOR -200000Q 177777Q)
-1)
(CKEQ (IGREATERP -200000Q -200000Q)
NIL)
(CKEQ (IPLUS -200000Q -200000Q)
-400000Q)
(CKEQ (IDIFFERENCE -200000Q -200000Q)
0)
(CKEQ (LOGOR -200000Q -200000Q)
-200000Q)
(CKEQ (LOGAND -200000Q -200000Q)
-200000Q)
(CKEQ (LOGXOR -200000Q -200000Q)
0)
(CKEQ (IGREATERP -200000Q 177776Q)
NIL)
(CKEQ (IPLUS -200000Q 177776Q)
-2)
(CKEQ (IDIFFERENCE -200000Q 177776Q)
-377776Q)
(CKEQ (LOGOR -200000Q 177776Q)
-2)
(CKEQ (LOGAND -200000Q 177776Q)
0)
(CKEQ (LOGXOR -200000Q 177776Q)
-2)
(CKEQ (IGREATERP -200000Q -200001Q)
T)
(CKEQ (IPLUS -200000Q -200001Q)
-400001Q)
(CKEQ (IDIFFERENCE -200000Q -200001Q)
1)
(CKEQ (LOGOR -200000Q -200001Q)
-1)
(CKEQ (LOGAND -200000Q -200001Q)
-400000Q)
(CKEQ (LOGXOR -200000Q -200001Q)
377777Q)
(CKEQ (IGREATERP 177776Q 0)
T)
(CKEQ (IPLUS 177776Q 0)
177776Q)
(CKEQ (IDIFFERENCE 177776Q 0)
177776Q)
(CKEQ (LOGOR 177776Q 0)
177776Q)
(CKEQ (LOGAND 177776Q 0)
0)
(CKEQ (LOGXOR 177776Q 0)
177776Q)
(CKEQ (IGREATERP 177776Q 1)
T)
(CKEQ (IPLUS 177776Q 1)
177777Q)
(CKEQ (IDIFFERENCE 177776Q 1)
177775Q)
(CKEQ (LOGOR 177776Q 1)
177777Q)
(CKEQ (LOGAND 177776Q 1)
0)
(CKEQ (LOGXOR 177776Q 1)
177777Q)
(CKEQ (IGREATERP 177776Q -1)
T)
(CKEQ (IPLUS 177776Q -1)
177775Q)
(CKEQ (IDIFFERENCE 177776Q -1)
177777Q)
(CKEQ (LOGOR 177776Q -1)
-1)
(CKEQ (LOGAND 177776Q -1)
177776Q)
(CKEQ (LOGXOR 177776Q -1)
-177777Q)
(CKEQ (IGREATERP 177776Q 2)
T))))
(!NUMTEST5
(LAMBDA NIL (* bvm: " 8-MAR-82 23:00")
(MTCHECKSTK (CKEQ (IPLUS 177776Q 2)
200000Q)
(CKEQ (IDIFFERENCE 177776Q 2)
177774Q)
(CKEQ (LOGOR 177776Q 2)
177776Q)
(CKEQ (LOGAND 177776Q 2)
2)
(CKEQ (LOGXOR 177776Q 2)
177774Q)
(CKEQ (IGREATERP 177776Q -2)
T)
(CKEQ (IPLUS 177776Q -2)
177774Q)
(CKEQ (IDIFFERENCE 177776Q -2)
200000Q)
(CKEQ (LOGOR 177776Q -2)
-2)
(CKEQ (LOGAND 177776Q -2)
177776Q)
(CKEQ (LOGXOR 177776Q -2)
-200000Q)
(CKEQ (IGREATERP 177776Q 177777Q)
NIL)
(CKEQ (IPLUS 177776Q 177777Q)
377775Q)
(CKEQ (IDIFFERENCE 177776Q 177777Q)
-1)
(CKEQ (LOGOR 177776Q 177777Q)
177777Q)
(CKEQ (LOGAND 177776Q 177777Q)
177776Q)
(CKEQ (LOGXOR 177776Q 177777Q)
1)
(CKEQ (IGREATERP 177776Q -200000Q)
T)
(CKEQ (IPLUS 177776Q -200000Q)
-2)
(CKEQ (IDIFFERENCE 177776Q -200000Q)
377776Q)
(CKEQ (LOGOR 177776Q -200000Q)
-2)
(CKEQ (LOGAND 177776Q -200000Q)
0)
(CKEQ (LOGXOR 177776Q -200000Q)
-2)
(CKEQ (IGREATERP 177776Q 177776Q)
NIL)
(CKEQ (IPLUS 177776Q 177776Q)
377774Q)
(CKEQ (IDIFFERENCE 177776Q 177776Q)
0)
(CKEQ (LOGOR 177776Q 177776Q)
177776Q)
(CKEQ (LOGAND 177776Q 177776Q)
177776Q)
(CKEQ (LOGXOR 177776Q 177776Q)
0)
(CKEQ (IGREATERP 177776Q -200001Q)
T)
(CKEQ (IPLUS 177776Q -200001Q)
-3)
(CKEQ (IDIFFERENCE 177776Q -200001Q)
377777Q)
(CKEQ (LOGOR 177776Q -200001Q)
-200001Q)
(CKEQ (LOGAND 177776Q -200001Q)
177776Q)
(CKEQ (LOGXOR 177776Q -200001Q)
-377777Q)
(CKEQ (IGREATERP -200001Q 0)
NIL)
(CKEQ (IPLUS -200001Q 0)
-200001Q)
(CKEQ (IDIFFERENCE -200001Q 0)
-200001Q)
(CKEQ (LOGOR -200001Q 0)
-200001Q)
(CKEQ (LOGAND -200001Q 0)
0)
(CKEQ (LOGXOR -200001Q 0)
-200001Q)
(CKEQ (IGREATERP -200001Q 1)
NIL)
(CKEQ (IPLUS -200001Q 1)
-200000Q)
(CKEQ (IDIFFERENCE -200001Q 1)
-200002Q)
(CKEQ (LOGOR -200001Q 1)
-200001Q)
(CKEQ (LOGAND -200001Q 1)
1)
(CKEQ (LOGXOR -200001Q 1)
-200002Q)
(CKEQ (IGREATERP -200001Q -1)
NIL)
(CKEQ (IPLUS -200001Q -1)
-200002Q)
(CKEQ (IDIFFERENCE -200001Q -1)
-200000Q)
(CKEQ (LOGOR -200001Q -1)
-1)
(CKEQ (LOGAND -200001Q -1)
-200001Q)
(CKEQ (LOGXOR -200001Q -1)
200000Q)
(CKEQ (IGREATERP -200001Q 2)
NIL)
(CKEQ (IPLUS -200001Q 2)
-177777Q)
(CKEQ (IDIFFERENCE -200001Q 2)
-200003Q)
(CKEQ (LOGOR -200001Q 2)
-200001Q)
(CKEQ (LOGAND -200001Q 2)
2)
(CKEQ (LOGXOR -200001Q 2)
-200003Q)
(CKEQ (IGREATERP -200001Q -2)
NIL)
(CKEQ (IPLUS -200001Q -2)
-200003Q)
(CKEQ (IDIFFERENCE -200001Q -2)
-177777Q)
(CKEQ (LOGOR -200001Q -2)
-1)
(CKEQ (LOGAND -200001Q -2)
-200002Q)
(CKEQ (LOGXOR -200001Q -2)
200001Q)
(CKEQ (IGREATERP -200001Q 177777Q)
NIL)
(CKEQ (IPLUS -200001Q 177777Q)
-2)
(CKEQ (IDIFFERENCE -200001Q 177777Q)
-400000Q)
(CKEQ (LOGOR -200001Q 177777Q)
-200001Q)
(CKEQ (LOGAND -200001Q 177777Q)
177777Q)
(CKEQ (LOGXOR -200001Q 177777Q)
-400000Q)
(CKEQ (IGREATERP -200001Q -200000Q)
NIL)
(CKEQ (IPLUS -200001Q -200000Q)
-400001Q)
(CKEQ (IDIFFERENCE -200001Q -200000Q)
-1)
(CKEQ (LOGOR -200001Q -200000Q)
-1)
(CKEQ (LOGAND -200001Q -200000Q)
-400000Q)
(CKEQ (LOGXOR -200001Q -200000Q)
377777Q)
(CKEQ (IGREATERP -200001Q 177776Q)
NIL)
(CKEQ (IPLUS -200001Q 177776Q)
-3)
(CKEQ (IDIFFERENCE -200001Q 177776Q)
-377777Q)
(CKEQ (LOGOR -200001Q 177776Q)
-200001Q)
(CKEQ (LOGAND -200001Q 177776Q)
177776Q)
(CKEQ (LOGXOR -200001Q 177776Q)
-377777Q)
(CKEQ (IGREATERP -200001Q -200001Q)
NIL)
(CKEQ (IPLUS -200001Q -200001Q)
-400002Q)
(CKEQ (IDIFFERENCE -200001Q -200001Q)
0)
(CKEQ (LOGOR -200001Q -200001Q)
-200001Q)
(CKEQ (LOGAND -200001Q -200001Q)
-200001Q)
(CKEQ (LOGXOR -200001Q -200001Q)
0)
(CKEQ (LRSH 0 1)
0)
(CKEQ (LLSH 0 1)
0)
(CKEQ (LRSH 0 10Q)
0)
(CKEQ (LLSH 0 10Q)
0)
(CKEQ (LRSH 1 1)
0)
(CKEQ (LLSH 1 1)
2)
(CKEQ (LRSH 1 10Q)
0)
(CKEQ (LLSH 1 10Q)
400Q)
(CKEQ (LLSH -1 1)
-2)
(CKEQ (LLSH -1 10Q)
-400Q))))
(!NUMTEST6
(LAMBDA NIL (* bvm: " 8-MAR-82 23:00")
(MTCHECKSTK (CKEQ (LRSH 2 1)
1)
(CKEQ (LLSH 2 1)
4)
(CKEQ (LRSH 2 10Q)
0)
(CKEQ (LLSH 2 10Q)
1000Q)
(CKEQ (LLSH -2 1)
-4)
(CKEQ (LLSH -2 10Q)
-1000Q)
(CKEQ (LRSH 177777Q 1)
77777Q)
(CKEQ (LLSH 177777Q 1)
377776Q)
(CKEQ (LRSH 177777Q 10Q)
377Q)
(CKEQ (LLSH 177777Q 10Q)
77777400Q)
(CKEQ (LLSH -200000Q 1)
-400000Q)
(CKEQ (LLSH -200000Q 10Q)
-100000000Q)
(CKEQ (LRSH 177776Q 1)
77777Q)
(CKEQ (LLSH 177776Q 1)
377774Q)
(CKEQ (LRSH 177776Q 10Q)
377Q)
(CKEQ (LLSH 177776Q 10Q)
77777000Q)
(CKEQ (LLSH -200001Q 1)
-400002Q)
(CKEQ (LLSH -200001Q 10Q)
-100000400Q)
(CKEQ (IQUOTIENT 0 1)
0)
(CKEQ (IREMAINDER 0 1)
0)
(CKEQ (ITIMES 0 1)
0)
(CKEQ (IQUOTIENT 0 10Q)
0)
(CKEQ (IREMAINDER 0 10Q)
0)
(CKEQ (ITIMES 0 10Q)
0)
(CKEQ (IQUOTIENT 1 1)
1)
(CKEQ (IREMAINDER 1 1)
0)
(CKEQ (ITIMES 1 1)
1)
(CKEQ (IQUOTIENT 1 10Q)
0)
(CKEQ (IREMAINDER 1 10Q)
1)
(CKEQ (ITIMES 1 10Q)
10Q)
(CKEQ (IQUOTIENT -1 1)
-1)
(CKEQ (IREMAINDER -1 1)
0)
(CKEQ (ITIMES -1 1)
-1)
(CKEQ (IQUOTIENT -1 10Q)
0)
(CKEQ (IREMAINDER -1 10Q)
-1)
(CKEQ (ITIMES -1 10Q)
-10Q)
(CKEQ (IQUOTIENT 2 1)
2)
(CKEQ (IREMAINDER 2 1)
0)
(CKEQ (ITIMES 2 1)
2)
(CKEQ (IQUOTIENT 2 10Q)
0)
(CKEQ (IREMAINDER 2 10Q)
2)
(CKEQ (ITIMES 2 10Q)
20Q)
(CKEQ (IQUOTIENT -2 1)
-2)
(CKEQ (IREMAINDER -2 1)
0)
(CKEQ (ITIMES -2 1)
-2)
(CKEQ (IQUOTIENT -2 10Q)
0)
(CKEQ (IREMAINDER -2 10Q)
-2)
(CKEQ (ITIMES -2 10Q)
-20Q)
(CKEQ (IQUOTIENT 177777Q 1)
177777Q)
(CKEQ (IREMAINDER 177777Q 1)
0)
(CKEQ (ITIMES 177777Q 1)
177777Q)
(CKEQ (IQUOTIENT 177777Q 10Q)
17777Q)
(CKEQ (IREMAINDER 177777Q 10Q)
7)
(CKEQ (ITIMES 177777Q 10Q)
1777770Q)
(CKEQ (IQUOTIENT -200000Q 1)
-200000Q)
(CKEQ (IREMAINDER -200000Q 1)
0)
(CKEQ (ITIMES -200000Q 1)
-200000Q)
(CKEQ (IQUOTIENT -200000Q 10Q)
-20000Q)
(CKEQ (IREMAINDER -200000Q 10Q)
0)
(CKEQ (ITIMES -200000Q 10Q)
-2000000Q)
(CKEQ (IQUOTIENT 177776Q 1)
177776Q)
(CKEQ (IREMAINDER 177776Q 1)
0)
(CKEQ (ITIMES 177776Q 1)
177776Q)
(CKEQ (IQUOTIENT 177776Q 10Q)
17777Q)
(CKEQ (IREMAINDER 177776Q 10Q)
6)
(CKEQ (ITIMES 177776Q 10Q)
1777760Q)
(CKEQ (IQUOTIENT -200001Q 1)
-200001Q)
(CKEQ (IREMAINDER -200001Q 1)
0)
(CKEQ (ITIMES -200001Q 1)
-200001Q)
(CKEQ (IQUOTIENT -200001Q 10Q)
-20000Q)
(CKEQ (IREMAINDER -200001Q 10Q)
-1)
(CKEQ (ITIMES -200001Q 10Q)
-2000010Q)
(CKEQ (IQUOTIENT 3 1)
3)
(CKEQ (IREMAINDER 3 1)
0)
(CKEQ (ITIMES 3 1)
3)
(CKEQ (IQUOTIENT 3 10Q)
0)
(CKEQ (IREMAINDER 3 10Q)
3)
(CKEQ (ITIMES 3 10Q)
30Q)
(CKEQ (IQUOTIENT -3 1)
-3)
(CKEQ (IREMAINDER -3 1)
0)
(CKEQ (ITIMES -3 1)
-3)
(CKEQ (IQUOTIENT -3 10Q)
0)
(CKEQ (IREMAINDER -3 10Q)
-3)
(CKEQ (ITIMES -3 10Q)
-30Q)
(CKEQ (IQUOTIENT 4 1)
4)
(CKEQ (IREMAINDER 4 1)
0)
(CKEQ (ITIMES 4 1)
4)
(CKEQ (IQUOTIENT 4 10Q)
0)
(CKEQ (IREMAINDER 4 10Q)
4)
(CKEQ (ITIMES 4 10Q)
40Q)
(CKEQ (IQUOTIENT -4 1)
-4)
(CKEQ (IREMAINDER -4 1)
0)
(CKEQ (ITIMES -4 1)
-4)
(CKEQ (IQUOTIENT -4 10Q)
0)
(CKEQ (IREMAINDER -4 10Q)
-4)
(CKEQ (ITIMES -4 10Q)
-40Q))))
(!RANDNUMTEST
(LAMBDA NIL (* lmm " 5-JAN-82 20:03")
(* (PROG (FORMS FORM ARG1 ARG2) (FRPTQ 36Q (SETQ ARG1 (SELECTQ (RAND 0 2) (0 (RAND -200000Q 177777Q))
(1 (RAND -5 5)) (RAND -20000000000Q 17777777777Q))) (SETQ ARG2 (SELECTQ (RAND 0 2) (0 (RAND -200000Q 177777Q))
(1 (RAND -5 5)) (RAND -20000000000Q 17777777777Q))) (for FN in (QUOTE (ITIMES IQUOTIENT IPLUS IDIFFERENCE
IREMAINDER)) do (COND ((OR (NEQ ARG2 0) (NEQ FN (QUOTE IQUOTIENT))) (SETQ FORM (APPLY* (PACK*
(QUOTE F) (SUBATOM FN 2 -1)) (FLOAT ARG1) (FLOAT ARG2))) (COND ((AND (FGREATERP FORM -20000000000Q)
(FLESSP FORM -20000000000Q)) (SETQ FORM (LIST FN ARG1 ARG2)) (push FORMS (LIST (QUOTE CKEQ) FORM
(EVAL FORM))))))))) (RETURN (CONS (QUOTE MTCHECKSTK) FORMS))))
(!RANDNUMTEST1)
(!RANDNUMTEST2)
(!RANDNUMTEST3)
(!RANDNUMTEST4)))
(!RANDNUMTEST1
(LAMBDA NIL (* lmm " 5-JAN-82 20:00")
(MTCHECKSTK (CKEQ (IDIFFERENCE 225103021Q -41354Q)
225144375Q)
(CKEQ (IPLUS 225103021Q -41354Q)
225041445Q)
(CKEQ (IQUOTIENT 225103021Q -41354Q)
-4351Q)
(CKEQ (IDIFFERENCE 55211Q -170231Q)
245442Q)
(CKEQ (IPLUS 55211Q -170231Q)
-113020Q)
(CKEQ (IQUOTIENT 55211Q -170231Q)
0)
(CKEQ (ITIMES 55211Q -170231Q)
-12505505741Q)
(CKEQ (IDIFFERENCE 7527556636Q 6230151670Q)
1277404746Q)
(CKEQ (IPLUS 7527556636Q 6230151670Q)
15757730526Q)
(CKEQ (IQUOTIENT 7527556636Q 6230151670Q)
1)
(CKEQ (IDIFFERENCE 46753Q 147206Q)
-100233Q)
(CKEQ (IPLUS 46753Q 147206Q)
216161Q)
(CKEQ (IQUOTIENT 46753Q 147206Q)
0)
(CKEQ (ITIMES 46753Q 147206Q)
7666761402Q)
(CKEQ (IDIFFERENCE -2102475710Q 2301345735Q)
-4404043645Q)
(CKEQ (IPLUS -2102475710Q 2301345735Q)
176650025Q)
(CKEQ (IQUOTIENT -2102475710Q 2301345735Q)
0)
(CKEQ (IDIFFERENCE -2623Q 4352565011Q)
-4352567634Q)
(CKEQ (IPLUS -2623Q 4352565011Q)
4352562166Q)
(CKEQ (IQUOTIENT -2623Q 4352565011Q)
0)
(CKEQ (IDIFFERENCE -14153253501Q -57651Q)
-14153173630Q)
(CKEQ (IPLUS -14153253501Q -57651Q)
-14153333352Q)
(CKEQ (IQUOTIENT -14153253501Q -57651Q)
202545Q)
(CKEQ (IDIFFERENCE 165526Q 2720657437Q)
-2720471711Q)
(CKEQ (IPLUS 165526Q 2720657437Q)
2721045165Q)
(CKEQ (IQUOTIENT 165526Q 2720657437Q)
0)
(CKEQ (IDIFFERENCE 2225143040Q 64675Q)
2225056143Q)
(CKEQ (IPLUS 2225143040Q 64675Q)
2225227735Q)
(CKEQ (IQUOTIENT 2225143040Q 64675Q)
26141Q)
(CKEQ (IPLUS -12315334401Q 14120673261Q)
1603336660Q)
(CKEQ (IQUOTIENT -12315334401Q 14120673261Q)
0)
(CKEQ (IDIFFERENCE -10505775255Q 163226Q)
-10506160503Q)
(CKEQ (IPLUS -10505775255Q 163226Q)
-10505612027Q)
(CKEQ (IQUOTIENT -10505775255Q 163226Q)
-46265Q)
(CKEQ (IDIFFERENCE 122271Q 173021Q)
-50530Q)
(CKEQ (IPLUS 122271Q 173021Q)
315312Q)
(CKEQ (IQUOTIENT 122271Q 173021Q)
0)
(CKEQ (IDIFFERENCE 16047667244Q -135273Q)
16050024537Q)
(CKEQ (IPLUS 16047667244Q -135273Q)
16047531751Q)
(CKEQ (IQUOTIENT 16047667244Q -135273Q)
-115146Q)
(CKEQ (IDIFFERENCE -16411515370Q 21036Q)
-16411536426Q)
(CKEQ (IPLUS -16411515370Q 21036Q)
-16411474332Q)
(CKEQ (IQUOTIENT -16411515370Q 21036Q)
-663613Q)
(CKEQ (IDIFFERENCE -11057170232Q -34634Q)
-11057133376Q)
(CKEQ (IPLUS -11057170232Q -34634Q)
-11057225066Q)
(CKEQ (IQUOTIENT -11057170232Q -34634Q)
241472Q)
(CKEQ (IPLUS 14517530732Q -6065652751Q)
6431655761Q)
(CKEQ (IQUOTIENT 14517530732Q -6065652751Q)
-2)
(CKEQ (IDIFFERENCE 137044Q -4034725370Q)
4035064434Q)
(CKEQ (IPLUS 137044Q -4034725370Q)
-4034566324Q)
(CKEQ (IQUOTIENT 137044Q -4034725370Q)
0)
(CKEQ (IDIFFERENCE -14543070643Q -1302005044Q)
-13241063577Q)
(CKEQ (IPLUS -14543070643Q -1302005044Q)
-16045075707Q)
(CKEQ (IQUOTIENT -14543070643Q -1302005044Q)
11Q)
(CKEQ (IDIFFERENCE 14210657030Q 16531056111Q)
-2320177061Q)
(CKEQ (IQUOTIENT 14210657030Q 16531056111Q)
0)
(CKEQ (IDIFFERENCE 550212747Q 1055626226Q)
-305413257Q)
(CKEQ (IPLUS 550212747Q 1055626226Q)
1626041175Q)
(CKEQ (IQUOTIENT 550212747Q 1055626226Q)
0)
(CKEQ (IDIFFERENCE -11131703146Q -11764360741Q)
632455573Q)
(CKEQ (IQUOTIENT -11131703146Q -11764360741Q)
0)
(CKEQ (IDIFFERENCE 1541425342Q 12472345535Q)
-10730720173Q)
(CKEQ (IPLUS 1541425342Q 12472345535Q)
14233773077Q)
(CKEQ (IQUOTIENT 1541425342Q 12472345535Q)
0)
(CKEQ (IDIFFERENCE -15531366430Q -100526Q)
-15531265702Q)
(CKEQ (IPLUS -15531366430Q -100526Q)
-15531467156Q)
(CKEQ (IQUOTIENT -15531366430Q -100526Q)
154211Q)
(CKEQ (IDIFFERENCE -41050Q -326400641Q)
326337571Q)
(CKEQ (IPLUS -41050Q -326400641Q)
-326441711Q)
(CKEQ (IQUOTIENT -41050Q -326400641Q)
0)
(CKEQ (IPLUS 16630056316Q -13347047476Q)
3261006620Q)
(CKEQ (IQUOTIENT 16630056316Q -13347047476Q)
-1)
(CKEQ (IDIFFERENCE -31740Q -6001042052Q)
6001010112Q)
(CKEQ (IPLUS -31740Q -6001042052Q)
-6001074012Q)
(CKEQ (IQUOTIENT -31740Q -6001042052Q)
0)
(CKEQ (IDIFFERENCE -110217Q -12653617250Q)
12653507031Q)
(CKEQ (IPLUS -110217Q -12653617250Q)
-12653727467Q)
(CKEQ (IQUOTIENT -110217Q -12653617250Q)
0)
(CKEQ (IDIFFERENCE 116216Q 2453154032Q)
-2453035614Q)
(CKEQ (IPLUS 116216Q 2453154032Q)
2453272250Q)
(CKEQ (IQUOTIENT 116216Q 2453154032Q)
0)
(CKEQ (IDIFFERENCE 4553332136Q -4142306347Q)
10715640505Q)
(CKEQ (IPLUS 4553332136Q -4142306347Q)
411023567Q)
(CKEQ (IQUOTIENT 4553332136Q -4142306347Q)
-1)
(CKEQ (IPLUS 17161754144Q -3270231756Q)
13671522166Q)
(CKEQ (IQUOTIENT 17161754144Q -3270231756Q)
-4))))
(!RANDNUMTEST2
(LAMBDA NIL (* lmm " 5-JAN-82 20:01")
(MTCHECKSTK (CKEQ (IREMAINDER 7372147664Q -161456Q)
64130Q)
(CKEQ (IDIFFERENCE 7372147664Q -161456Q)
7372331342Q)
(CKEQ (IPLUS 7372147664Q -161456Q)
7371766206Q)
(CKEQ (IQUOTIENT 7372147664Q -161456Q)
-41602Q)
(CKEQ (IREMAINDER 17634621231Q -146562Q)
124171Q)
(CKEQ (IDIFFERENCE 17634621231Q -146562Q)
17634770013Q)
(CKEQ (IPLUS 17634621231Q -146562Q)
17634452447Q)
(CKEQ (IQUOTIENT 17634621231Q -146562Q)
-116620Q)
(CKEQ (IREMAINDER -117002Q 11327523020Q)
-117002Q)
(CKEQ (IDIFFERENCE -117002Q 11327523020Q)
-11327642022Q)
(CKEQ (IPLUS -117002Q 11327523020Q)
11327404016Q)
(CKEQ (IQUOTIENT -117002Q 11327523020Q)
0)
(CKEQ (IREMAINDER 7040503561Q 5360767723Q)
1457513636Q)
(CKEQ (IDIFFERENCE 7040503561Q 5360767723Q)
1457513636Q)
(CKEQ (IPLUS 7040503561Q 5360767723Q)
14421473504Q)
(CKEQ (IQUOTIENT 7040503561Q 5360767723Q)
1)
(CKEQ (IREMAINDER 2701423332Q -17633736657Q)
2701423332Q)
(CKEQ (IPLUS 2701423332Q -17633736657Q)
-14732313325Q)
(CKEQ (IQUOTIENT 2701423332Q -17633736657Q)
0)
(CKEQ (IREMAINDER -15075426141Q 53650Q)
-15721Q)
(CKEQ (IDIFFERENCE -15075426141Q 53650Q)
-15075502011Q)
(CKEQ (IPLUS -15075426141Q 53650Q)
-15075352271Q)
(CKEQ (IQUOTIENT -15075426141Q 53650Q)
-231212Q)
(CKEQ (IREMAINDER 11564140373Q 5167Q)
3101Q)
(CKEQ (IDIFFERENCE 11564140373Q 5167Q)
11564133204Q)
(CKEQ (IPLUS 11564140373Q 5167Q)
11564145562Q)
(CKEQ (IQUOTIENT 11564140373Q 5167Q)
1667626Q)
(CKEQ (IREMAINDER -766157106Q 11221047643Q)
-766157106Q)
(CKEQ (IDIFFERENCE -766157106Q 11221047643Q)
-12207226751Q)
(CKEQ (IPLUS -766157106Q 11221047643Q)
10232670535Q)
(CKEQ (IQUOTIENT -766157106Q 11221047643Q)
0)
(CKEQ (IREMAINDER -134743Q -10243Q)
-1342Q)
(CKEQ (IDIFFERENCE -134743Q -10243Q)
-124500Q)
(CKEQ (IPLUS -134743Q -10243Q)
-145206Q)
(CKEQ (IQUOTIENT -134743Q -10243Q)
13Q)
(CKEQ (ITIMES -134743Q -10243Q)
1405105611Q)
(CKEQ (IREMAINDER 156361Q 44021Q)
2276Q)
(CKEQ (IDIFFERENCE 156361Q 44021Q)
112340Q)
(CKEQ (IPLUS 156361Q 44021Q)
222402Q)
(CKEQ (IQUOTIENT 156361Q 44021Q)
3)
(CKEQ (ITIMES 156361Q 44021Q)
7614472001Q)
(CKEQ (IREMAINDER -7606212052Q -12463650767Q)
-7606212052Q)
(CKEQ (IDIFFERENCE -7606212052Q -12463650767Q)
2655436715Q)
(CKEQ (IQUOTIENT -7606212052Q -12463650767Q)
0)
(CKEQ (IREMAINDER -23644Q 2024103014Q)
-23644Q)
(CKEQ (IDIFFERENCE -23644Q 2024103014Q)
-2024126660Q)
(CKEQ (IPLUS -23644Q 2024103014Q)
2024057150Q)
(CKEQ (IQUOTIENT -23644Q 2024103014Q)
0)
(CKEQ (IREMAINDER 142402Q -11771213026Q)
142402Q)
(CKEQ (IDIFFERENCE 142402Q -11771213026Q)
11771355430Q)
(CKEQ (IPLUS 142402Q -11771213026Q)
-11771050424Q)
(CKEQ (IQUOTIENT 142402Q -11771213026Q)
0)
(CKEQ (IREMAINDER 137211Q 123321Q)
13670Q)
(CKEQ (IDIFFERENCE 137211Q 123321Q)
13670Q)
(CKEQ (IPLUS 137211Q 123321Q)
262532Q)
(CKEQ (IQUOTIENT 137211Q 123321Q)
1)
(CKEQ (ITIMES 137211Q 123321Q)
17412061731Q)
(CKEQ (IREMAINDER -203262767Q 163647Q)
-107633Q)
(CKEQ (IDIFFERENCE -203262767Q 163647Q)
-203446636Q)
(CKEQ (IPLUS -203262767Q 163647Q)
-203077120Q)
(CKEQ (IQUOTIENT -203262767Q 163647Q)
-1104Q)
(CKEQ (IREMAINDER -6313474405Q 6752273462Q)
-6313474405Q)
(CKEQ (IDIFFERENCE -6313474405Q 6752273462Q)
-15265770067Q)
(CKEQ (IPLUS -6313474405Q 6752273462Q)
436577055Q)
(CKEQ (IQUOTIENT -6313474405Q 6752273462Q)
0)
(CKEQ (IREMAINDER -14063014353Q 113451Q)
-72715Q)
(CKEQ (IDIFFERENCE -14063014353Q 113451Q)
-14063130024Q)
(CKEQ (IPLUS -14063014353Q 113451Q)
-14062700702Q)
(CKEQ (IQUOTIENT -14063014353Q 113451Q)
-121756Q)
(CKEQ (IREMAINDER 10227145055Q 6462363731Q)
1544561124Q)
(CKEQ (IDIFFERENCE 10227145055Q 6462363731Q)
1544561124Q)
(CKEQ (IPLUS 10227145055Q 6462363731Q)
16711531006Q)
(CKEQ (IQUOTIENT 10227145055Q 6462363731Q)
1)
(CKEQ (IREMAINDER -75324Q 175652Q)
-75324Q)
(CKEQ (IDIFFERENCE -75324Q 175652Q)
-273176Q)
(CKEQ (IPLUS -75324Q 175652Q)
100326Q)
(CKEQ (IQUOTIENT -75324Q 175652Q)
0)
(CKEQ (ITIMES -75324Q 175652Q)
-17057666310Q)
(CKEQ (IREMAINDER 115610Q 11164020356Q)
115610Q)
(CKEQ (IDIFFERENCE 115610Q 11164020356Q)
-11163702546Q)
(CKEQ (IPLUS 115610Q 11164020356Q)
11164136166Q)
(CKEQ (IQUOTIENT 115610Q 11164020356Q)
0)
(CKEQ (IREMAINDER -31121Q 161167Q)
-31121Q)
(CKEQ (IDIFFERENCE -31121Q 161167Q)
-212310Q)
(CKEQ (IPLUS -31121Q 161167Q)
130046Q)
(CKEQ (IQUOTIENT -31121Q 161167Q)
0)
(CKEQ (ITIMES -31121Q 161167Q)
-5440562647Q)
(CKEQ (IREMAINDER -1077046130Q 2302031512Q)
-1077046130Q)
(CKEQ (IDIFFERENCE -1077046130Q 2302031512Q)
-3401077642Q)
(CKEQ (IPLUS -1077046130Q 2302031512Q)
1202763362Q)
(CKEQ (IQUOTIENT -1077046130Q 2302031512Q)
0)
(CKEQ (IREMAINDER 162464Q 5724142525Q)
162464Q)
(CKEQ (IDIFFERENCE 162464Q 5724142525Q)
-5723760041Q)
(CKEQ (IPLUS 162464Q 5724142525Q)
5724325211Q)
(CKEQ (IQUOTIENT 162464Q 5724142525Q)
0)
(CKEQ (IREMAINDER -16247235274Q 2154207235Q)
-1035561416Q)
(CKEQ (IPLUS -16247235274Q 2154207235Q)
-14073026037Q)
(CKEQ (IQUOTIENT -16247235274Q 2154207235Q)
-6)
(CKEQ (IREMAINDER -2773332645Q 145350Q)
-75045Q)
(CKEQ (IDIFFERENCE -2773332645Q 145350Q)
-2773500215Q)
(CKEQ (IPLUS -2773332645Q 145350Q)
-2773165275Q)
(CKEQ (IQUOTIENT -2773332645Q 145350Q)
-17060Q)
(CKEQ (IREMAINDER -30761Q -26031Q)
-2730Q)
(CKEQ (IDIFFERENCE -30761Q -26031Q)
-2730Q)
(CKEQ (IPLUS -30761Q -26031Q)
-57012Q)
(CKEQ (IQUOTIENT -30761Q -26031Q)
1)
(CKEQ (ITIMES -30761Q -26031Q)
1046446211Q)
(CKEQ (IREMAINDER -70373Q -115660Q)
-70373Q)
(CKEQ (IDIFFERENCE -70373Q -115660Q)
25265Q)
(CKEQ (IPLUS -70373Q -115660Q)
-206253Q)
(CKEQ (IQUOTIENT -70373Q -115660Q)
0)
(CKEQ (ITIMES -70373Q -115660Q)
10455322620Q)
(CKEQ (IREMAINDER -161501Q -106613Q)
-52666Q)
(CKEQ (IDIFFERENCE -161501Q -106613Q)
-52666Q)
(CKEQ (IPLUS -161501Q -106613Q)
-270314Q)
(CKEQ (IQUOTIENT -161501Q -106613Q)
1)
(CKEQ (ITIMES -161501Q -106613Q)
17551430513Q)
(CKEQ (IREMAINDER -37733Q 6613741611Q)
-37733Q)
(CKEQ (IDIFFERENCE -37733Q 6613741611Q)
-6614001544Q)
(CKEQ (IPLUS -37733Q 6613741611Q)
6613701656Q)
(CKEQ (IQUOTIENT -37733Q 6613741611Q)
0)
(CKEQ (IREMAINDER 5403313261Q 170515Q)
106045Q)
(CKEQ (IDIFFERENCE 5403313261Q 170515Q)
5403122544Q)
(CKEQ (IPLUS 5403313261Q 170515Q)
5403503776Q)
(CKEQ (IQUOTIENT 5403313261Q 170515Q)
27274Q))))
(!RANDNUMTEST3
(LAMBDA NIL (* lmm " 5-JAN-82 20:02")
(MTCHECKSTK (CKEQ (IREMAINDER 7362115002Q 33052Q)
12214Q)
(CKEQ (IDIFFERENCE 7362115002Q 33052Q)
7362061730Q)
(CKEQ (IPLUS 7362115002Q 33052Q)
7362150054Q)
(CKEQ (IQUOTIENT 7362115002Q 33052Q)
215217Q)
(CKEQ (IREMAINDER 156125Q -77040Q)
57065Q)
(CKEQ (IDIFFERENCE 156125Q -77040Q)
255165Q)
(CKEQ (IPLUS 156125Q -77040Q)
57065Q)
(CKEQ (IQUOTIENT 156125Q -77040Q)
-1)
(CKEQ (ITIMES 156125Q -77040Q)
-15443260240Q)
(CKEQ (IREMAINDER 17144576471Q 63524Q)
36051Q)
(CKEQ (IDIFFERENCE 17144576471Q 63524Q)
17144512745Q)
(CKEQ (IPLUS 17144576471Q 63524Q)
17144662215Q)
(CKEQ (IQUOTIENT 17144576471Q 63524Q)
226464Q)
(CKEQ (IREMAINDER -1004475702Q -3747655621Q)
-1004475702Q)
(CKEQ (IDIFFERENCE -1004475702Q -3747655621Q)
2743157717Q)
(CKEQ (IPLUS -1004475702Q -3747655621Q)
-4754353523Q)
(CKEQ (IQUOTIENT -1004475702Q -3747655621Q)
0)
(CKEQ (IREMAINDER 7154Q 74266Q)
7154Q)
(CKEQ (IDIFFERENCE 7154Q 74266Q)
-65112Q)
(CKEQ (IPLUS 7154Q 74266Q)
103442Q)
(CKEQ (IQUOTIENT 7154Q 74266Q)
0)
(CKEQ (ITIMES 7154Q 74266Q)
663160310Q)
(CKEQ (IREMAINDER 14551535630Q -16006147276Q)
14551535630Q)
(CKEQ (IPLUS 14551535630Q -16006147276Q)
-1234411446Q)
(CKEQ (IQUOTIENT 14551535630Q -16006147276Q)
0)
(CKEQ (IREMAINDER -7700724341Q -13323635271Q)
-7700724341Q)
(CKEQ (IDIFFERENCE -7700724341Q -13323635271Q)
3422710730Q)
(CKEQ (IQUOTIENT -7700724341Q -13323635271Q)
0)
(CKEQ (IREMAINDER -130016Q -37545Q)
-30504Q)
(CKEQ (IDIFFERENCE -130016Q -37545Q)
-70251Q)
(CKEQ (IPLUS -130016Q -37545Q)
-167563Q)
(CKEQ (IQUOTIENT -130016Q -37545Q)
2)
(CKEQ (ITIMES -130016Q -37545Q)
5346163606Q)
(CKEQ (IREMAINDER 145065Q 142234Q)
2631Q)
(CKEQ (IDIFFERENCE 145065Q 142234Q)
2631Q)
(CKEQ (IPLUS 145065Q 142234Q)
307321Q)
(CKEQ (IQUOTIENT 145065Q 142234Q)
1)
(CKEQ (IREMAINDER -114603Q 54774426Q)
-114603Q)
(CKEQ (IDIFFERENCE -114603Q 54774426Q)
-55111231Q)
(CKEQ (IPLUS -114603Q 54774426Q)
54657623Q)
(CKEQ (IQUOTIENT -114603Q 54774426Q)
0)
(CKEQ (IREMAINDER 12673322761Q -11447432721Q)
1223670040Q)
(CKEQ (IPLUS 12673322761Q -11447432721Q)
1223670040Q)
(CKEQ (IQUOTIENT 12673322761Q -11447432721Q)
-1)
(CKEQ (IREMAINDER -173542Q -65615Q)
-20110Q)
(CKEQ (IDIFFERENCE -173542Q -65615Q)
-105725Q)
(CKEQ (IPLUS -173542Q -65615Q)
-261357Q)
(CKEQ (IQUOTIENT -173542Q -65615Q)
2)
(CKEQ (ITIMES -173542Q -65615Q)
14773433372Q)
(CKEQ (IREMAINDER 104500Q 12532705726Q)
104500Q)
(CKEQ (IDIFFERENCE 104500Q 12532705726Q)
-12532601226Q)
(CKEQ (IPLUS 104500Q 12532705726Q)
12533012426Q)
(CKEQ (IQUOTIENT 104500Q 12532705726Q)
0)
(CKEQ (IREMAINDER 70447Q -45711Q)
22536Q)
(CKEQ (IDIFFERENCE 70447Q -45711Q)
136360Q)
(CKEQ (IPLUS 70447Q -45711Q)
22536Q)
(CKEQ (IQUOTIENT 70447Q -45711Q)
-1)
(CKEQ (ITIMES 70447Q -45711Q)
-4137642237Q)
(CKEQ (IREMAINDER 157014Q 6410506327Q)
157014Q)
(CKEQ (IDIFFERENCE 157014Q 6410506327Q)
-6410327313Q)
(CKEQ (IPLUS 157014Q 6410506327Q)
6410665343Q)
(CKEQ (IQUOTIENT 157014Q 6410506327Q)
0)
(CKEQ (IREMAINDER -5531662541Q 33210Q)
-22461Q)
(CKEQ (IDIFFERENCE -5531662541Q 33210Q)
-5531715751Q)
(CKEQ (IPLUS -5531662541Q 33210Q)
-5531627331Q)
(CKEQ (IQUOTIENT -5531662541Q 33210Q)
-152446Q)
(CKEQ (IREMAINDER -757266226Q -155715Q)
-122057Q)
(CKEQ (IDIFFERENCE -757266226Q -155715Q)
-757110311Q)
(CKEQ (IPLUS -757266226Q -155715Q)
-757444143Q)
(CKEQ (IQUOTIENT -757266226Q -155715Q)
4403Q)
(CKEQ (IREMAINDER 12561101665Q 6715622627Q)
3643257036Q)
(CKEQ (IDIFFERENCE 12561101665Q 6715622627Q)
3643257036Q)
(CKEQ (IQUOTIENT 12561101665Q 6715622627Q)
1)
(CKEQ (IREMAINDER 36575Q -146507Q)
36575Q)
(CKEQ (IDIFFERENCE 36575Q -146507Q)
205304Q)
(CKEQ (IPLUS 36575Q -146507Q)
-107712Q)
(CKEQ (IQUOTIENT 36575Q -146507Q)
0)
(CKEQ (ITIMES 36575Q -146507Q)
-6123423253Q)
(CKEQ (IREMAINDER 43155Q 125453Q)
43155Q)
(CKEQ (IDIFFERENCE 43155Q 125453Q)
-62276Q)
(CKEQ (IPLUS 43155Q 125453Q)
170630Q)
(CKEQ (IQUOTIENT 43155Q 125453Q)
0)
(CKEQ (ITIMES 43155Q 125453Q)
5705521517Q)
(CKEQ (IREMAINDER -13215101247Q 3476554023Q)
-320775156Q)
(CKEQ (IDIFFERENCE -13215101247Q 3476554023Q)
-16713655272Q)
(CKEQ (IPLUS -13215101247Q 3476554023Q)
-7516325224Q)
(CKEQ (IQUOTIENT -13215101247Q 3476554023Q)
-3)
(CKEQ (IREMAINDER 163010Q 13235743316Q)
163010Q)
(CKEQ (IDIFFERENCE 163010Q 13235743316Q)
-13235560306Q)
(CKEQ (IPLUS 163010Q 13235743316Q)
13236126326Q)
(CKEQ (IQUOTIENT 163010Q 13235743316Q)
0)
(CKEQ (IREMAINDER 13003244144Q -173327Q)
140535Q)
(CKEQ (IDIFFERENCE 13003244144Q -173327Q)
13003437473Q)
(CKEQ (IPLUS 13003244144Q -173327Q)
13003050615Q)
(CKEQ (IQUOTIENT 13003244144Q -173327Q)
-55521Q)
(CKEQ (IREMAINDER -46215Q 12704061362Q)
-46215Q)
(CKEQ (IDIFFERENCE -46215Q 12704061362Q)
-12704127577Q)
(CKEQ (IPLUS -46215Q 12704061362Q)
12704013145Q)
(CKEQ (IQUOTIENT -46215Q 12704061362Q)
0)
(CKEQ (IREMAINDER -2241Q -4264546202Q)
-2241Q)
(CKEQ (IDIFFERENCE -2241Q -4264546202Q)
4264543741Q)
(CKEQ (IPLUS -2241Q -4264546202Q)
-4264550443Q)
(CKEQ (IQUOTIENT -2241Q -4264546202Q)
0)
(CKEQ (IREMAINDER -20207Q 17333457066Q)
-20207Q)
(CKEQ (IDIFFERENCE -20207Q 17333457066Q)
-17333477275Q)
(CKEQ (IPLUS -20207Q 17333457066Q)
17333436657Q)
(CKEQ (IQUOTIENT -20207Q 17333457066Q)
0)
(CKEQ (IREMAINDER -6472607512Q 3122034574Q)
-226516122Q)
(CKEQ (IDIFFERENCE -6472607512Q 3122034574Q)
-11614644306Q)
(CKEQ (IPLUS -6472607512Q 3122034574Q)
-3350552716Q)
(CKEQ (IQUOTIENT -6472607512Q 3122034574Q)
-2)
(CKEQ (IREMAINDER -157453Q 15475670672Q)
-157453Q)
(CKEQ (IDIFFERENCE -157453Q 15475670672Q)
-15476050345Q)
(CKEQ (IPLUS -157453Q 15475670672Q)
15475511217Q)
(CKEQ (IQUOTIENT -157453Q 15475670672Q)
0)
(CKEQ (IREMAINDER -102550Q 5520722570Q)
-102550Q)
(CKEQ (IDIFFERENCE -102550Q 5520722570Q)
-5521025340Q)
(CKEQ (IPLUS -102550Q 5520722570Q)
5520620020Q)
(CKEQ (IQUOTIENT -102550Q 5520722570Q)
0)
(CKEQ (IREMAINDER 115632Q -13773705461Q)
115632Q)
(CKEQ (IDIFFERENCE 115632Q -13773705461Q)
13774023313Q)
(CKEQ (IPLUS 115632Q -13773705461Q)
-13773567627Q)
(CKEQ (IQUOTIENT 115632Q -13773705461Q)
0))))
(!RANDNUMTEST4
(LAMBDA NIL (* lmm "19-Jul-84 18:02")
(MTCHECKSTK (CKEQ (IREMAINDER 46416Q 73661Q)
46416Q)
(CKEQ (IDIFFERENCE 46416Q 73661Q)
-25243Q)
(CKEQ (IPLUS 46416Q 73661Q)
142277Q)
(CKEQ (IQUOTIENT 46416Q 73661Q)
0)
(CKEQ (ITIMES 46416Q 73661Q)
4401544256Q)
(CKEQ (IREMAINDER -165357Q -15133072242Q)
-165357Q)
(CKEQ (IDIFFERENCE -165357Q -15133072242Q)
15132704663Q)
(CKEQ (IPLUS -165357Q -15133072242Q)
-15133257621Q)
(CKEQ (IQUOTIENT -165357Q -15133072242Q)
0)
(CKEQ (IREMAINDER -4052Q 622430174Q)
-4052Q)
(CKEQ (IDIFFERENCE -4052Q 622430174Q)
-622434246Q)
(CKEQ (IPLUS -4052Q 622430174Q)
622424122Q)
(CKEQ (IQUOTIENT -4052Q 622430174Q)
0)
(CKEQ (IREMAINDER -10566613407Q 6004741132Q)
-2561652255Q)
(CKEQ (IDIFFERENCE -10566613407Q 6004741132Q)
-16573554541Q)
(CKEQ (IPLUS -10566613407Q 6004741132Q)
-2561652255Q)
(CKEQ (IQUOTIENT -10566613407Q 6004741132Q)
-1)
(CKEQ (IREMAINDER -2 -4)
-2)
(CKEQ (IDIFFERENCE -2 -4)
2)
(CKEQ (IPLUS -2 -4)
-6)
(CKEQ (IQUOTIENT -2 -4)
0)
(CKEQ (ITIMES -2 -4)
10Q)
(CKEQ (IREMAINDER 162662613Q -6300165562Q)
162662613Q)
(CKEQ (IDIFFERENCE 162662613Q -6300165562Q)
6463050375Q)
(CKEQ (IPLUS 162662613Q -6300165562Q)
-6115302747Q)
(CKEQ (IQUOTIENT 162662613Q -6300165562Q)
0)
(CKEQ (IREMAINDER -2 3)
-2)
(CKEQ (IDIFFERENCE -2 3)
-5)
(CKEQ (IPLUS -2 3)
1)
(CKEQ (IQUOTIENT -2 3)
0)
(CKEQ (ITIMES -2 3)
-6)
(CKEQ (IREMAINDER -16047Q -171315Q)
-16047Q)
(CKEQ (IDIFFERENCE -16047Q -171315Q)
153246Q)
(CKEQ (IPLUS -16047Q -171315Q)
-207364Q)
(CKEQ (IQUOTIENT -16047Q -171315Q)
0)
(CKEQ (ITIMES -16047Q -171315Q)
3254664473Q)
(CKEQ (IPLUS -4510035224Q 0)
-4510035224Q)
(CKEQ (ITIMES -4510035224Q 0)
0)
(CKEQ (IREMAINDER 4 167331711Q)
4)
(CKEQ (IDIFFERENCE 4 167331711Q)
-167331705Q)
(CKEQ (IPLUS 4 167331711Q)
167331715Q)
(CKEQ (IQUOTIENT 4 167331711Q)
0)
(CKEQ (ITIMES 4 167331711Q)
735547444Q)
(CKEQ (IREMAINDER 10175626173Q -15244050032Q)
10175626173Q)
(CKEQ (IPLUS 10175626173Q -15244050032Q)
-5046221637Q)
(CKEQ (IQUOTIENT 10175626173Q -15244050032Q)
0)
(CKEQ (IREMAINDER -1771422055Q 16116655424Q)
-1771422055Q)
(CKEQ (IPLUS -1771422055Q 16116655424Q)
14125233347Q)
(CKEQ (IQUOTIENT -1771422055Q 16116655424Q)
0)
(CKEQ (IREMAINDER -5 -2)
-1)
(CKEQ (IDIFFERENCE -5 -2)
-3)
(CKEQ (IPLUS -5 -2)
-7)
(CKEQ (IQUOTIENT -5 -2)
2)
(CKEQ (ITIMES -5 -2)
12Q)
(CKEQ (IREMAINDER -13001Q -125515Q)
-13001Q)
(CKEQ (IDIFFERENCE -13001Q -125515Q)
112514Q)
(CKEQ (IPLUS -13001Q -125515Q)
-140516Q)
(CKEQ (IQUOTIENT -13001Q -125515Q)
0)
(CKEQ (ITIMES -13001Q -125515Q)
1656244515Q)
(CKEQ (IREMAINDER -166401Q -7027Q)
-5621Q)
(CKEQ (IDIFFERENCE -166401Q -7027Q)
-157352Q)
(CKEQ (IPLUS -166401Q -7027Q)
-175430Q)
(CKEQ (IQUOTIENT -166401Q -7027Q)
20Q)
(CKEQ (ITIMES -166401Q -7027Q)
1502654427Q)
(CKEQ (IREMAINDER 4257756512Q -127717Q)
56223Q)
(CKEQ (IDIFFERENCE 4257756512Q -127717Q)
4260106431Q)
(CKEQ (IPLUS 4257756512Q -127717Q)
4257626573Q)
(CKEQ (IQUOTIENT 4257756512Q -127717Q)
-31231Q)
(CKEQ (IREMAINDER 4 -5)
4)
(CKEQ (IDIFFERENCE 4 -5)
11Q)
(CKEQ (IPLUS 4 -5)
-1)
(CKEQ (IQUOTIENT 4 -5)
0)
(CKEQ (ITIMES 4 -5)
-24Q)
(CKEQ (IREMAINDER 146317Q 5230002636Q)
146317Q)
(CKEQ (IDIFFERENCE 146317Q 5230002636Q)
-5227634317Q)
(CKEQ (IPLUS 146317Q 5230002636Q)
5230151155Q)
(CKEQ (IQUOTIENT 146317Q 5230002636Q)
0)
(CKEQ (IREMAINDER 10650Q -66166Q)
10650Q)
(CKEQ (IDIFFERENCE 10650Q -66166Q)
77036Q)
(CKEQ (IPLUS 10650Q -66166Q)
-55316Q)
(CKEQ (IQUOTIENT 10650Q -66166Q)
0)
(CKEQ (ITIMES 10650Q -66166Q)
-736601560Q)
(CKEQ (IREMAINDER -5 -32766Q)
-5)
(CKEQ (IDIFFERENCE -5 -32766Q)
32761Q)
(CKEQ (IPLUS -5 -32766Q)
-32773Q)
(CKEQ (IQUOTIENT -5 -32766Q)
0)
(CKEQ (ITIMES -5 -32766Q)
206716Q)
(CKEQ (IREMAINDER 113703Q -2733011560Q)
113703Q)
(CKEQ (IDIFFERENCE 113703Q -2733011560Q)
2733125463Q)
(CKEQ (IPLUS 113703Q -2733011560Q)
-2732675655Q)
(CKEQ (IQUOTIENT 113703Q -2733011560Q)
0)
(CKEQ (IPLUS 1124452466Q 0)
1124452466Q)
(CKEQ (ITIMES 1124452466Q 0)
0)
(CKEQ (IDIFFERENCE -4 0)
-4)
(CKEQ (IPLUS -4 0)
-4)
(CKEQ (ITIMES -4 0)
0)
(CKEQ (IREMAINDER 1 -5061322610Q)
1)
(CKEQ (IDIFFERENCE 1 -5061322610Q)
5061322611Q)
(CKEQ (IPLUS 1 -5061322610Q)
-5061322607Q)
(CKEQ (IQUOTIENT 1 -5061322610Q)
0)
(CKEQ (ITIMES 1 -5061322610Q)
-5061322610Q)
(CKEQ (IREMAINDER 0 113566Q)
0)
(CKEQ (IDIFFERENCE 0 113566Q)
-113566Q)
(CKEQ (IPLUS 0 113566Q)
113566Q)
(CKEQ (IQUOTIENT 0 113566Q)
0)
(CKEQ (ITIMES 0 113566Q)
0)
(CKEQ (IREMAINDER -5 3)
-2)
(CKEQ (IDIFFERENCE -5 3)
-10Q)
(CKEQ (IPLUS -5 3)
-2)
(CKEQ (IQUOTIENT -5 3)
-1)
(CKEQ (ITIMES -5 3)
-17Q)
(CKEQ (IREMAINDER 5 -145277Q)
5)
(CKEQ (IDIFFERENCE 5 -145277Q)
145304Q)
(CKEQ (IPLUS 5 -145277Q)
-145272Q)
(CKEQ (IQUOTIENT 5 -145277Q)
0)
(CKEQ (ITIMES 5 -145277Q)
-772673Q)
(CKEQ (IREMAINDER 3216Q -7537760666Q)
3216Q)
(CKEQ (IDIFFERENCE 3216Q -7537760666Q)
7537764104Q)
(CKEQ (IPLUS 3216Q -7537760666Q)
-7537755450Q)
(CKEQ (IQUOTIENT 3216Q -7537760666Q)
0)
(CKEQ (IREMAINDER 4601134451Q -154036Q)
131071Q)
(CKEQ (IDIFFERENCE 4601134451Q -154036Q)
4601310507Q)
(CKEQ (IPLUS 4601134451Q -154036Q)
4600760413Q)
(CKEQ (IQUOTIENT 4601134451Q -154036Q)
-26410Q)
(CKEQ (IREMAINDER 0 2)
0)
(CKEQ (IDIFFERENCE 0 2)
-2)
(CKEQ (IPLUS 0 2)
2)
(CKEQ (IQUOTIENT 0 2)
0)
(CKEQ (ITIMES 0 2)
0))))
(!FNUMTEST
(LAMBDA NIL (* JonL " 7-Nov-84 17:57")
(!FNUMTEST1)
(!FNUMTEST2)
(!FNUMTEST3)
(!FNUMTEST4)
(!FNUMTEST5)))
(!FNUMTEST1
(LAMBDA NIL (* JonL " 7-Nov-84 16:29")
(* Some very simple cases especially involving a 16-bit
overflow)
(CKFEQ (FPLUS -65536.0 1.0)
-65535.0)
(CKFEQ (FDIFFERENCE -65536.0 1.0)
-65537.0)
(CKFEQ (FTIMES -65536.0 1.0)
-65536.0)
(CKFEQ (FQUOTIENT -65536.0 1.0)
-65536.0)
(CKFEQ (FPLUS 65535.0 0.0)
65535.0)
(CKFEQ (FDIFFERENCE 65535.0 0.0)
65535.0)
(CKFEQ (FTIMES 65535.0 0.0)
0.0)
(CKFEQ (FPLUS 65535.0 -1.0)
65534.0)
(CKFEQ (FDIFFERENCE 65535.0 -1.0)
65536.0)
(CKFEQ (FTIMES 65535.0 -1.0)
-65535.0)
(CKFEQ (FQUOTIENT 65535.0 -1.0)
-65535.0)
(CKFEQ (FPLUS 65535.0 1.0)
65536.0)
(CKFEQ (FDIFFERENCE 65535.0 1.0)
65534.0)
(CKFEQ (FTIMES 65535.0 1.0)
65535.0)
(CKFEQ (FQUOTIENT 65535.0 1.0)
65535.0)
(CKFEQ (FPLUS 0.0 -65536.0)
-65536.0)
(CKFEQ (FDIFFERENCE 0.0 -65536.0)
65536.0)
(CKFEQ (FTIMES 0.0 -65536.0)
0.0)
(CKFEQ (FQUOTIENT 0.0 -65536.0)
0.0)))
(!FNUMTEST2
(LAMBDA NIL (* JonL " 7-Nov-84 18:47")
(for I F FORM from 0 to (SUB1 BITSPERCELL)
do (SETQ F (create FLOATP
FLOATCONTENTS ←(LOGXOR (MASK.1'S I 1)
(CONSTANT (fetch (FLOATP FLOATCONTENTS)
of (create FLOATP
EXPONENT ← 201Q))))))
(SETQ FORM (LIST (QUOTE FPLUS)
0.0
(CONCAT "{ 2.0 xor 2↑" I)))
(!CKFEQ (FPLUS 0.0 F)
F FORM)
(!CKFEQ (FTIMES 1.0 F)
F
(QUOTE (FTIMES 1.0 F))))))
(!FNUMTEST3
(LAMBDA NIL (* JonL " 7-Nov-84 16:32")
(* Check for coercions)
(CKFEQ (FPLUS -200000Q 1)
-65535.0)
(CKFEQ (FDIFFERENCE -200000Q 1)
-65537.0)
(CKFEQ (FTIMES -200000Q 1)
-65536.0)
(CKFEQ (FQUOTIENT -200000Q 1)
-65536.0)
(CKFEQ (FPLUS -65536.0 1)
-65535.0)
(CKFEQ (FDIFFERENCE -65536.0 1)
-65537.0)
(CKFEQ (FTIMES -65536.0 1)
-65536.0)
(CKFEQ (FQUOTIENT -65536.0 1)
-65536.0)
(CKFEQ (FPLUS -200000Q 1.0)
-65535.0)
(CKFEQ (FDIFFERENCE -200000Q 1.0)
-65537.0)
(CKFEQ (FTIMES -200000Q 1.0)
-65536.0)
(CKFEQ (FQUOTIENT -200000Q 1.0)
-65536.0)))
(!FNUMTEST4
(LAMBDA NIL (* JonL " 7-Nov-84 20:58")
(* Some random kludgy number tests)
(!CKFEQ (FPLUS 1.234568 1.111111)
2.345679
(QUOTE (FPLUS 1.234568 1.111111)))
(!CKFEQ (FPLUS (DEFERREDCONSTANT (create FLOATP
FLOATCONTENTS ← 7747403121Q))
1.111111)
(DEFERREDCONSTANT (create FLOATP
FLOATCONTENTS ← 10005417632Q))
(QUOTE (FPLUS "1.2345678" 1.111111)))))
(!FNUMTEST5
(LAMBDA NIL (* JonL " 7-Nov-84 16:33")
(* Check out the comparators)
(MTCHECK (FGREATERP 1.0 0.0))
(MTCHECK (NOT (FGREATERP -1.0 0.0)))))
(!MIXNUMTEST
[LAMBDA NIL (* lmm "19-Jul-84 18:07")
(!RANDNUMTEST)
(PROGN (CKEQ (DIFFERENCE -200000Q -200000Q)
0)
(CKEQ (PLUS -200000Q -200000Q)
-400000Q)
(CKEQ (QUOTIENT -200000Q -200000Q)
1)
(CKEQ (DIFFERENCE -200000Q 177777Q)
-377777Q)
(CKEQ (PLUS -200000Q 177777Q)
-1)
(CKEQ (QUOTIENT -200000Q 177777Q)
-1)
(CKFEQ (DIFFERENCE -200000Q 0.0)
-65536.0)
(CKFEQ (TIMES -200000Q 0.0)
0.0)
(CKFEQ (PLUS -200000Q 0.0)
-65536.0)
(CKEQ (DIFFERENCE -200000Q 0)
-200000Q)
(CKEQ (TIMES -200000Q 0)
0)
(CKEQ (PLUS -200000Q 0)
-200000Q)
(CKEQ (DIFFERENCE -200000Q 3)
-200003Q)
(CKEQ (TIMES -200000Q 3)
-600000Q)
(CKEQ (PLUS -200000Q 3)
-177775Q)
(CKEQ (QUOTIENT -200000Q 3)
-52525Q)
(CKFEQ (DIFFERENCE -200000Q -1.0)
-65535.0)
(CKFEQ (TIMES -200000Q -1.0)
65536.0)
(CKFEQ (PLUS -200000Q -1.0)
-65537.0)
(CKFEQ (QUOTIENT -200000Q -1.0)
65536.0)
(CKEQ (DIFFERENCE -200000Q -1)
-177777Q)
(CKEQ (TIMES -200000Q -1)
200000Q)
(CKEQ (PLUS -200000Q -1)
-200001Q)
(CKEQ (QUOTIENT -200000Q -1)
200000Q)
(CKEQ (DIFFERENCE -200000Q 2)
-200002Q)
(CKEQ (TIMES -200000Q 2)
-400000Q)
(CKEQ (PLUS -200000Q 2)
-177776Q)
(CKEQ (QUOTIENT -200000Q 2)
-100000Q)
(CKFEQ (DIFFERENCE -200000Q 1.0)
-65537.0)
(CKFEQ (TIMES -200000Q 1.0)
-65536.0)
(CKFEQ (PLUS -200000Q 1.0)
-65535.0)
(CKFEQ (QUOTIENT -200000Q 1.0)
-65536.0)
(CKEQ (DIFFERENCE -200000Q 1)
-200001Q)
(CKEQ (TIMES -200000Q 1)
-200000Q)
(CKEQ (PLUS -200000Q 1)
-177777Q)
(CKEQ (QUOTIENT -200000Q 1)
-200000Q)
(CKEQ (DIFFERENCE 177777Q -200000Q)
377777Q)
(CKEQ (PLUS 177777Q -200000Q)
-1)
(CKEQ (QUOTIENT 177777Q -200000Q)
0)
(CKEQ (DIFFERENCE 177777Q 177777Q)
0)
(CKEQ (PLUS 177777Q 177777Q)
377776Q)
(CKEQ (QUOTIENT 177777Q 177777Q)
1)
(CKFEQ (DIFFERENCE 177777Q 0.0)
65535.0)
(CKFEQ (TIMES 177777Q 0.0)
0.0)
(CKFEQ (PLUS 177777Q 0.0)
65535.0)
(CKEQ (DIFFERENCE 177777Q 0)
177777Q)
(CKEQ (TIMES 177777Q 0)
0)
(CKEQ (PLUS 177777Q 0)
177777Q)
(CKEQ (DIFFERENCE 177777Q 3)
177774Q)
(CKEQ (TIMES 177777Q 3)
577775Q)
(CKEQ (PLUS 177777Q 3)
200002Q)
(CKEQ (QUOTIENT 177777Q 3)
52525Q)
(CKFEQ (DIFFERENCE 177777Q -1.0)
65536.0)
(CKFEQ (TIMES 177777Q -1.0)
-65535.0)
(CKFEQ (PLUS 177777Q -1.0)
65534.0)
(CKFEQ (QUOTIENT 177777Q -1.0)
-65535.0)
(CKEQ (DIFFERENCE 177777Q -1)
200000Q)
(CKEQ (TIMES 177777Q -1)
-177777Q)
(CKEQ (PLUS 177777Q -1)
177776Q)
(CKEQ (QUOTIENT 177777Q -1)
-177777Q)
(CKEQ (DIFFERENCE 177777Q 2)
177775Q)
(CKEQ (TIMES 177777Q 2)
377776Q)
(CKEQ (PLUS 177777Q 2)
200001Q)
(CKEQ (QUOTIENT 177777Q 2)
77777Q)
(CKFEQ (DIFFERENCE 177777Q 1.0)
65534.0)
(CKFEQ (TIMES 177777Q 1.0)
65535.0)
(CKFEQ (PLUS 177777Q 1.0)
65536.0)
(CKFEQ (QUOTIENT 177777Q 1.0)
65535.0)
(CKEQ (DIFFERENCE 177777Q 1)
177776Q)
(CKEQ (TIMES 177777Q 1)
177777Q)
(CKEQ (PLUS 177777Q 1)
200000Q)
(CKEQ (QUOTIENT 177777Q 1)
177777Q)
(CKFEQ (DIFFERENCE 0.0 -200000Q)
65536.0)
(CKFEQ (TIMES 0.0 -200000Q)
0.0)
(CKFEQ (PLUS 0.0 -200000Q)
-65536.0)
(CKFEQ (QUOTIENT 0.0 -200000Q)
0.0)
(CKFEQ (DIFFERENCE 0.0 177777Q)
-65535.0)
(CKFEQ (TIMES 0.0 177777Q)
0.0)
(CKFEQ (PLUS 0.0 177777Q)
65535.0)
(CKFEQ (QUOTIENT 0.0 177777Q)
0.0)
(CKFEQ (DIFFERENCE 0.0 0.0)
0.0)
(CKFEQ (TIMES 0.0 0.0)
0.0)
(CKFEQ (PLUS 0.0 0.0)
0.0)
(CKFEQ (DIFFERENCE 0.0 0)
0.0)
(CKFEQ (TIMES 0.0 0)
0.0)
(CKFEQ (PLUS 0.0 0)
0.0)
(CKFEQ (DIFFERENCE 0.0 3)
-3.0)
(CKFEQ (TIMES 0.0 3)
0.0)
(CKFEQ (PLUS 0.0 3)
3.0)
(CKFEQ (QUOTIENT 0.0 3)
0.0)
(CKFEQ (DIFFERENCE 0.0 -1.0)
1.0)
(CKFEQ (TIMES 0.0 -1.0)
0.0)
(CKFEQ (PLUS 0.0 -1.0)
-1.0)
(CKFEQ (QUOTIENT 0.0 -1.0)
0.0)
(CKFEQ (DIFFERENCE 0.0 -1)
1.0)
(CKFEQ (TIMES 0.0 -1)
0.0)
(CKFEQ (PLUS 0.0 -1)
-1.0)
(CKFEQ (QUOTIENT 0.0 -1)
0.0)
(CKFEQ (DIFFERENCE 0.0 2)
-2.0)
(CKFEQ (TIMES 0.0 2)
0.0)
(CKFEQ (PLUS 0.0 2)
2.0)
(CKFEQ (QUOTIENT 0.0 2)
0.0)
(CKFEQ (DIFFERENCE 0.0 1.0)
-1.0)
(CKFEQ (TIMES 0.0 1.0)
0.0)
(CKFEQ (PLUS 0.0 1.0)
1.0)
(CKFEQ (QUOTIENT 0.0 1.0)
0.0)
(CKFEQ (DIFFERENCE 0.0 1)
-1.0)
(CKFEQ (TIMES 0.0 1)
0.0)
(CKFEQ (PLUS 0.0 1)
1.0)
(CKFEQ (QUOTIENT 0.0 1)
0.0)
(CKEQ (DIFFERENCE 0 -200000Q)
200000Q)
(CKEQ (TIMES 0 -200000Q)
0)
(CKEQ (PLUS 0 -200000Q)
-200000Q)
(CKEQ (QUOTIENT 0 -200000Q)
0)
(CKEQ (DIFFERENCE 0 177777Q)
-177777Q)
(CKEQ (TIMES 0 177777Q)
0)
(CKEQ (PLUS 0 177777Q)
177777Q)
(CKEQ (QUOTIENT 0 177777Q)
0)
(CKFEQ (DIFFERENCE 0 0.0)
0.0)
(CKFEQ (TIMES 0 0.0)
0.0)
(CKFEQ (PLUS 0 0.0)
0.0)
(CKEQ (DIFFERENCE 0 0)
0)
(CKEQ (TIMES 0 0)
0)
(CKEQ (PLUS 0 0)
0)
(CKEQ (DIFFERENCE 0 3)
-3)
(CKEQ (TIMES 0 3)
0)
(CKEQ (PLUS 0 3)
3)
(CKEQ (QUOTIENT 0 3)
0)
(CKFEQ (DIFFERENCE 0 -1.0)
1.0)
(CKFEQ (TIMES 0 -1.0)
0.0)
(CKFEQ (PLUS 0 -1.0)
-1.0)
(CKFEQ (QUOTIENT 0 -1.0)
0.0)
(CKEQ (DIFFERENCE 0 -1)
1)
(CKEQ (TIMES 0 -1)
0)
(CKEQ (PLUS 0 -1)
-1)
(CKEQ (QUOTIENT 0 -1)
0)
(CKEQ (DIFFERENCE 0 2)
-2)
(CKEQ (TIMES 0 2)
0)
(CKEQ (PLUS 0 2)
2)
(CKEQ (QUOTIENT 0 2)
0)
(CKFEQ (DIFFERENCE 0 1.0)
-1.0)
(CKFEQ (TIMES 0 1.0)
0.0)
(CKFEQ (PLUS 0 1.0)
1.0)
(CKFEQ (QUOTIENT 0 1.0)
0.0)
(CKEQ (DIFFERENCE 0 1)
-1)
(CKEQ (TIMES 0 1)
0)
(CKEQ (PLUS 0 1)
1)
(CKEQ (QUOTIENT 0 1)
0)
(CKEQ (DIFFERENCE 3 -200000Q)
200003Q)
(CKEQ (TIMES 3 -200000Q)
-600000Q)
(CKEQ (PLUS 3 -200000Q)
-177775Q)
(CKEQ (QUOTIENT 3 -200000Q)
0)
(CKEQ (DIFFERENCE 3 177777Q)
-177774Q)
(CKEQ (TIMES 3 177777Q)
577775Q)
(CKEQ (PLUS 3 177777Q)
200002Q)
(CKEQ (QUOTIENT 3 177777Q)
0)
(CKFEQ (DIFFERENCE 3 0.0)
3.0)
(CKFEQ (TIMES 3 0.0)
0.0)
(CKFEQ (PLUS 3 0.0)
3.0)
(CKEQ (DIFFERENCE 3 0)
3)
(CKEQ (TIMES 3 0)
0)
(CKEQ (PLUS 3 0)
3)
(CKEQ (DIFFERENCE 3 3)
0)
(CKEQ (TIMES 3 3)
11Q)
(CKEQ (PLUS 3 3)
6)
(CKEQ (QUOTIENT 3 3)
1)
(CKFEQ (DIFFERENCE 3 -1.0)
4.0)
(CKFEQ (TIMES 3 -1.0)
-3.0)
(CKFEQ (PLUS 3 -1.0)
2.0)
(CKFEQ (QUOTIENT 3 -1.0)
-3.0)
(CKEQ (DIFFERENCE 3 -1)
4)
(CKEQ (TIMES 3 -1)
-3)
(CKEQ (PLUS 3 -1)
2)
(CKEQ (QUOTIENT 3 -1)
-3)
(CKEQ (DIFFERENCE 3 2)
1)
(CKEQ (TIMES 3 2)
6)
(CKEQ (PLUS 3 2)
5)
(CKEQ (QUOTIENT 3 2)
1)
(CKFEQ (DIFFERENCE 3 1.0)
2.0)
(CKFEQ (TIMES 3 1.0)
3.0)
(CKFEQ (PLUS 3 1.0)
4.0)
(CKFEQ (QUOTIENT 3 1.0)
3.0)
(CKEQ (DIFFERENCE 3 1)
2)
(CKEQ (TIMES 3 1)
3)
(CKEQ (PLUS 3 1)
4)
(CKEQ (QUOTIENT 3 1)
3)
(CKFEQ (DIFFERENCE -1.0 -200000Q)
65535.0)
(CKFEQ (TIMES -1.0 -200000Q)
65536.0)
(CKFEQ (PLUS -1.0 -200000Q)
-65537.0)
(CKFUZZYEQ (QUOTIENT -1.0 -200000Q)
.00001525879)
(CKFEQ (DIFFERENCE -1.0 177777Q)
-65536.0)
(CKFEQ (TIMES -1.0 177777Q)
-65535.0)
(CKFEQ (PLUS -1.0 177777Q)
65534.0)
(CKFUZZYEQ (QUOTIENT -1.0 177777Q)
-.00001525902)
(CKFEQ (DIFFERENCE -1.0 0.0)
-1.0)
(CKFEQ (TIMES -1.0 0.0)
0.0)
(CKFEQ (PLUS -1.0 0.0)
-1.0)
(CKFEQ (DIFFERENCE -1.0 0)
-1.0)
(CKFEQ (TIMES -1.0 0)
0.0)
(CKFEQ (PLUS -1.0 0)
-1.0)
(CKFEQ (DIFFERENCE -1.0 3)
-4.0)
(CKFEQ (TIMES -1.0 3)
-3.0)
(CKFEQ (PLUS -1.0 3)
2.0)
(CKFUZZYEQ (QUOTIENT -1.0 3)
-.3333333)
(CKFEQ (DIFFERENCE -1.0 -1.0)
0.0)
(CKFEQ (TIMES -1.0 -1.0)
1.0)
(CKFEQ (PLUS -1.0 -1.0)
-2.0)
(CKFEQ (QUOTIENT -1.0 -1.0)
1.0)
(CKFEQ (DIFFERENCE -1.0 -1)
0.0)
(CKFEQ (TIMES -1.0 -1)
1.0)
(CKFEQ (PLUS -1.0 -1)
-2.0)
(CKFEQ (QUOTIENT -1.0 -1)
1.0)
(CKFEQ (DIFFERENCE -1.0 2)
-3.0)
(CKFEQ (TIMES -1.0 2)
-2.0)
(CKFEQ (PLUS -1.0 2)
1.0)
(CKFEQ (QUOTIENT -1.0 2)
-.5)
(CKFEQ (DIFFERENCE -1.0 1.0)
-2.0)
(CKFEQ (TIMES -1.0 1.0)
-1.0)
(CKFEQ (PLUS -1.0 1.0)
0.0)
(CKFEQ (QUOTIENT -1.0 1.0)
-1.0)
(CKFEQ (DIFFERENCE -1.0 1)
-2.0)
(CKFEQ (TIMES -1.0 1)
-1.0)
(CKFEQ (PLUS -1.0 1)
0.0)
(CKFEQ (QUOTIENT -1.0 1)
-1.0)
(CKEQ (DIFFERENCE -1 -200000Q)
177777Q)
(CKEQ (TIMES -1 -200000Q)
200000Q)
(CKEQ (PLUS -1 -200000Q)
-200001Q)
(CKEQ (QUOTIENT -1 -200000Q)
0)
(CKEQ (DIFFERENCE -1 177777Q)
-200000Q)
(CKEQ (TIMES -1 177777Q)
-177777Q)
(CKEQ (PLUS -1 177777Q)
177776Q)
(CKEQ (QUOTIENT -1 177777Q)
0)
(CKFEQ (DIFFERENCE -1 0.0)
-1.0)
(CKFEQ (TIMES -1 0.0)
0.0)
(CKFEQ (PLUS -1 0.0)
-1.0)
(CKEQ (DIFFERENCE -1 0)
-1)
(CKEQ (TIMES -1 0)
0)
(CKEQ (PLUS -1 0)
-1)
(CKEQ (DIFFERENCE -1 3)
-4)
(CKEQ (TIMES -1 3)
-3)
(CKEQ (PLUS -1 3)
2)
(CKEQ (QUOTIENT -1 3)
0)
(CKFEQ (DIFFERENCE -1 -1.0)
0.0)
(CKFEQ (TIMES -1 -1.0)
1.0)
(CKFEQ (PLUS -1 -1.0)
-2.0)
(CKFEQ (QUOTIENT -1 -1.0)
1.0)
(CKEQ (DIFFERENCE -1 -1)
0)
(CKEQ (TIMES -1 -1)
1)
(CKEQ (PLUS -1 -1)
-2)
(CKEQ (QUOTIENT -1 -1)
1)
(CKEQ (DIFFERENCE -1 2)
-3)
(CKEQ (TIMES -1 2)
-2)
(CKEQ (PLUS -1 2)
1)
(CKEQ (QUOTIENT -1 2)
0)
(CKFEQ (DIFFERENCE -1 1.0)
-2.0)
(CKFEQ (TIMES -1 1.0)
-1.0)
(CKFEQ (PLUS -1 1.0)
0.0)
(CKFEQ (QUOTIENT -1 1.0)
-1.0)
(CKEQ (DIFFERENCE -1 1)
-2)
(CKEQ (TIMES -1 1)
-1)
(CKEQ (PLUS -1 1)
0)
(CKEQ (QUOTIENT -1 1)
-1)
(CKEQ (DIFFERENCE 2 -200000Q)
200002Q)
(CKEQ (TIMES 2 -200000Q)
-400000Q)
(CKEQ (PLUS 2 -200000Q)
-177776Q)
(CKEQ (QUOTIENT 2 -200000Q)
0)
(CKEQ (DIFFERENCE 2 177777Q)
-177775Q)
(CKEQ (TIMES 2 177777Q)
377776Q)
(CKEQ (PLUS 2 177777Q)
200001Q)
(CKEQ (QUOTIENT 2 177777Q)
0)
(CKEQ (DIFFERENCE 2 0.0)
2.0)
(CKFEQ (TIMES 2 0.0)
0.0)
(CKFEQ (PLUS 2 0.0)
2.0)
(CKEQ (DIFFERENCE 2 0)
2)
(CKEQ (TIMES 2 0)
0)
(CKEQ (PLUS 2 0)
2)
(CKEQ (DIFFERENCE 2 3)
-1)
(CKEQ (TIMES 2 3)
6)
(CKEQ (PLUS 2 3)
5)
(CKEQ (QUOTIENT 2 3)
0)
(CKFEQ (DIFFERENCE 2 -1.0)
3.0)
(CKFEQ (TIMES 2 -1.0)
-2.0)
(CKFEQ (PLUS 2 -1.0)
1.0)
(CKFEQ (QUOTIENT 2 -1.0)
-2.0)
(CKEQ (DIFFERENCE 2 -1)
3)
(CKEQ (TIMES 2 -1)
-2)
(CKEQ (PLUS 2 -1)
1)
(CKEQ (QUOTIENT 2 -1)
-2)
(CKEQ (DIFFERENCE 2 2)
0)
(CKEQ (TIMES 2 2)
4)
(CKEQ (PLUS 2 2)
4)
(CKEQ (QUOTIENT 2 2)
1)
(CKFEQ (DIFFERENCE 2 1.0)
1.0)
(CKFEQ (TIMES 2 1.0)
2.0)
(CKFEQ (PLUS 2 1.0)
3.0)
(CKFEQ (QUOTIENT 2 1.0)
2.0)
(CKEQ (DIFFERENCE 2 1)
1)
(CKEQ (TIMES 2 1)
2)
(CKEQ (PLUS 2 1)
3)
(CKEQ (QUOTIENT 2 1)
2)
(CKFEQ (DIFFERENCE 1.0 -200000Q)
65537.0)
(CKFEQ (TIMES 1.0 -200000Q)
-65536.0)
(CKFEQ (PLUS 1.0 -200000Q)
-65535.0)
(CKFUZZYEQ (QUOTIENT 1.0 -200000Q)
-.00001525879)
(CKFEQ (DIFFERENCE 1.0 177777Q)
-65534.0)
(CKFEQ (TIMES 1.0 177777Q)
65535.0)
(CKFEQ (PLUS 1.0 177777Q)
65536.0)
(CKFUZZYEQ (QUOTIENT 1.0 177777Q)
.00001525902)
(CKFEQ (DIFFERENCE 1.0 0.0)
1.0)
(CKFEQ (TIMES 1.0 0.0)
0.0)
(CKFEQ (PLUS 1.0 0.0)
1.0)
(CKFEQ (DIFFERENCE 1.0 0)
1.0)
(CKFEQ (TIMES 1.0 0)
0.0)
(CKFEQ (PLUS 1.0 0)
1.0)
(CKFEQ (DIFFERENCE 1.0 3)
-2.0)
(CKFEQ (TIMES 1.0 3)
3.0)
(CKFEQ (PLUS 1.0 3)
4.0)
(CKFUZZYEQ (QUOTIENT 1.0 3)
.3333333)
(CKFEQ (DIFFERENCE 1.0 -1.0)
2.0)
(CKFEQ (TIMES 1.0 -1.0)
-1.0)
(CKFEQ (PLUS 1.0 -1.0)
0.0)
(CKFEQ (QUOTIENT 1.0 -1.0)
-1.0)
(CKFEQ (DIFFERENCE 1.0 -1)
2.0)
(CKFEQ (TIMES 1.0 -1)
-1.0)
(CKFEQ (PLUS 1.0 -1)
0.0)
(CKFEQ (QUOTIENT 1.0 -1)
-1.0)
(CKFEQ (DIFFERENCE 1.0 2)
-1.0)
(CKFEQ (TIMES 1.0 2)
2.0)
(CKFEQ (PLUS 1.0 2)
3.0)
(CKFEQ (QUOTIENT 1.0 2)
.5)
(CKFEQ (DIFFERENCE 1.0 1.0)
0.0)
(CKFEQ (TIMES 1.0 1.0)
1.0)
(CKFEQ (PLUS 1.0 1.0)
2.0)
(CKFEQ (QUOTIENT 1.0 1.0)
1.0)
(CKFEQ (DIFFERENCE 1.0 1)
0.0)
(CKFEQ (TIMES 1.0 1)
1.0)
(CKFEQ (PLUS 1.0 1)
2.0)
(CKFEQ (QUOTIENT 1.0 1)
1.0)
(CKEQ (DIFFERENCE 1 -200000Q)
200001Q)
(CKEQ (TIMES 1 -200000Q)
-200000Q)
(CKEQ (PLUS 1 -200000Q)
-177777Q)
(CKEQ (QUOTIENT 1 -200000Q)
0)
(CKEQ (DIFFERENCE 1 177777Q)
-177776Q)
(CKEQ (TIMES 1 177777Q)
177777Q)
(CKEQ (PLUS 1 177777Q)
200000Q)
(CKEQ (QUOTIENT 1 177777Q)
0)
(CKFEQ (DIFFERENCE 1 0.0)
1.0)
(CKFEQ (TIMES 1 0.0)
0.0)
(CKFEQ (PLUS 1 0.0)
1.0)
(CKEQ (DIFFERENCE 1 0)
1)
(CKEQ (TIMES 1 0)
0)
(CKEQ (PLUS 1 0)
1)
(CKEQ (DIFFERENCE 1 3)
-2)
(CKEQ (TIMES 1 3)
3)
(CKEQ (PLUS 1 3)
4)
(CKEQ (QUOTIENT 1 3)
0)
(CKEQ (DIFFERENCE 1 -1.0)
2.0)
(CKFEQ (TIMES 1 -1.0)
-1.0)
(CKFEQ (PLUS 1 -1.0)
0.0)
(CKFEQ (QUOTIENT 1 -1.0)
-1.0)
(CKEQ (DIFFERENCE 1 -1)
2)
(CKEQ (TIMES 1 -1)
-1)
(CKEQ (PLUS 1 -1)
0)
(CKEQ (QUOTIENT 1 -1)
-1)
(CKEQ (DIFFERENCE 1 2)
-1)
(CKEQ (TIMES 1 2)
2)
(CKEQ (PLUS 1 2)
3)
(CKEQ (QUOTIENT 1 2)
0)
(CKFEQ (DIFFERENCE 1 1.0)
0.0)
(CKFEQ (TIMES 1 1.0)
1.0)
(CKFEQ (PLUS 1 1.0)
2.0)
(CKFEQ (QUOTIENT 1 1.0)
1.0)
(CKEQ (DIFFERENCE 1 1)
0)
(CKEQ (TIMES 1 1)
1)
(CKEQ (PLUS 1 1)
2)
(CKEQ (QUOTIENT 1 1)
1])
)
(* "Compiler error may prevent some of the above functions from getting compiled")
(DECLARE: DONTEVAL@LOAD DONTEVAL@COMPILE DOCOPY
[MAPC (OR (FILEFNSLST (QUOTE MACROTESTAUX))
(QUOTE (PUSH.TEST)))
(FUNCTION (LAMBDA (X)
(MOVD? (QUOTE NILL)
X]
)
(PUTPROPS MACROTESTAUX COPYRIGHT ("Xerox Corporation" 3700Q 3701Q))
(DECLARE: DONTCOPY
(FILEMAP (NIL (3310Q 20067Q (!FVARTEST 3322Q . 3770Q) (PUSH.TEST 3772Q . 5721Q) (CALLS.FIRSTARGTEST
5723Q . 6272Q) (CALLS.LASTARGTEST 6274Q . 6774Q) (CALLS.TOOFEWARGS 6776Q . 7472Q) (FVAR.FREE 7474Q .
11020Q) (FVAR.TEST 11022Q . 12151Q) (FVAR.TEST2 12153Q . 12452Q) (FVAR.TEST3 12454Q . 12663Q) (
FN.FIRSTARG.FVARS 12665Q . 13175Q) (FN.FIRSTARG.PVARS.FVARS 13177Q . 13561Q) (FN.LASTARG.FVARS 13563Q
. 14173Q) (FN.LASTARG.FVARS.PVARS 14175Q . 14670Q) (FVAR.TESTN 14672Q . 15074Q) (FN.FREE.SKIPPVARS
15076Q . 15402Q) (FN.FREEPVAR 15404Q . 15745Q) (FN.FVAR3 15747Q . 16134Q) (FN.FREEARG 16136Q . 16335Q)
(FN.FR1 16337Q . 16620Q) (FN.FR2 16622Q . 17103Q) (FN.FR3 17105Q . 17526Q) (FAULTTEST 17530Q . 20065Q
)) (20413Q 246456Q (!NUMBERTEST 20425Q . 20772Q) (!NUMTEST1 20774Q . 31247Q) (!NUMTEST2 31251Q .
41611Q) (!NUMTEST3 41613Q . 52720Q) (!NUMTEST4 52722Q . 64753Q) (!NUMTEST5 64755Q . 76701Q) (!NUMTEST6
76703Q . 107223Q) (!RANDNUMTEST 107225Q . 111105Q) (!RANDNUMTEST1 111107Q . 124024Q) (!RANDNUMTEST2
124026Q . 143354Q) (!RANDNUMTEST3 143356Q . 162401Q) (!RANDNUMTEST4 162403Q . 200141Q) (!FNUMTEST
200143Q . 200470Q) (!FNUMTEST1 200472Q . 203004Q) (!FNUMTEST2 203006Q . 204154Q) (!FNUMTEST3 204156Q
. 205635Q) (!FNUMTEST4 205637Q . 206742Q) (!FNUMTEST5 206744Q . 207407Q) (!MIXNUMTEST 207411Q .
246454Q)))))
STOP