Update cached Lisp translation.

1 files changed, 437 insertions, 103 deletions

diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet
index 787b3b74..2b34325d 100644
--- a/src/algebra/integer.spad.pamphlet
+++ b/src/algebra/integer.spad.pamphlet
@@ -253,203 +253,537 @@ Note that this code is not included in the generated catdef.spad file.
 
 <<INT.lsp BOOTSTRAP>>=
 
-(|/VERSIONCHECK| 2) 
-
-(DEFUN |INT;writeOMInt| (|dev| |x| |$|) (SEQ (COND ((|<| |x| 0) (SEQ (SPADCALL |dev| (QREFELT |$| 8)) (SPADCALL |dev| "arith1" "unary_minus" (QREFELT |$| 10)) (SPADCALL |dev| (|-| |x|) (QREFELT |$| 12)) (EXIT (SPADCALL |dev| (QREFELT |$| 13))))) ((QUOTE T) (SPADCALL |dev| |x| (QREFELT |$| 12)))))) 
-
-(DEFUN |INT;OMwrite;$S;2| (|x| |$|) (PROG (|sp| |dev| |s|) (RETURN (SEQ (LETT |s| "" |INT;OMwrite;$S;2|) (LETT |sp| (|OM-STRINGTOSTRINGPTR| |s|) |INT;OMwrite;$S;2|) (LETT |dev| (SPADCALL |sp| (SPADCALL (QREFELT |$| 15)) (QREFELT |$| 16)) |INT;OMwrite;$S;2|) (SPADCALL |dev| (QREFELT |$| 17)) (|INT;writeOMInt| |dev| |x| |$|) (SPADCALL |dev| (QREFELT |$| 18)) (SPADCALL |dev| (QREFELT |$| 19)) (LETT |s| (|OM-STRINGPTRTOSTRING| |sp|) |INT;OMwrite;$S;2|) (EXIT |s|))))) 
-
-(DEFUN |INT;OMwrite;$BS;3| (|x| |wholeObj| |$|) (PROG (|sp| |dev| |s|) (RETURN (SEQ (LETT |s| "" |INT;OMwrite;$BS;3|) (LETT |sp| (|OM-STRINGTOSTRINGPTR| |s|) |INT;OMwrite;$BS;3|) (LETT |dev| (SPADCALL |sp| (SPADCALL (QREFELT |$| 15)) (QREFELT |$| 16)) |INT;OMwrite;$BS;3|) (COND (|wholeObj| (SPADCALL |dev| (QREFELT |$| 17)))) (|INT;writeOMInt| |dev| |x| |$|) (COND (|wholeObj| (SPADCALL |dev| (QREFELT |$| 18)))) (SPADCALL |dev| (QREFELT |$| 19)) (LETT |s| (|OM-STRINGPTRTOSTRING| |sp|) |INT;OMwrite;$BS;3|) (EXIT |s|))))) 
+(/VERSIONCHECK 2) 
 
-(DEFUN |INT;OMwrite;Omd$V;4| (|dev| |x| |$|) (SEQ (SPADCALL |dev| (QREFELT |$| 17)) (|INT;writeOMInt| |dev| |x| |$|) (EXIT (SPADCALL |dev| (QREFELT |$| 18))))) 
+(DEFUN |INT;writeOMInt| (|dev| |x| $)
+  (SEQ (COND
+         ((< |x| 0)
+          (SEQ (SPADCALL |dev| (|getShellEntry| $ 8))
+               (SPADCALL |dev| "arith1" "unary_minus"
+                   (|getShellEntry| $ 10))
+               (SPADCALL |dev| (- |x|) (|getShellEntry| $ 12))
+               (EXIT (SPADCALL |dev| (|getShellEntry| $ 13)))))
+         ('T (SPADCALL |dev| |x| (|getShellEntry| $ 12)))))) 
 
-(DEFUN |INT;OMwrite;Omd$BV;5| (|dev| |x| |wholeObj| |$|) (SEQ (COND (|wholeObj| (SPADCALL |dev| (QREFELT |$| 17)))) (|INT;writeOMInt| |dev| |x| |$|) (EXIT (COND (|wholeObj| (SPADCALL |dev| (QREFELT |$| 18))))))) 
+(DEFUN |INT;OMwrite;$S;2| (|x| $)
+  (PROG (|sp| |dev| |s|)
+    (RETURN
+      (SEQ (LETT |s| "" |INT;OMwrite;$S;2|)
+           (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) |INT;OMwrite;$S;2|)
+           (LETT |dev|
+                 (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 15))
+                     (|getShellEntry| $ 16))
+                 |INT;OMwrite;$S;2|)
+           (SPADCALL |dev| (|getShellEntry| $ 17))
+           (|INT;writeOMInt| |dev| |x| $)
+           (SPADCALL |dev| (|getShellEntry| $ 18))
+           (SPADCALL |dev| (|getShellEntry| $ 19))
+           (LETT |s| (OM-STRINGPTRTOSTRING |sp|) |INT;OMwrite;$S;2|)
+           (EXIT |s|))))) 
 
-(PUT (QUOTE |INT;zero?;$B;6|) (QUOTE |SPADreplace|) (QUOTE ZEROP)) 
+(DEFUN |INT;OMwrite;$BS;3| (|x| |wholeObj| $)
+  (PROG (|sp| |dev| |s|)
+    (RETURN
+      (SEQ (LETT |s| "" |INT;OMwrite;$BS;3|)
+           (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) |INT;OMwrite;$BS;3|)
+           (LETT |dev|
+                 (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 15))
+                     (|getShellEntry| $ 16))
+                 |INT;OMwrite;$BS;3|)
+           (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 17))))
+           (|INT;writeOMInt| |dev| |x| $)
+           (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 18))))
+           (SPADCALL |dev| (|getShellEntry| $ 19))
+           (LETT |s| (OM-STRINGPTRTOSTRING |sp|) |INT;OMwrite;$BS;3|)
+           (EXIT |s|))))) 
 
-(DEFUN |INT;zero?;$B;6| (|x| |$|) (ZEROP |x|)) 
+(DEFUN |INT;OMwrite;Omd$V;4| (|dev| |x| $)
+  (SEQ (SPADCALL |dev| (|getShellEntry| $ 17))
+       (|INT;writeOMInt| |dev| |x| $)
+       (EXIT (SPADCALL |dev| (|getShellEntry| $ 18))))) 
 
-(PUT (QUOTE |INT;Zero;$;7|) (QUOTE |SPADreplace|) (QUOTE (XLAM NIL 0))) 
+(DEFUN |INT;OMwrite;Omd$BV;5| (|dev| |x| |wholeObj| $)
+  (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 17))))
+       (|INT;writeOMInt| |dev| |x| $)
+       (EXIT (COND
+               (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 18))))))) 
 
-(DEFUN |INT;Zero;$;7| (|$|) 0) 
+(PUT '|INT;zero?;$B;6| '|SPADreplace| 'ZEROP) 
 
-(PUT (QUOTE |INT;One;$;8|) (QUOTE |SPADreplace|) (QUOTE (XLAM NIL 1))) 
+(DEFUN |INT;zero?;$B;6| (|x| $) (ZEROP |x|)) 
 
-(DEFUN |INT;One;$;8| (|$|) 1) 
+(PUT '|INT;one?;$B;7| '|SPADreplace| '(XLAM (|x|) (EQL |x| 1))) 
 
-(PUT (QUOTE |INT;base;$;9|) (QUOTE |SPADreplace|) (QUOTE (XLAM NIL 2))) 
+(DEFUN |INT;one?;$B;7| (|x| $) (EQL |x| 1)) 
 
-(DEFUN |INT;base;$;9| (|$|) 2) 
+(PUT '|INT;Zero;$;8| '|SPADreplace| '(XLAM NIL 0)) 
 
-(PUT (QUOTE |INT;copy;2$;10|) (QUOTE |SPADreplace|) (QUOTE (XLAM (|x|) |x|))) 
+(DEFUN |INT;Zero;$;8| ($) 0) 
 
-(DEFUN |INT;copy;2$;10| (|x| |$|) |x|) 
+(PUT '|INT;One;$;9| '|SPADreplace| '(XLAM NIL 1)) 
 
-(PUT (QUOTE |INT;inc;2$;11|) (QUOTE |SPADreplace|) (QUOTE (XLAM (|x|) (|+| |x| 1)))) 
+(DEFUN |INT;One;$;9| ($) 1) 
 
-(DEFUN |INT;inc;2$;11| (|x| |$|) (|+| |x| 1)) 
+(PUT '|INT;base;$;10| '|SPADreplace| '(XLAM NIL 2)) 
 
-(PUT (QUOTE |INT;dec;2$;12|) (QUOTE |SPADreplace|) (QUOTE (XLAM (|x|) (|-| |x| 1)))) 
+(DEFUN |INT;base;$;10| ($) 2) 
 
-(DEFUN |INT;dec;2$;12| (|x| |$|) (|-| |x| 1)) 
+(PUT '|INT;copy;2$;11| '|SPADreplace| '(XLAM (|x|) |x|)) 
 
-(PUT (QUOTE |INT;hash;2$;13|) (QUOTE |SPADreplace|) (QUOTE SXHASH)) 
+(DEFUN |INT;copy;2$;11| (|x| $) |x|) 
 
-(DEFUN |INT;hash;2$;13| (|x| |$|) (SXHASH |x|)) 
+(PUT '|INT;inc;2$;12| '|SPADreplace| '(XLAM (|x|) (+ |x| 1))) 
 
-(PUT (QUOTE |INT;negative?;$B;14|) (QUOTE |SPADreplace|) (QUOTE MINUSP)) 
+(DEFUN |INT;inc;2$;12| (|x| $) (+ |x| 1)) 
 
-(DEFUN |INT;negative?;$B;14| (|x| |$|) (MINUSP |x|)) 
+(PUT '|INT;dec;2$;13| '|SPADreplace| '(XLAM (|x|) (- |x| 1))) 
 
-(DEFUN |INT;coerce;$Of;15| (|x| |$|) (SPADCALL |x| (QREFELT |$| 35))) 
+(DEFUN |INT;dec;2$;13| (|x| $) (- |x| 1)) 
 
-(PUT (QUOTE |INT;coerce;2$;16|) (QUOTE |SPADreplace|) (QUOTE (XLAM (|m|) |m|))) 
+(PUT '|INT;hash;2$;14| '|SPADreplace| 'SXHASH) 
 
-(DEFUN |INT;coerce;2$;16| (|m| |$|) |m|) 
+(DEFUN |INT;hash;2$;14| (|x| $) (SXHASH |x|)) 
 
-(PUT (QUOTE |INT;convert;2$;17|) (QUOTE |SPADreplace|) (QUOTE (XLAM (|x|) |x|))) 
+(PUT '|INT;negative?;$B;15| '|SPADreplace| 'MINUSP) 
 
-(DEFUN |INT;convert;2$;17| (|x| |$|) |x|) 
+(DEFUN |INT;negative?;$B;15| (|x| $) (MINUSP |x|)) 
 
-(PUT (QUOTE |INT;length;2$;18|) (QUOTE |SPADreplace|) (QUOTE |INTEGER-LENGTH|)) 
+(DEFUN |INT;coerce;$Of;16| (|x| $)
+  (SPADCALL |x| (|getShellEntry| $ 36))) 
 
-(DEFUN |INT;length;2$;18| (|a| |$|) (|INTEGER-LENGTH| |a|)) 
+(PUT '|INT;coerce;I$;17| '|SPADreplace| '(XLAM (|m|) |m|)) 
 
-(DEFUN |INT;addmod;4$;19| (|a| |b| |p| |$|) (PROG (|c| #1=#:G86338) (RETURN (SEQ (EXIT (SEQ (SEQ (LETT |c| (|+| |a| |b|) |INT;addmod;4$;19|) (EXIT (COND ((NULL (|<| |c| |p|)) (PROGN (LETT #1# (|-| |c| |p|) |INT;addmod;4$;19|) (GO #1#)))))) (EXIT |c|))) #1# (EXIT #1#))))) 
+(DEFUN |INT;coerce;I$;17| (|m| $) |m|) 
 
-(DEFUN |INT;submod;4$;20| (|a| |b| |p| |$|) (PROG (|c|) (RETURN (SEQ (LETT |c| (|-| |a| |b|) |INT;submod;4$;20|) (EXIT (COND ((|<| |c| 0) (|+| |c| |p|)) ((QUOTE T) |c|))))))) 
+(PUT '|INT;convert;$I;18| '|SPADreplace| '(XLAM (|x|) |x|)) 
 
-(DEFUN |INT;mulmod;4$;21| (|a| |b| |p| |$|) (REMAINDER2 (|*| |a| |b|) |p|)) 
+(DEFUN |INT;convert;$I;18| (|x| $) |x|) 
 
-(DEFUN |INT;convert;$F;22| (|x| |$|) (SPADCALL |x| (QREFELT |$| 44))) 
+(PUT '|INT;length;2$;19| '|SPADreplace| 'INTEGER-LENGTH) 
 
-(PUT (QUOTE |INT;convert;$Df;23|) (QUOTE |SPADreplace|) (QUOTE (XLAM (|x|) (FLOAT |x| |MOST-POSITIVE-LONG-FLOAT|)))) 
+(DEFUN |INT;length;2$;19| (|a| $) (INTEGER-LENGTH |a|)) 
 
-(DEFUN |INT;convert;$Df;23| (|x| |$|) (FLOAT |x| |MOST-POSITIVE-LONG-FLOAT|)) 
+(DEFUN |INT;addmod;4$;20| (|a| |b| |p| $)
+  (PROG (|c| #0=#:G1427)
+    (RETURN
+      (SEQ (EXIT (SEQ (SEQ (LETT |c| (+ |a| |b|) |INT;addmod;4$;20|)
+                           (EXIT (COND
+                                   ((NULL (< |c| |p|))
+                                    (PROGN
+                                      (LETT #0# (- |c| |p|)
+                                       |INT;addmod;4$;20|)
+                                      (GO #0#))))))
+                      (EXIT |c|)))
+           #0# (EXIT #0#))))) 
 
-(DEFUN |INT;convert;$If;24| (|x| |$|) (SPADCALL |x| (QREFELT |$| 49))) 
+(DEFUN |INT;submod;4$;21| (|a| |b| |p| $)
+  (PROG (|c|)
+    (RETURN
+      (SEQ (LETT |c| (- |a| |b|) |INT;submod;4$;21|)
+           (EXIT (COND ((< |c| 0) (+ |c| |p|)) ('T |c|))))))) 
 
-(PUT (QUOTE |INT;convert;$S;25|) (QUOTE |SPADreplace|) (QUOTE STRINGIMAGE)) 
+(DEFUN |INT;mulmod;4$;22| (|a| |b| |p| $)
+  (REMAINDER2 (* |a| |b|) |p|)) 
 
-(DEFUN |INT;convert;$S;25| (|x| |$|) (STRINGIMAGE |x|)) 
+(DEFUN |INT;convert;$F;23| (|x| $)
+  (SPADCALL |x| (|getShellEntry| $ 45))) 
 
-(DEFUN |INT;latex;$S;26| (|x| |$|) (PROG (|s|) (RETURN (SEQ (LETT |s| (STRINGIMAGE |x|) |INT;latex;$S;26|) (COND ((|<| -1 |x|) (COND ((|<| |x| 10) (EXIT |s|))))) (EXIT (STRCONC "{" (STRCONC |s| "}"))))))) 
+(PUT '|INT;convert;$Df;24| '|SPADreplace|
+     '(XLAM (|x|) (FLOAT |x| MOST-POSITIVE-LONG-FLOAT))) 
 
-(DEFUN |INT;positiveRemainder;3$;27| (|a| |b| |$|) (PROG (|r|) (RETURN (COND ((MINUSP (LETT |r| (REMAINDER2 |a| |b|) |INT;positiveRemainder;3$;27|)) (COND ((MINUSP |b|) (|-| |r| |b|)) ((QUOTE T) (|+| |r| |b|)))) ((QUOTE T) |r|))))) 
+(DEFUN |INT;convert;$Df;24| (|x| $)
+  (FLOAT |x| MOST-POSITIVE-LONG-FLOAT)) 
 
-(PUT (QUOTE |INT;reducedSystem;2M;28|) (QUOTE |SPADreplace|) (QUOTE (XLAM (|m|) |m|))) 
+(DEFUN |INT;convert;$If;25| (|x| $)
+  (SPADCALL |x| (|getShellEntry| $ 50))) 
 
-(DEFUN |INT;reducedSystem;2M;28| (|m| |$|) |m|) 
+(PUT '|INT;convert;$S;26| '|SPADreplace| 'STRINGIMAGE) 
 
-(DEFUN |INT;reducedSystem;MVR;29| (|m| |v| |$|) (CONS |m| (QUOTE |vec|))) 
+(DEFUN |INT;convert;$S;26| (|x| $) (STRINGIMAGE |x|)) 
 
-(PUT (QUOTE |INT;abs;2$;30|) (QUOTE |SPADreplace|) (QUOTE ABS)) 
+(DEFUN |INT;latex;$S;27| (|x| $)
+  (PROG (|s|)
+    (RETURN
+      (SEQ (LETT |s| (STRINGIMAGE |x|) |INT;latex;$S;27|)
+           (COND ((< -1 |x|) (COND ((< |x| 10) (EXIT |s|)))))
+           (EXIT (STRCONC "{" (STRCONC |s| "}"))))))) 
 
-(DEFUN |INT;abs;2$;30| (|x| |$|) (ABS |x|)) 
+(DEFUN |INT;positiveRemainder;3$;28| (|a| |b| $)
+  (PROG (|r|)
+    (RETURN
+      (COND
+        ((MINUSP (LETT |r| (REMAINDER2 |a| |b|)
+                       |INT;positiveRemainder;3$;28|))
+         (COND ((MINUSP |b|) (- |r| |b|)) ('T (+ |r| |b|))))
+        ('T |r|))))) 
 
-(PUT (QUOTE |INT;random;$;31|) (QUOTE |SPADreplace|) (QUOTE |random|)) 
+(PUT '|INT;reducedSystem;MM;29| '|SPADreplace| '(XLAM (|m|) |m|)) 
 
-(DEFUN |INT;random;$;31| (|$|) (|random|)) 
+(DEFUN |INT;reducedSystem;MM;29| (|m| $) |m|) 
 
-(PUT (QUOTE |INT;random;2$;32|) (QUOTE |SPADreplace|) (QUOTE RANDOM)) 
+(DEFUN |INT;reducedSystem;MVR;30| (|m| |v| $) (CONS |m| '|vec|)) 
 
-(DEFUN |INT;random;2$;32| (|x| |$|) (RANDOM |x|)) 
+(PUT '|INT;abs;2$;31| '|SPADreplace| 'ABS) 
 
-(PUT (QUOTE |INT;=;2$B;33|) (QUOTE |SPADreplace|) (QUOTE EQL)) 
+(DEFUN |INT;abs;2$;31| (|x| $) (ABS |x|)) 
 
-(DEFUN |INT;=;2$B;33| (|x| |y| |$|) (EQL |x| |y|)) 
+(PUT '|INT;random;$;32| '|SPADreplace| '|random|) 
 
-(PUT (QUOTE |INT;<;2$B;34|) (QUOTE |SPADreplace|) (QUOTE |<|)) 
+(DEFUN |INT;random;$;32| ($) (|random|)) 
 
-(DEFUN |INT;<;2$B;34| (|x| |y| |$|) (|<| |x| |y|)) 
+(PUT '|INT;random;2$;33| '|SPADreplace| 'RANDOM) 
 
-(PUT (QUOTE |INT;-;2$;35|) (QUOTE |SPADreplace|) (QUOTE |-|)) 
+(DEFUN |INT;random;2$;33| (|x| $) (RANDOM |x|)) 
 
-(DEFUN |INT;-;2$;35| (|x| |$|) (|-| |x|)) 
+(PUT '|INT;=;2$B;34| '|SPADreplace| 'EQL) 
 
-(PUT (QUOTE |INT;+;3$;36|) (QUOTE |SPADreplace|) (QUOTE |+|)) 
+(DEFUN |INT;=;2$B;34| (|x| |y| $) (EQL |x| |y|)) 
 
-(DEFUN |INT;+;3$;36| (|x| |y| |$|) (|+| |x| |y|)) 
+(PUT '|INT;<;2$B;35| '|SPADreplace| '<) 
 
-(PUT (QUOTE |INT;-;3$;37|) (QUOTE |SPADreplace|) (QUOTE |-|)) 
+(DEFUN |INT;<;2$B;35| (|x| |y| $) (< |x| |y|)) 
 
-(DEFUN |INT;-;3$;37| (|x| |y| |$|) (|-| |x| |y|)) 
+(PUT '|INT;-;2$;36| '|SPADreplace| '-) 
 
-(PUT (QUOTE |INT;*;3$;38|) (QUOTE |SPADreplace|) (QUOTE |*|)) 
+(DEFUN |INT;-;2$;36| (|x| $) (- |x|)) 
 
-(DEFUN |INT;*;3$;38| (|x| |y| |$|) (|*| |x| |y|)) 
+(PUT '|INT;+;3$;37| '|SPADreplace| '+) 
 
-(PUT (QUOTE |INT;*;3$;39|) (QUOTE |SPADreplace|) (QUOTE |*|)) 
+(DEFUN |INT;+;3$;37| (|x| |y| $) (+ |x| |y|)) 
 
-(DEFUN |INT;*;3$;39| (|m| |y| |$|) (|*| |m| |y|)) 
+(PUT '|INT;-;3$;38| '|SPADreplace| '-) 
 
-(PUT (QUOTE |INT;**;$Nni$;40|) (QUOTE |SPADreplace|) (QUOTE EXPT)) 
+(DEFUN |INT;-;3$;38| (|x| |y| $) (- |x| |y|)) 
 
-(DEFUN |INT;**;$Nni$;40| (|x| |n| |$|) (EXPT |x| |n|)) 
+(PUT '|INT;*;3$;39| '|SPADreplace| '*) 
 
-(PUT (QUOTE |INT;odd?;$B;41|) (QUOTE |SPADreplace|) (QUOTE ODDP)) 
+(DEFUN |INT;*;3$;39| (|x| |y| $) (* |x| |y|)) 
 
-(DEFUN |INT;odd?;$B;41| (|x| |$|) (ODDP |x|)) 
+(PUT '|INT;*;I2$;40| '|SPADreplace| '*) 
 
-(PUT (QUOTE |INT;max;3$;42|) (QUOTE |SPADreplace|) (QUOTE MAX)) 
+(DEFUN |INT;*;I2$;40| (|m| |y| $) (* |m| |y|)) 
 
-(DEFUN |INT;max;3$;42| (|x| |y| |$|) (MAX |x| |y|)) 
+(PUT '|INT;**;$Nni$;41| '|SPADreplace| 'EXPT) 
 
-(PUT (QUOTE |INT;min;3$;43|) (QUOTE |SPADreplace|) (QUOTE MIN)) 
+(DEFUN |INT;**;$Nni$;41| (|x| |n| $) (EXPT |x| |n|)) 
 
-(DEFUN |INT;min;3$;43| (|x| |y| |$|) (MIN |x| |y|)) 
+(PUT '|INT;odd?;$B;42| '|SPADreplace| 'ODDP) 
 
-(PUT (QUOTE |INT;divide;2$R;44|) (QUOTE |SPADreplace|) (QUOTE DIVIDE2)) 
+(DEFUN |INT;odd?;$B;42| (|x| $) (ODDP |x|)) 
 
-(DEFUN |INT;divide;2$R;44| (|x| |y| |$|) (DIVIDE2 |x| |y|)) 
+(PUT '|INT;max;3$;43| '|SPADreplace| 'MAX) 
 
-(PUT (QUOTE |INT;quo;3$;45|) (QUOTE |SPADreplace|) (QUOTE QUOTIENT2)) 
+(DEFUN |INT;max;3$;43| (|x| |y| $) (MAX |x| |y|)) 
 
-(DEFUN |INT;quo;3$;45| (|x| |y| |$|) (QUOTIENT2 |x| |y|)) 
+(PUT '|INT;min;3$;44| '|SPADreplace| 'MIN) 
 
-(PUT (QUOTE |INT;rem;3$;46|) (QUOTE |SPADreplace|) (QUOTE REMAINDER2)) 
+(DEFUN |INT;min;3$;44| (|x| |y| $) (MIN |x| |y|)) 
 
-(DEFUN |INT;rem;3$;46| (|x| |y| |$|) (REMAINDER2 |x| |y|)) 
+(PUT '|INT;divide;2$R;45| '|SPADreplace| 'DIVIDE2) 
 
-(PUT (QUOTE |INT;shift;3$;47|) (QUOTE |SPADreplace|) (QUOTE ASH)) 
+(DEFUN |INT;divide;2$R;45| (|x| |y| $) (DIVIDE2 |x| |y|)) 
 
-(DEFUN |INT;shift;3$;47| (|x| |y| |$|) (ASH |x| |y|)) 
+(PUT '|INT;quo;3$;46| '|SPADreplace| 'QUOTIENT2) 
 
-(DEFUN |INT;exquo;2$U;48| (|x| |y| |$|) (COND ((OR (ZEROP |y|) (NULL (ZEROP (REMAINDER2 |x| |y|)))) (CONS 1 "failed")) ((QUOTE T) (CONS 0 (QUOTIENT2 |x| |y|))))) 
+(DEFUN |INT;quo;3$;46| (|x| |y| $) (QUOTIENT2 |x| |y|)) 
 
-(DEFUN |INT;recip;$U;49| (|x| |$|) (COND ((OR (EQL |x| 1) (EQL |x| -1)) (CONS 0 |x|)) ((QUOTE T) (CONS 1 "failed")))) 
+(PUT '|INT;rem;3$;47| '|SPADreplace| 'REMAINDER2) 
 
-(PUT (QUOTE |INT;gcd;3$;50|) (QUOTE |SPADreplace|) (QUOTE GCD)) 
+(DEFUN |INT;rem;3$;47| (|x| |y| $) (REMAINDER2 |x| |y|)) 
 
-(DEFUN |INT;gcd;3$;50| (|x| |y| |$|) (GCD |x| |y|)) 
+(PUT '|INT;shift;3$;48| '|SPADreplace| 'ASH) 
 
-(DEFUN |INT;unitNormal;$R;51| (|x| |$|) (COND ((|<| |x| 0) (VECTOR -1 (|-| |x|) -1)) ((QUOTE T) (VECTOR 1 |x| 1)))) 
+(DEFUN |INT;shift;3$;48| (|x| |y| $) (ASH |x| |y|)) 
 
-(PUT (QUOTE |INT;unitCanonical;2$;52|) (QUOTE |SPADreplace|) (QUOTE ABS)) 
+(DEFUN |INT;exquo;2$U;49| (|x| |y| $)
+  (COND
+    ((OR (ZEROP |y|) (NULL (ZEROP (REMAINDER2 |x| |y|))))
+     (CONS 1 "failed"))
+    ('T (CONS 0 (QUOTIENT2 |x| |y|))))) 
 
-(DEFUN |INT;unitCanonical;2$;52| (|x| |$|) (ABS |x|)) 
+(DEFUN |INT;recip;$U;50| (|x| $)
+  (COND
+    ((OR (EQL |x| 1) (EQL |x| -1)) (CONS 0 |x|))
+    ('T (CONS 1 "failed")))) 
 
-(DEFUN |INT;solveLinearPolynomialEquation| (|lp| |p| |$|) (SPADCALL |lp| |p| (QREFELT |$| 91))) 
+(PUT '|INT;gcd;3$;51| '|SPADreplace| 'GCD) 
 
-(DEFUN |INT;squareFreePolynomial| (|p| |$|) (SPADCALL |p| (QREFELT |$| 95))) 
+(DEFUN |INT;gcd;3$;51| (|x| |y| $) (GCD |x| |y|)) 
 
-(DEFUN |INT;factorPolynomial| (|p| |$|) (PROG (|pp| #1=#:G86409) (RETURN (SEQ (LETT |pp| (SPADCALL |p| (QREFELT |$| 96)) |INT;factorPolynomial|) (EXIT (COND ((EQL (SPADCALL |pp| (QREFELT |$| 97)) (SPADCALL |p| (QREFELT |$| 97))) (SPADCALL |p| (QREFELT |$| 99))) ((QUOTE T) (SPADCALL (SPADCALL |pp| (QREFELT |$| 99)) (SPADCALL (CONS (FUNCTION |INT;factorPolynomial!0|) |$|) (SPADCALL (PROG2 (LETT #1# (SPADCALL (SPADCALL |p| (QREFELT |$| 97)) (SPADCALL |pp| (QREFELT |$| 97)) (QREFELT |$| 81)) |INT;factorPolynomial|) (QCDR #1#) (|check-union| (QEQCAR #1# 0) |$| #1#)) (QREFELT |$| 102)) (QREFELT |$| 106)) (QREFELT |$| 108))))))))) 
+(DEFUN |INT;unitNormal;$R;52| (|x| $)
+  (COND ((< |x| 0) (VECTOR -1 (- |x|) -1)) ('T (VECTOR 1 |x| 1)))) 
 
-(DEFUN |INT;factorPolynomial!0| (|#1| |$|) (SPADCALL |#1| (QREFELT |$| 100))) 
+(PUT '|INT;unitCanonical;2$;53| '|SPADreplace| 'ABS) 
 
-(DEFUN |INT;factorSquareFreePolynomial| (|p| |$|) (SPADCALL |p| (QREFELT |$| 109))) 
+(DEFUN |INT;unitCanonical;2$;53| (|x| $) (ABS |x|)) 
 
-(DEFUN |INT;gcdPolynomial;3Sup;57| (|p| |q| |$|) (COND ((SPADCALL |p| (QREFELT |$| 110)) (SPADCALL |q| (QREFELT |$| 111))) ((SPADCALL |q| (QREFELT |$| 110)) (SPADCALL |p| (QREFELT |$| 111))) ((QUOTE T) (SPADCALL (LIST |p| |q|) (QREFELT |$| 114))))) 
+(DEFUN |INT;solveLinearPolynomialEquation| (|lp| |p| $)
+  (SPADCALL |lp| |p| (|getShellEntry| $ 93))) 
 
-(DEFUN |Integer| NIL (PROG NIL (RETURN (PROG (#1=#:G86434) (RETURN (COND ((LETT #1# (HGET |$ConstructorCache| (QUOTE |Integer|)) |Integer|) (|CDRwithIncrement| (CDAR #1#))) ((QUOTE T) (|UNWIND-PROTECT| (PROG1 (CDDAR (HPUT |$ConstructorCache| (QUOTE |Integer|) (LIST (CONS NIL (CONS 1 (|Integer;|)))))) (LETT #1# T |Integer|)) (COND ((NOT #1#) (HREM |$ConstructorCache| (QUOTE |Integer|)))))))))))) 
+(DEFUN |INT;squareFreePolynomial| (|p| $)
+  (SPADCALL |p| (|getShellEntry| $ 97))) 
 
-(DEFUN |Integer;| NIL (PROG (|dv$| |$| |pv$|) (RETURN (PROGN (LETT |dv$| (QUOTE (|Integer|)) . #1=(|Integer|)) (LETT |$| (GETREFV 130) . #1#) (QSETREFV |$| 0 |dv$|) (QSETREFV |$| 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#)) (|haddProp| |$ConstructorCache| (QUOTE |Integer|) NIL (CONS 1 |$|)) (|stuffDomainSlots| |$|) (QSETREFV |$| 69 (QSETREFV |$| 68 (CONS (|dispatchFunction| |INT;*;3$;39|) |$|))) |$|)))) 
-
-(MAKEPROP (QUOTE |Integer|) (QUOTE |infovec|) (LIST (QUOTE #(NIL NIL NIL NIL NIL NIL (|Void|) (|OpenMathDevice|) (0 . |OMputApp|) (|String|) (5 . |OMputSymbol|) (|Integer|) (12 . |OMputInteger|) (18 . |OMputEndApp|) (|OpenMathEncoding|) (23 . |OMencodingXML|) (27 . |OMopenString|) (33 . |OMputObject|) (38 . |OMputEndObject|) (43 . |OMclose|) |INT;OMwrite;$S;2| (|Boolean|) |INT;OMwrite;$BS;3| |INT;OMwrite;Omd$V;4| |INT;OMwrite;Omd$BV;5| |INT;zero?;$B;6| (CONS IDENTITY (FUNCALL (|dispatchFunction| |INT;Zero;$;7|) |$|)) (CONS IDENTITY (FUNCALL (|dispatchFunction| |INT;One;$;8|) |$|)) |INT;base;$;9| |INT;copy;2$;10| |INT;inc;2$;11| |INT;dec;2$;12| |INT;hash;2$;13| |INT;negative?;$B;14| (|OutputForm|) (48 . |outputForm|) |INT;coerce;$Of;15| |INT;coerce;2$;16| |INT;convert;2$;17| |INT;length;2$;18| |INT;addmod;4$;19| |INT;submod;4$;20| |INT;mulmod;4$;21| (|Float|) (53 . |coerce|) |INT;convert;$F;22| (|DoubleFloat|) |INT;convert;$Df;23| (|InputForm|) (58 . |convert|) |INT;convert;$If;24| |INT;convert;$S;25| |INT;latex;$S;26| |INT;positiveRemainder;3$;27| (|Matrix| 11) (|Matrix| |$|) |INT;reducedSystem;2M;28| (|Record| (|:| |mat| 54) (|:| |vec| (|Vector| 11))) (|Vector| |$|) |INT;reducedSystem;MVR;29| |INT;abs;2$;30| |INT;random;$;31| |INT;random;2$;32| |INT;=;2$B;33| |INT;<;2$B;34| |INT;-;2$;35| |INT;+;3$;36| |INT;-;3$;37| NIL NIL (|NonNegativeInteger|) |INT;**;$Nni$;40| |INT;odd?;$B;41| |INT;max;3$;42| |INT;min;3$;43| (|Record| (|:| |quotient| |$|) (|:| |remainder| |$|)) |INT;divide;2$R;44| |INT;quo;3$;45| |INT;rem;3$;46| |INT;shift;3$;47| (|Union| |$| (QUOTE "failed")) |INT;exquo;2$U;48| |INT;recip;$U;49| |INT;gcd;3$;50| (|Record| (|:| |unit| |$|) (|:| |canonical| |$|) (|:| |associate| |$|)) |INT;unitNormal;$R;51| |INT;unitCanonical;2$;52| (|Union| 88 (QUOTE "failed")) (|List| 89) (|SparseUnivariatePolynomial| 11) (|IntegerSolveLinearPolynomialEquation|) (63 . |solveLinearPolynomialEquation|) (|Factored| 93) (|SparseUnivariatePolynomial| |$$|) (|UnivariatePolynomialSquareFree| |$$| 93) (69 . |squareFree|) (74 . |primitivePart|) (79 . |leadingCoefficient|) (|GaloisGroupFactorizer| 93) (84 . |factor|) (89 . |coerce|) (|Factored| |$|) (94 . |factor|) (|Mapping| 93 |$$|) (|Factored| |$$|) (|FactoredFunctions2| |$$| 93) (99 . |map|) (|FactoredFunctionUtilities| 93) (105 . |mergeFactors|) (111 . |factorSquareFree|) (116 . |zero?|) (121 . |unitCanonical|) (|List| 93) (|HeuGcd| 93) (126 . |gcd|) (|SparseUnivariatePolynomial| |$|) |INT;gcdPolynomial;3Sup;57| (|Union| 118 (QUOTE "failed")) (|Fraction| 11) (|PatternMatchResult| 11 |$|) (|Pattern| 11) (|Union| 11 (QUOTE "failed")) (|Union| 123 (QUOTE "failed")) (|List| |$|) (|Record| (|:| |coef| 123) (|:| |generator| |$|)) (|Record| (|:| |coef1| |$|) (|:| |coef2| |$|)) (|Union| 125 (QUOTE "failed")) (|Record| (|:| |coef1| |$|) (|:| |coef2| |$|) (|:| |generator| |$|)) (|PositiveInteger|) (|SingleInteger|))) (QUOTE #(|~=| 131 |zero?| 137 |unitNormal| 142 |unitCanonical| 147 |unit?| 152 |symmetricRemainder| 157 |subtractIfCan| 163 |submod| 169 |squareFreePart| 176 |squareFree| 181 |sizeLess?| 186 |sign| 192 |shift| 197 |sample| 203 |retractIfCan| 207 |retract| 212 |rem| 217 |reducedSystem| 223 |recip| 234 |rationalIfCan| 239 |rational?| 244 |rational| 249 |random| 254 |quo| 263 |principalIdeal| 269 |prime?| 274 |powmod| 279 |positiveRemainder| 286 |positive?| 292 |permutation| 297 |patternMatch| 303 |one?| 310 |odd?| 315 |nextItem| 320 |negative?| 325 |multiEuclidean| 330 |mulmod| 336 |min| 343 |max| 349 |mask| 355 |length| 360 |lcm| 365 |latex| 376 |invmod| 381 |init| 387 |inc| 391 |hash| 396 |gcdPolynomial| 406 |gcd| 412 |factorial| 423 |factor| 428 |extendedEuclidean| 433 |exquo| 446 |expressIdealMember| 452 |even?| 458 |euclideanSize| 463 |divide| 468 |differentiate| 474 |dec| 485 |copy| 490 |convert| 495 |coerce| 525 |characteristic| 545 |bit?| 549 |binomial| 555 |base| 561 |associates?| 565 |addmod| 571 |abs| 578 |^| 583 |Zero| 595 |One| 599 |OMwrite| 603 D 627 |>=| 638 |>| 644 |=| 650 |<=| 656 |<| 662 |-| 668 |+| 679 |**| 685 |*| 697)) (QUOTE ((|infinite| . 0) (|noetherian| . 0) (|canonicalsClosed| . 0) (|canonical| . 0) (|canonicalUnitNormal| . 0) (|multiplicativeValuation| . 0) (|noZeroDivisors| . 0) ((|commutative| "*") . 0) (|rightUnitary| . 0) (|leftUnitary| . 0) (|unitsKnown| . 0))) (CONS (|makeByteWordVec2| 1 (QUOTE (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))) (CONS (QUOTE #(|IntegerNumberSystem&| |EuclideanDomain&| |UniqueFactorizationDomain&| NIL NIL |GcdDomain&| |IntegralDomain&| |Algebra&| NIL NIL |DifferentialRing&| |OrderedRing&| NIL NIL |Module&| NIL NIL |Ring&| NIL NIL NIL NIL NIL |AbelianGroup&| NIL NIL |AbelianMonoid&| |Monoid&| NIL NIL |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| NIL |SetCategory&| NIL NIL NIL NIL NIL NIL NIL |RetractableTo&| NIL |BasicType&| NIL)) (CONS (QUOTE #((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) (|PrincipalIdealDomain|) (|OrderedIntegralDomain|) (|GcdDomain|) (|IntegralDomain|) (|Algebra| |$$|) (|CharacteristicZero|) (|LinearlyExplicitRingOver| 11) (|DifferentialRing|) (|OrderedRing|) (|CommutativeRing|) (|EntireRing|) (|Module| |$$|) (|OrderedAbelianGroup|) (|BiModule| |$$| |$$|) (|Ring|) (|OrderedCancellationAbelianMonoid|) (|LeftModule| |$$|) (|Rng|) (|RightModule| |$$|) (|OrderedAbelianMonoid|) (|AbelianGroup|) (|OrderedAbelianSemiGroup|) (|CancellationAbelianMonoid|) (|AbelianMonoid|) (|Monoid|) (|StepThrough|) (|PatternMatchable| 11) (|OrderedSet|) (|AbelianSemiGroup|) (|SemiGroup|) (|RealConstant|) (|SetCategory|) (|OpenMath|) (|ConvertibleTo| 9) (|ConvertibleTo| 43) (|ConvertibleTo| 46) (|CombinatorialFunctionCategory|) (|ConvertibleTo| 120) (|ConvertibleTo| 48) (|RetractableTo| 11) (|ConvertibleTo| 11) (|BasicType|) (|CoercibleTo| 34))) (|makeByteWordVec2| 129 (QUOTE (1 7 6 0 8 3 7 6 0 9 9 10 2 7 6 0 11 12 1 7 6 0 13 0 14 0 15 2 7 0 9 14 16 1 7 6 0 17 1 7 6 0 18 1 7 6 0 19 1 34 0 11 35 1 43 0 11 44 1 48 0 11 49 2 90 87 88 89 91 1 94 92 93 95 1 93 0 0 96 1 93 2 0 97 1 98 92 93 99 1 93 0 2 100 1 0 101 0 102 2 105 92 103 104 106 2 107 92 92 92 108 1 98 92 93 109 1 93 21 0 110 1 93 0 0 111 1 113 93 112 114 2 0 21 0 0 1 1 0 21 0 25 1 0 84 0 85 1 0 0 0 86 1 0 21 0 1 2 0 0 0 0 1 2 0 80 0 0 1 3 0 0 0 0 0 41 1 0 0 0 1 1 0 101 0 1 2 0 21 0 0 1 1 0 11 0 1 2 0 0 0 0 79 0 0 0 1 1 0 121 0 1 1 0 11 0 1 2 0 0 0 0 78 2 0 57 55 58 59 1 0 54 55 56 1 0 80 0 82 1 0 117 0 1 1 0 21 0 1 1 0 118 0 1 1 0 0 0 62 0 0 0 61 2 0 0 0 0 77 1 0 124 123 1 1 0 21 0 1 3 0 0 0 0 0 1 2 0 0 0 0 53 1 0 21 0 1 2 0 0 0 0 1 3 0 119 0 120 119 1 1 0 21 0 1 1 0 21 0 72 1 0 80 0 1 1 0 21 0 33 2 0 122 123 0 1 3 0 0 0 0 0 42 2 0 0 0 0 74 2 0 0 0 0 73 1 0 0 0 1 1 0 0 0 39 1 0 0 123 1 2 0 0 0 0 1 1 0 9 0 52 2 0 0 0 0 1 0 0 0 1 1 0 0 0 30 1 0 0 0 32 1 0 129 0 1 2 0 115 115 115 116 2 0 0 0 0 83 1 0 0 123 1 1 0 0 0 1 1 0 101 0 102 3 0 126 0 0 0 1 2 0 127 0 0 1 2 0 80 0 0 81 2 0 122 123 0 1 1 0 21 0 1 1 0 70 0 1 2 0 75 0 0 76 1 0 0 0 1 2 0 0 0 70 1 1 0 0 0 31 1 0 0 0 29 1 0 9 0 51 1 0 46 0 47 1 0 43 0 45 1 0 48 0 50 1 0 120 0 1 1 0 11 0 38 1 0 0 11 37 1 0 0 11 37 1 0 0 0 1 1 0 34 0 36 0 0 70 1 2 0 21 0 0 1 2 0 0 0 0 1 0 0 0 28 2 0 21 0 0 1 3 0 0 0 0 0 40 1 0 0 0 60 2 0 0 0 70 1 2 0 0 0 128 1 0 0 0 26 0 0 0 27 3 0 6 7 0 21 24 2 0 9 0 21 22 2 0 6 7 0 23 1 0 9 0 20 1 0 0 0 1 2 0 0 0 70 1 2 0 21 0 0 1 2 0 21 0 0 1 2 0 21 0 0 63 2 0 21 0 0 1 2 0 21 0 0 64 2 0 0 0 0 67 1 0 0 0 65 2 0 0 0 0 66 2 0 0 0 70 71 2 0 0 0 128 1 2 0 0 0 0 68 2 0 0 11 0 69 2 0 0 70 0 1 2 0 0 128 0 1)))))) (QUOTE |lookupComplete|))) 
-
-(MAKEPROP (QUOTE |Integer|) (QUOTE NILADIC) T) 
+(DEFUN |INT;factorPolynomial| (|p| $)
+  (PROG (|pp| #0=#:G1498)
+    (RETURN
+      (SEQ (LETT |pp| (SPADCALL |p| (|getShellEntry| $ 98))
+                 |INT;factorPolynomial|)
+           (EXIT (COND
+                   ((EQL (SPADCALL |pp| (|getShellEntry| $ 99))
+                         (SPADCALL |p| (|getShellEntry| $ 99)))
+                    (SPADCALL |p| (|getShellEntry| $ 101)))
+                   ('T
+                    (SPADCALL (SPADCALL |pp| (|getShellEntry| $ 101))
+                        (SPADCALL (CONS #'|INT;factorPolynomial!0| $)
+                            (SPADCALL
+                                (PROG2 (LETT #0#
+                                        (SPADCALL
+                                         (SPADCALL |p|
+                                          (|getShellEntry| $ 99))
+                                         (SPADCALL |pp|
+                                          (|getShellEntry| $ 99))
+                                         (|getShellEntry| $ 83))
+                                        |INT;factorPolynomial|)
+                                       (QCDR #0#)
+                                  (|check-union| (QEQCAR #0# 0) $ #0#))
+                                (|getShellEntry| $ 104))
+                            (|getShellEntry| $ 108))
+                        (|getShellEntry| $ 110))))))))) 
+
+(DEFUN |INT;factorPolynomial!0| (|#1| $)
+  (SPADCALL |#1| (|getShellEntry| $ 102))) 
+
+(DEFUN |INT;factorSquareFreePolynomial| (|p| $)
+  (SPADCALL |p| (|getShellEntry| $ 111))) 
+
+(DEFUN |INT;gcdPolynomial;3Sup;58| (|p| |q| $)
+  (COND
+    ((SPADCALL |p| (|getShellEntry| $ 112))
+     (SPADCALL |q| (|getShellEntry| $ 113)))
+    ((SPADCALL |q| (|getShellEntry| $ 112))
+     (SPADCALL |p| (|getShellEntry| $ 113)))
+    ('T (SPADCALL (LIST |p| |q|) (|getShellEntry| $ 116))))) 
+
+(DEFUN |Integer| ()
+  (PROG ()
+    (RETURN
+      (PROG (#0=#:G1523)
+        (RETURN
+          (COND
+            ((LETT #0# (HGET |$ConstructorCache| '|Integer|) |Integer|)
+             (|CDRwithIncrement| (CDAR #0#)))
+            ('T
+             (UNWIND-PROTECT
+               (PROG1 (CDDAR (HPUT |$ConstructorCache| '|Integer|
+                                   (LIST
+                                    (CONS NIL (CONS 1 (|Integer;|))))))
+                 (LETT #0# T |Integer|))
+               (COND
+                 ((NOT #0#) (HREM |$ConstructorCache| '|Integer|))))))))))) 
+
+(DEFUN |Integer;| ()
+  (PROG (|dv$| $ |pv$|)
+    (RETURN
+      (PROGN
+        (LETT |dv$| '(|Integer|) . #0=(|Integer|))
+        (LETT $ (|newShell| 132) . #0#)
+        (|setShellEntry| $ 0 |dv$|)
+        (|setShellEntry| $ 3
+            (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
+        (|haddProp| |$ConstructorCache| '|Integer| NIL (CONS 1 $))
+        (|stuffDomainSlots| $)
+        (|setShellEntry| $ 71
+            (|setShellEntry| $ 70
+                (CONS (|dispatchFunction| |INT;*;I2$;40|) $)))
+        $)))) 
+
+(MAKEPROP '|Integer| '|infovec|
+    (LIST '#(NIL NIL NIL NIL NIL NIL (|Void|) (|OpenMathDevice|)
+             (0 . |OMputApp|) (|String|) (5 . |OMputSymbol|)
+             (|Integer|) (12 . |OMputInteger|) (18 . |OMputEndApp|)
+             (|OpenMathEncoding|) (23 . |OMencodingXML|)
+             (27 . |OMopenString|) (33 . |OMputObject|)
+             (38 . |OMputEndObject|) (43 . |OMclose|)
+             |INT;OMwrite;$S;2| (|Boolean|) |INT;OMwrite;$BS;3|
+             |INT;OMwrite;Omd$V;4| |INT;OMwrite;Omd$BV;5|
+             |INT;zero?;$B;6| |INT;one?;$B;7|
+             (CONS IDENTITY
+                   (FUNCALL (|dispatchFunction| |INT;Zero;$;8|) $))
+             (CONS IDENTITY
+                   (FUNCALL (|dispatchFunction| |INT;One;$;9|) $))
+             |INT;base;$;10| |INT;copy;2$;11| |INT;inc;2$;12|
+             |INT;dec;2$;13| |INT;hash;2$;14| |INT;negative?;$B;15|
+             (|OutputForm|) (48 . |outputForm|) |INT;coerce;$Of;16|
+             |INT;coerce;I$;17| |INT;convert;$I;18| |INT;length;2$;19|
+             |INT;addmod;4$;20| |INT;submod;4$;21| |INT;mulmod;4$;22|
+             (|Float|) (53 . |coerce|) |INT;convert;$F;23|
+             (|DoubleFloat|) |INT;convert;$Df;24| (|InputForm|)
+             (58 . |convert|) |INT;convert;$If;25| |INT;convert;$S;26|
+             |INT;latex;$S;27| |INT;positiveRemainder;3$;28|
+             (|Matrix| 11) (|Matrix| $) |INT;reducedSystem;MM;29|
+             (|Vector| 11) (|Record| (|:| |mat| 55) (|:| |vec| 58))
+             (|Vector| $) |INT;reducedSystem;MVR;30| |INT;abs;2$;31|
+             |INT;random;$;32| |INT;random;2$;33| |INT;=;2$B;34|
+             |INT;<;2$B;35| |INT;-;2$;36| |INT;+;3$;37| |INT;-;3$;38|
+             NIL NIL (|NonNegativeInteger|) |INT;**;$Nni$;41|
+             |INT;odd?;$B;42| |INT;max;3$;43| |INT;min;3$;44|
+             (|Record| (|:| |quotient| $) (|:| |remainder| $))
+             |INT;divide;2$R;45| |INT;quo;3$;46| |INT;rem;3$;47|
+             |INT;shift;3$;48| (|Union| $ '"failed") |INT;exquo;2$U;49|
+             |INT;recip;$U;50| |INT;gcd;3$;51|
+             (|Record| (|:| |unit| $) (|:| |canonical| $)
+                 (|:| |associate| $))
+             |INT;unitNormal;$R;52| |INT;unitCanonical;2$;53|
+             (|SparseUnivariatePolynomial| 11) (|List| 89)
+             (|Union| 90 '"failed")
+             (|IntegerSolveLinearPolynomialEquation|)
+             (63 . |solveLinearPolynomialEquation|)
+             (|SparseUnivariatePolynomial| $$) (|Factored| 94)
+             (|UnivariatePolynomialSquareFree| $$ 94)
+             (69 . |squareFree|) (74 . |primitivePart|)
+             (79 . |leadingCoefficient|) (|GaloisGroupFactorizer| 94)
+             (84 . |factor|) (89 . |coerce|) (|Factored| $)
+             (94 . |factor|) (|Mapping| 94 $$) (|Factored| $$)
+             (|FactoredFunctions2| $$ 94) (99 . |map|)
+             (|FactoredFunctionUtilities| 94) (105 . |mergeFactors|)
+             (111 . |factorSquareFree|) (116 . |zero?|)
+             (121 . |unitCanonical|) (|List| 94) (|HeuGcd| 94)
+             (126 . |gcd|) (|SparseUnivariatePolynomial| $)
+             |INT;gcdPolynomial;3Sup;58| (|Fraction| 11)
+             (|Union| 119 '"failed") (|PatternMatchResult| 11 $)
+             (|Pattern| 11) (|Union| 11 '"failed") (|List| $)
+             (|Union| 124 '"failed")
+             (|Record| (|:| |coef| 124) (|:| |generator| $))
+             (|Record| (|:| |coef1| $) (|:| |coef2| $))
+             (|Union| 127 '"failed")
+             (|Record| (|:| |coef1| $) (|:| |coef2| $)
+                 (|:| |generator| $))
+             (|PositiveInteger|) (|SingleInteger|))
+          '#(~= 131 |zero?| 137 |unitNormal| 142 |unitCanonical| 147
+             |unit?| 152 |symmetricRemainder| 157 |subtractIfCan| 163
+             |submod| 169 |squareFreePart| 176 |squareFree| 181
+             |sizeLess?| 186 |sign| 192 |shift| 197 |sample| 203
+             |retractIfCan| 207 |retract| 212 |rem| 217 |reducedSystem|
+             223 |recip| 234 |rationalIfCan| 239 |rational?| 244
+             |rational| 249 |random| 254 |quo| 263 |principalIdeal| 269
+             |prime?| 274 |powmod| 279 |positiveRemainder| 286
+             |positive?| 292 |permutation| 297 |patternMatch| 303
+             |one?| 310 |odd?| 315 |nextItem| 320 |negative?| 325
+             |multiEuclidean| 330 |mulmod| 336 |min| 343 |max| 349
+             |mask| 355 |length| 360 |lcm| 365 |latex| 376 |invmod| 381
+             |init| 387 |inc| 391 |hash| 396 |gcdPolynomial| 406 |gcd|
+             412 |factorial| 423 |factor| 428 |extendedEuclidean| 433
+             |exquo| 446 |expressIdealMember| 452 |even?| 458
+             |euclideanSize| 463 |divide| 468 |differentiate| 474 |dec|
+             485 |copy| 490 |convert| 495 |coerce| 525 |characteristic|
+             545 |bit?| 549 |binomial| 555 |base| 561 |associates?| 565
+             |addmod| 571 |abs| 578 ^ 583 |Zero| 595 |One| 599
+             |OMwrite| 603 D 627 >= 638 > 644 = 650 <= 656 < 662 - 668
+             + 679 ** 685 * 697)
+          '((|infinite| . 0) (|noetherian| . 0)
+            (|canonicalsClosed| . 0) (|canonical| . 0)
+            (|canonicalUnitNormal| . 0) (|multiplicativeValuation| . 0)
+            (|noZeroDivisors| . 0) ((|commutative| "*") . 0)
+            (|rightUnitary| . 0) (|leftUnitary| . 0)
+            (|unitsKnown| . 0))
+          (CONS (|makeByteWordVec2| 1
+                    '(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
+                      0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))
+                (CONS '#(|IntegerNumberSystem&| |EuclideanDomain&|
+                         |UniqueFactorizationDomain&| NIL NIL
+                         |GcdDomain&| |IntegralDomain&| |Algebra&| NIL
+                         NIL |DifferentialRing&| |OrderedRing&| NIL NIL
+                         |Module&| NIL NIL |Ring&| NIL NIL NIL NIL NIL
+                         |AbelianGroup&| NIL NIL |AbelianMonoid&|
+                         |Monoid&| NIL NIL |OrderedSet&|
+                         |AbelianSemiGroup&| |SemiGroup&| NIL
+                         |SetCategory&| NIL NIL NIL NIL NIL NIL NIL
+                         |RetractableTo&| NIL |BasicType&| NIL)
+                      (CONS '#((|IntegerNumberSystem|)
+                               (|EuclideanDomain|)
+                               (|UniqueFactorizationDomain|)
+                               (|PrincipalIdealDomain|)
+                               (|OrderedIntegralDomain|) (|GcdDomain|)
+                               (|IntegralDomain|) (|Algebra| $$)
+                               (|CharacteristicZero|)
+                               (|LinearlyExplicitRingOver| 11)
+                               (|DifferentialRing|) (|OrderedRing|)
+                               (|CommutativeRing|) (|EntireRing|)
+                               (|Module| $$) (|OrderedAbelianGroup|)
+                               (|BiModule| $$ $$) (|Ring|)
+                               (|OrderedCancellationAbelianMonoid|)
+                               (|LeftModule| $$) (|Rng|)
+                               (|RightModule| $$)
+                               (|OrderedAbelianMonoid|)
+                               (|AbelianGroup|)
+                               (|OrderedAbelianSemiGroup|)
+                               (|CancellationAbelianMonoid|)
+                               (|AbelianMonoid|) (|Monoid|)
+                               (|StepThrough|) (|PatternMatchable| 11)
+                               (|OrderedSet|) (|AbelianSemiGroup|)
+                               (|SemiGroup|) (|RealConstant|)
+                               (|SetCategory|) (|OpenMath|)
+                               (|ConvertibleTo| 9) (|ConvertibleTo| 44)
+                               (|ConvertibleTo| 47)
+                               (|CombinatorialFunctionCategory|)
+                               (|ConvertibleTo| 122)
+                               (|ConvertibleTo| 49)
+                               (|RetractableTo| 11)
+                               (|ConvertibleTo| 11) (|BasicType|)
+                               (|CoercibleTo| 35))
+                            (|makeByteWordVec2| 131
+                                '(1 7 6 0 8 3 7 6 0 9 9 10 2 7 6 0 11
+                                  12 1 7 6 0 13 0 14 0 15 2 7 0 9 14 16
+                                  1 7 6 0 17 1 7 6 0 18 1 7 6 0 19 1 35
+                                  0 11 36 1 44 0 11 45 1 49 0 11 50 2
+                                  92 91 90 89 93 1 96 95 94 97 1 94 0 0
+                                  98 1 94 2 0 99 1 100 95 94 101 1 94 0
+                                  2 102 1 0 103 0 104 2 107 95 105 106
+                                  108 2 109 95 95 95 110 1 100 95 94
+                                  111 1 94 21 0 112 1 94 0 0 113 1 115
+                                  94 114 116 2 0 21 0 0 1 1 0 21 0 25 1
+                                  0 86 0 87 1 0 0 0 88 1 0 21 0 1 2 0 0
+                                  0 0 1 2 0 82 0 0 1 3 0 0 0 0 0 42 1 0
+                                  0 0 1 1 0 103 0 1 2 0 21 0 0 1 1 0 11
+                                  0 1 2 0 0 0 0 81 0 0 0 1 1 0 123 0 1
+                                  1 0 11 0 1 2 0 0 0 0 80 2 0 59 56 60
+                                  61 1 0 55 56 57 1 0 82 0 84 1 0 120 0
+                                  1 1 0 21 0 1 1 0 119 0 1 1 0 0 0 64 0
+                                  0 0 63 2 0 0 0 0 79 1 0 126 124 1 1 0
+                                  21 0 1 3 0 0 0 0 0 1 2 0 0 0 0 54 1 0
+                                  21 0 1 2 0 0 0 0 1 3 0 121 0 122 121
+                                  1 1 0 21 0 26 1 0 21 0 74 1 0 82 0 1
+                                  1 0 21 0 34 2 0 125 124 0 1 3 0 0 0 0
+                                  0 43 2 0 0 0 0 76 2 0 0 0 0 75 1 0 0
+                                  0 1 1 0 0 0 40 1 0 0 124 1 2 0 0 0 0
+                                  1 1 0 9 0 53 2 0 0 0 0 1 0 0 0 1 1 0
+                                  0 0 31 1 0 0 0 33 1 0 131 0 1 2 0 117
+                                  117 117 118 2 0 0 0 0 85 1 0 0 124 1
+                                  1 0 0 0 1 1 0 103 0 104 3 0 128 0 0 0
+                                  1 2 0 129 0 0 1 2 0 82 0 0 83 2 0 125
+                                  124 0 1 1 0 21 0 1 1 0 72 0 1 2 0 77
+                                  0 0 78 1 0 0 0 1 2 0 0 0 72 1 1 0 0 0
+                                  32 1 0 0 0 30 1 0 9 0 52 1 0 47 0 48
+                                  1 0 44 0 46 1 0 49 0 51 1 0 122 0 1 1
+                                  0 11 0 39 1 0 0 11 38 1 0 0 11 38 1 0
+                                  0 0 1 1 0 35 0 37 0 0 72 1 2 0 21 0 0
+                                  1 2 0 0 0 0 1 0 0 0 29 2 0 21 0 0 1 3
+                                  0 0 0 0 0 41 1 0 0 0 62 2 0 0 0 72 1
+                                  2 0 0 0 130 1 0 0 0 27 0 0 0 28 3 0 6
+                                  7 0 21 24 2 0 9 0 21 22 2 0 6 7 0 23
+                                  1 0 9 0 20 1 0 0 0 1 2 0 0 0 72 1 2 0
+                                  21 0 0 1 2 0 21 0 0 1 2 0 21 0 0 65 2
+                                  0 21 0 0 1 2 0 21 0 0 66 2 0 0 0 0 69
+                                  1 0 0 0 67 2 0 0 0 0 68 2 0 0 0 72 73
+                                  2 0 0 0 130 1 2 0 0 0 0 70 2 0 0 11 0
+                                  71 2 0 0 72 0 1 2 0 0 130 0 1)))))
+          '|lookupComplete|)) 
+
+(MAKEPROP '|Integer| 'NILADIC T) 
 @
+
 \section{domain NNI NonNegativeInteger}
+
 <<domain NNI NonNegativeInteger>>=
 )abbrev domain NNI NonNegativeInteger
 ++ Author: