* interp/compiler.boot (compGreaterThan): New. Compile

	greater-than expressions.
	* interp/parse.boot (parseGreaterThan): Remove.
	* algebra/data.spad.pamphlet (Byte): Implement all comparison
	functions. 
	* algebra/integer.spad.pamphlet (Integer): Likewise.
	* algebra/sf.spad.pamphlet (DoubleFloat): Likewise.
	* algebra/si.spad.pamphlet (SingleInteger): Likewise.
	* algebra/string.spad.pamphlet (Character): Likewise.

1 files changed, 204 insertions, 184 deletions

diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp
index cf309a77..591a5604 100644
--- a/src/algebra/strap/SINT.lsp
+++ b/src/algebra/strap/SINT.lsp
@@ -104,154 +104,165 @@
 
 (PUT '|SINT;<;2$B;24| '|SPADreplace| 'QSLESSP) 
 
+(DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Boolean|)
+                |SINT;>;2$B;25|)) 
+
+(PUT '|SINT;>;2$B;25| '|SPADreplace| 'QSGREATERP) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Boolean|)
+                |SINT;<=;2$B;26|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Boolean|)
+                |SINT;>=;2$B;27|)) 
+
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Short|)
-                |SINT;inc;2$;25|)) 
+                |SINT;inc;2$;28|)) 
 
-(PUT '|SINT;inc;2$;25| '|SPADreplace| 'QSADD1) 
+(PUT '|SINT;inc;2$;28| '|SPADreplace| 'QSADD1) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Short|)
-                |SINT;dec;2$;26|)) 
+                |SINT;dec;2$;29|)) 
 
-(PUT '|SINT;dec;2$;26| '|SPADreplace| 'QSSUB1) 
+(PUT '|SINT;dec;2$;29| '|SPADreplace| 'QSSUB1) 
 
-(DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Short|) |SINT;-;2$;27|)) 
+(DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Short|) |SINT;-;2$;30|)) 
 
-(PUT '|SINT;-;2$;27| '|SPADreplace| 'QSMINUS) 
+(PUT '|SINT;-;2$;30| '|SPADreplace| 'QSMINUS) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|)
-                |SINT;+;3$;28|)) 
+                |SINT;+;3$;31|)) 
 
-(PUT '|SINT;+;3$;28| '|SPADreplace| 'QSPLUS) 
+(PUT '|SINT;+;3$;31| '|SPADreplace| 'QSPLUS) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|)
-                |SINT;-;3$;29|)) 
+                |SINT;-;3$;32|)) 
 
-(PUT '|SINT;-;3$;29| '|SPADreplace| 'QSDIFFERENCE) 
+(PUT '|SINT;-;3$;32| '|SPADreplace| 'QSDIFFERENCE) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|)
-                |SINT;*;3$;30|)) 
+                |SINT;*;3$;33|)) 
 
-(PUT '|SINT;*;3$;30| '|SPADreplace| 'QSTIMES) 
+(PUT '|SINT;*;3$;33| '|SPADreplace| 'QSTIMES) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| (|%IntegerSection| 0) |%Shell|)
                     |%Short|)
-                |SINT;**;$Nni$;31|)) 
+                |SINT;**;$Nni$;34|)) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|)
-                |SINT;quo;3$;32|)) 
+                |SINT;quo;3$;35|)) 
 
-(PUT '|SINT;quo;3$;32| '|SPADreplace| 'QSQUOTIENT) 
+(PUT '|SINT;quo;3$;35| '|SPADreplace| 'QSQUOTIENT) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|)
-                |SINT;rem;3$;33|)) 
+                |SINT;rem;3$;36|)) 
 
-(PUT '|SINT;rem;3$;33| '|SPADreplace| 'QSREMAINDER) 
+(PUT '|SINT;rem;3$;36| '|SPADreplace| 'QSREMAINDER) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Pair|)
-                |SINT;divide;2$R;34|)) 
+                |SINT;divide;2$R;37|)) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|)
-                |SINT;gcd;3$;35|)) 
+                |SINT;gcd;3$;38|)) 
 
-(PUT '|SINT;gcd;3$;35| '|SPADreplace| 'GCD) 
+(PUT '|SINT;gcd;3$;38| '|SPADreplace| 'GCD) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Short|)
-                |SINT;abs;2$;36|)) 
+                |SINT;abs;2$;39|)) 
 
-(PUT '|SINT;abs;2$;36| '|SPADreplace| 'QSABSVAL) 
+(PUT '|SINT;abs;2$;39| '|SPADreplace| 'QSABSVAL) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Boolean|)
-                |SINT;odd?;$B;37|)) 
+                |SINT;odd?;$B;40|)) 
 
-(PUT '|SINT;odd?;$B;37| '|SPADreplace| 'QSODDP) 
+(PUT '|SINT;odd?;$B;40| '|SPADreplace| 'QSODDP) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Boolean|)
-                |SINT;zero?;$B;38|)) 
+                |SINT;zero?;$B;41|)) 
 
-(PUT '|SINT;zero?;$B;38| '|SPADreplace| 'QSZEROP) 
+(PUT '|SINT;zero?;$B;41| '|SPADreplace| 'QSZEROP) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Boolean|)
-                |SINT;one?;$B;39|)) 
+                |SINT;one?;$B;42|)) 
 
-(PUT '|SINT;one?;$B;39| '|SPADreplace| '(XLAM (|x|) (EQL |x| 1))) 
+(PUT '|SINT;one?;$B;42| '|SPADreplace| '(XLAM (|x|) (EQL |x| 1))) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|)
-                |SINT;max;3$;40|)) 
+                |SINT;max;3$;43|)) 
 
-(PUT '|SINT;max;3$;40| '|SPADreplace| 'QSMAX) 
+(PUT '|SINT;max;3$;43| '|SPADreplace| 'QSMAX) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|)
-                |SINT;min;3$;41|)) 
+                |SINT;min;3$;44|)) 
 
-(PUT '|SINT;min;3$;41| '|SPADreplace| 'QSMIN) 
+(PUT '|SINT;min;3$;44| '|SPADreplace| 'QSMIN) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Short|)
-                |SINT;hash;2$;42|)) 
+                |SINT;hash;2$;45|)) 
 
-(PUT '|SINT;hash;2$;42| '|SPADreplace| 'HASHEQ) 
+(PUT '|SINT;hash;2$;45| '|SPADreplace| 'HASHEQ) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Short|)
-                |SINT;length;2$;43|)) 
+                |SINT;length;2$;46|)) 
 
-(PUT '|SINT;length;2$;43| '|SPADreplace| 'INTEGER-LENGTH) 
+(PUT '|SINT;length;2$;46| '|SPADreplace| 'INTEGER-LENGTH) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|)
-                |SINT;shift;3$;44|)) 
+                |SINT;shift;3$;47|)) 
 
-(PUT '|SINT;shift;3$;44| '|SPADreplace| 'QSLEFTSHIFT) 
+(PUT '|SINT;shift;3$;47| '|SPADreplace| 'QSLEFTSHIFT) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Short| |%Shell|)
                     |%Short|)
-                |SINT;mulmod;4$;45|)) 
+                |SINT;mulmod;4$;48|)) 
 
-(PUT '|SINT;mulmod;4$;45| '|SPADreplace| 'QSMULTMOD) 
+(PUT '|SINT;mulmod;4$;48| '|SPADreplace| 'QSMULTMOD) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Short| |%Shell|)
                     |%Short|)
-                |SINT;addmod;4$;46|)) 
+                |SINT;addmod;4$;49|)) 
 
-(PUT '|SINT;addmod;4$;46| '|SPADreplace| 'QSADDMOD) 
+(PUT '|SINT;addmod;4$;49| '|SPADreplace| 'QSADDMOD) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Short| |%Shell|)
                     |%Short|)
-                |SINT;submod;4$;47|)) 
+                |SINT;submod;4$;50|)) 
 
-(PUT '|SINT;submod;4$;47| '|SPADreplace| 'QSDIFMOD) 
+(PUT '|SINT;submod;4$;50| '|SPADreplace| 'QSDIFMOD) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Boolean|)
-                |SINT;negative?;$B;48|)) 
+                |SINT;negative?;$B;51|)) 
 
-(PUT '|SINT;negative?;$B;48| '|SPADreplace| 'QSMINUSP) 
+(PUT '|SINT;negative?;$B;51| '|SPADreplace| 'QSMINUSP) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Shell|) (|%IntegerSection| 0))
-                |SINT;size;Nni;49|)) 
+                |SINT;size;Nni;52|)) 
 
 (DECLAIM (FTYPE (FUNCTION ((|%IntegerSection| 1) |%Shell|) |%Short|)
-                |SINT;index;Pi$;50|)) 
+                |SINT;index;Pi$;53|)) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) (|%IntegerSection| 1))
-                |SINT;lookup;$Pi;51|)) 
+                |SINT;lookup;$Pi;54|)) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Thing| (|%Vector| *) |%Shell|) |%Pair|)
-                |SINT;reducedSystem;MVR;52|)) 
+                |SINT;reducedSystem;MVR;55|)) 
 
-(PUT '|SINT;reducedSystem;MVR;52| '|SPADreplace| 'CONS) 
+(PUT '|SINT;reducedSystem;MVR;55| '|SPADreplace| 'CONS) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Short| |%Shell|) |%Short|)
-                |SINT;positiveRemainder;3$;53|)) 
+                |SINT;positiveRemainder;3$;56|)) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Integer| |%Shell|) |%Short|)
-                |SINT;coerce;I$;54|)) 
+                |SINT;coerce;I$;57|)) 
 
-(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Short|) |SINT;random;$;55|)) 
+(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Short|) |SINT;random;$;58|)) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Short|)
-                |SINT;random;2$;56|)) 
+                |SINT;random;2$;59|)) 
 
-(PUT '|SINT;random;2$;56| '|SPADreplace| 'RANDOM) 
+(PUT '|SINT;random;2$;59| '|SPADreplace| 'RANDOM) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Shell|)
-                |SINT;unitNormal;$R;57|)) 
+                |SINT;unitNormal;$R;60|)) 
 
 (DEFUN |SINT;writeOMSingleInt| (|dev| |x| $)
   (SEQ (COND
@@ -358,105 +369,113 @@
   (DECLARE (IGNORE $))
   (QSLESSP |x| |y|)) 
 
-(DEFUN |SINT;inc;2$;25| (|x| $) (DECLARE (IGNORE $)) (QSADD1 |x|)) 
+(DEFUN |SINT;>;2$B;25| (|x| |y| $)
+  (DECLARE (IGNORE $))
+  (QSGREATERP |x| |y|)) 
+
+(DEFUN |SINT;<=;2$B;26| (|x| |y| $) (NOT (> |x| |y|))) 
+
+(DEFUN |SINT;>=;2$B;27| (|x| |y| $) (NOT (< |x| |y|))) 
 
-(DEFUN |SINT;dec;2$;26| (|x| $) (DECLARE (IGNORE $)) (QSSUB1 |x|)) 
+(DEFUN |SINT;inc;2$;28| (|x| $) (DECLARE (IGNORE $)) (QSADD1 |x|)) 
 
-(DEFUN |SINT;-;2$;27| (|x| $) (DECLARE (IGNORE $)) (QSMINUS |x|)) 
+(DEFUN |SINT;dec;2$;29| (|x| $) (DECLARE (IGNORE $)) (QSSUB1 |x|)) 
 
-(DEFUN |SINT;+;3$;28| (|x| |y| $)
+(DEFUN |SINT;-;2$;30| (|x| $) (DECLARE (IGNORE $)) (QSMINUS |x|)) 
+
+(DEFUN |SINT;+;3$;31| (|x| |y| $)
   (DECLARE (IGNORE $))
   (QSPLUS |x| |y|)) 
 
-(DEFUN |SINT;-;3$;29| (|x| |y| $)
+(DEFUN |SINT;-;3$;32| (|x| |y| $)
   (DECLARE (IGNORE $))
   (QSDIFFERENCE |x| |y|)) 
 
-(DEFUN |SINT;*;3$;30| (|x| |y| $)
+(DEFUN |SINT;*;3$;33| (|x| |y| $)
   (DECLARE (IGNORE $))
   (QSTIMES |x| |y|)) 
 
-(DEFUN |SINT;**;$Nni$;31| (|x| |n| $)
+(DEFUN |SINT;**;$Nni$;34| (|x| |n| $)
   (SPADCALL (EXPT |x| |n|) (|getShellEntry| $ 36))) 
 
-(DEFUN |SINT;quo;3$;32| (|x| |y| $)
+(DEFUN |SINT;quo;3$;35| (|x| |y| $)
   (DECLARE (IGNORE $))
   (QSQUOTIENT |x| |y|)) 
 
-(DEFUN |SINT;rem;3$;33| (|x| |y| $)
+(DEFUN |SINT;rem;3$;36| (|x| |y| $)
   (DECLARE (IGNORE $))
   (QSREMAINDER |x| |y|)) 
 
-(DEFUN |SINT;divide;2$R;34| (|x| |y| $)
+(DEFUN |SINT;divide;2$R;37| (|x| |y| $)
   (CONS (QSQUOTIENT |x| |y|) (QSREMAINDER |x| |y|))) 
 
-(DEFUN |SINT;gcd;3$;35| (|x| |y| $)
+(DEFUN |SINT;gcd;3$;38| (|x| |y| $)
   (DECLARE (IGNORE $))
   (GCD |x| |y|)) 
 
-(DEFUN |SINT;abs;2$;36| (|x| $) (DECLARE (IGNORE $)) (QSABSVAL |x|)) 
+(DEFUN |SINT;abs;2$;39| (|x| $) (DECLARE (IGNORE $)) (QSABSVAL |x|)) 
 
-(DEFUN |SINT;odd?;$B;37| (|x| $) (DECLARE (IGNORE $)) (QSODDP |x|)) 
+(DEFUN |SINT;odd?;$B;40| (|x| $) (DECLARE (IGNORE $)) (QSODDP |x|)) 
 
-(DEFUN |SINT;zero?;$B;38| (|x| $) (DECLARE (IGNORE $)) (QSZEROP |x|)) 
+(DEFUN |SINT;zero?;$B;41| (|x| $) (DECLARE (IGNORE $)) (QSZEROP |x|)) 
 
-(DEFUN |SINT;one?;$B;39| (|x| $) (DECLARE (IGNORE $)) (EQL |x| 1)) 
+(DEFUN |SINT;one?;$B;42| (|x| $) (DECLARE (IGNORE $)) (EQL |x| 1)) 
 
-(DEFUN |SINT;max;3$;40| (|x| |y| $)
+(DEFUN |SINT;max;3$;43| (|x| |y| $)
   (DECLARE (IGNORE $))
   (QSMAX |x| |y|)) 
 
-(DEFUN |SINT;min;3$;41| (|x| |y| $)
+(DEFUN |SINT;min;3$;44| (|x| |y| $)
   (DECLARE (IGNORE $))
   (QSMIN |x| |y|)) 
 
-(DEFUN |SINT;hash;2$;42| (|x| $) (DECLARE (IGNORE $)) (HASHEQ |x|)) 
+(DEFUN |SINT;hash;2$;45| (|x| $) (DECLARE (IGNORE $)) (HASHEQ |x|)) 
 
-(DEFUN |SINT;length;2$;43| (|x| $)
+(DEFUN |SINT;length;2$;46| (|x| $)
   (DECLARE (IGNORE $))
   (INTEGER-LENGTH |x|)) 
 
-(DEFUN |SINT;shift;3$;44| (|x| |n| $)
+(DEFUN |SINT;shift;3$;47| (|x| |n| $)
   (DECLARE (IGNORE $))
   (QSLEFTSHIFT |x| |n|)) 
 
-(DEFUN |SINT;mulmod;4$;45| (|a| |b| |p| $)
+(DEFUN |SINT;mulmod;4$;48| (|a| |b| |p| $)
   (DECLARE (IGNORE $))
   (QSMULTMOD |a| |b| |p|)) 
 
-(DEFUN |SINT;addmod;4$;46| (|a| |b| |p| $)
+(DEFUN |SINT;addmod;4$;49| (|a| |b| |p| $)
   (DECLARE (IGNORE $))
   (QSADDMOD |a| |b| |p|)) 
 
-(DEFUN |SINT;submod;4$;47| (|a| |b| |p| $)
+(DEFUN |SINT;submod;4$;50| (|a| |b| |p| $)
   (DECLARE (IGNORE $))
   (QSDIFMOD |a| |b| |p|)) 
 
-(DEFUN |SINT;negative?;$B;48| (|x| $)
+(DEFUN |SINT;negative?;$B;51| (|x| $)
   (DECLARE (IGNORE $))
   (QSMINUSP |x|)) 
 
-(DEFUN |SINT;size;Nni;49| ($)
+(DEFUN |SINT;size;Nni;52| ($)
   (+ (- |$ShortMaximum| |$ShortMinimum|) 1)) 
 
-(DEFUN |SINT;index;Pi$;50| (|i| $)
-  (PROG (#0=#:G1456)
+(DEFUN |SINT;index;Pi$;53| (|i| $)
+  (PROG (#0=#:G1459)
     (RETURN
       (PROG1 (LETT #0# (- (+ |i| |$ShortMinimum|) 1)
-                   |SINT;index;Pi$;50|)
+                   |SINT;index;Pi$;53|)
         (|check-subtype| (SMINTP #0#) '(|SingleInteger|) #0#))))) 
 
-(DEFUN |SINT;lookup;$Pi;51| (|x| $) (+ (- |x| |$ShortMinimum|) 1)) 
+(DEFUN |SINT;lookup;$Pi;54| (|x| $) (+ (- |x| |$ShortMinimum|) 1)) 
 
-(DEFUN |SINT;reducedSystem;MVR;52| (|m| |v| $)
+(DEFUN |SINT;reducedSystem;MVR;55| (|m| |v| $)
   (DECLARE (IGNORE $))
   (CONS |m| |v|)) 
 
-(DEFUN |SINT;positiveRemainder;3$;53| (|x| |n| $)
+(DEFUN |SINT;positiveRemainder;3$;56| (|x| |n| $)
   (PROG (|r|)
     (RETURN
       (SEQ (LETT |r| (QSREMAINDER |x| |n|)
-                 |SINT;positiveRemainder;3$;53|)
+                 |SINT;positiveRemainder;3$;56|)
            (EXIT (COND
                    ((QSMINUSP |r|)
                     (COND
@@ -464,18 +483,18 @@
                       ('T (QSPLUS |r| |n|))))
                    ('T |r|))))))) 
 
-(DEFUN |SINT;coerce;I$;54| (|x| $)
+(DEFUN |SINT;coerce;I$;57| (|x| $)
   (PROG1 |x| (|check-subtype| (SMINTP |x|) '(|SingleInteger|) |x|))) 
 
-(DEFUN |SINT;random;$;55| ($)
+(DEFUN |SINT;random;$;58| ($)
   (SEQ (|setShellEntry| $ 6
            (REMAINDER (TIMES 314159269 (|getShellEntry| $ 6))
                2147483647))
        (EXIT (REMAINDER (|getShellEntry| $ 6) 67108864)))) 
 
-(DEFUN |SINT;random;2$;56| (|n| $) (DECLARE (IGNORE $)) (RANDOM |n|)) 
+(DEFUN |SINT;random;2$;59| (|n| $) (DECLARE (IGNORE $)) (RANDOM |n|)) 
 
-(DEFUN |SINT;unitNormal;$R;57| (|x| $)
+(DEFUN |SINT;unitNormal;$R;60| (|x| $)
   (COND
     ((QSLESSP |x| 0) (VECTOR -1 (QSMINUS |x|) -1))
     ('T (VECTOR 1 |x| 1)))) 
@@ -483,7 +502,7 @@
 (DEFUN |SingleInteger| ()
   (PROG ()
     (RETURN
-      (PROG (#0=#:G1491)
+      (PROG (#0=#:G1494)
         (RETURN
           (COND
             ((LETT #0# (HGET |$ConstructorCache| '|SingleInteger|)
@@ -505,7 +524,7 @@
     (RETURN
       (PROGN
         (LETT |dv$| '(|SingleInteger|) . #0=(|SingleInteger|))
-        (LETT $ (|newShell| 111) . #0#)
+        (LETT $ (|newShell| 115) . #0#)
         (|setShellEntry| $ 0 |dv$|)
         (|setShellEntry| $ 3
             (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
@@ -521,7 +540,7 @@
                    (FUNCALL (|dispatchFunction| |SINT;Zero;$;10|) $))
              (0 . |Zero|) (|Boolean|) |SINT;<;2$B;24| (|Void|)
              (|OpenMathDevice|) (4 . |OMputApp|) (|String|)
-             (9 . |OMputSymbol|) |SINT;-;2$;27| |SINT;convert;$I;8|
+             (9 . |OMputSymbol|) |SINT;-;2$;30| |SINT;convert;$I;8|
              (16 . |OMputInteger|) (22 . |OMputEndApp|)
              (|OpenMathEncoding|) (27 . |OMencodingXML|)
              (31 . |OMopenString|) (37 . |OMputObject|)
@@ -530,7 +549,7 @@
              |SINT;OMwrite;Omd$V;4| |SINT;OMwrite;Omd$BV;5|
              (|Matrix| 5) (|Matrix| $) |SINT;reducedSystem;MM;6|
              (|OutputForm|) (52 . |coerce|) |SINT;coerce;$Of;7|
-             (57 . |coerce|) |SINT;*;3$;30| |SINT;*;I2$;9|
+             (57 . |coerce|) |SINT;*;3$;33| |SINT;*;I2$;9|
              (CONS IDENTITY
                    (FUNCALL (|dispatchFunction| |SINT;One;$;11|) $))
              |SINT;base;$;12|
@@ -541,57 +560,58 @@
              |SINT;=;2$B;15| |SINT;~;2$;16| |SINT;not;2$;17|
              |SINT;/\\;3$;18| |SINT;\\/;3$;19| |SINT;Not;2$;20|
              |SINT;And;3$;21| |SINT;Or;3$;22| |SINT;xor;3$;23|
-             |SINT;inc;2$;25| |SINT;dec;2$;26| |SINT;+;3$;28|
-             |SINT;-;3$;29| (|NonNegativeInteger|) |SINT;**;$Nni$;31|
-             |SINT;quo;3$;32| |SINT;rem;3$;33|
+             |SINT;>;2$B;25| (62 . |not|) |SINT;<=;2$B;26|
+             |SINT;>=;2$B;27| |SINT;inc;2$;28| |SINT;dec;2$;29|
+             |SINT;+;3$;31| |SINT;-;3$;32| (|NonNegativeInteger|)
+             |SINT;**;$Nni$;34| |SINT;quo;3$;35| |SINT;rem;3$;36|
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
-             |SINT;divide;2$R;34| |SINT;gcd;3$;35| |SINT;abs;2$;36|
-             |SINT;odd?;$B;37| |SINT;zero?;$B;38| (62 . |One|)
-             |SINT;one?;$B;39| |SINT;max;3$;40| |SINT;min;3$;41|
-             (|SingleInteger|) |SINT;hash;2$;42| |SINT;length;2$;43|
-             |SINT;shift;3$;44| |SINT;mulmod;4$;45| |SINT;addmod;4$;46|
-             |SINT;submod;4$;47| |SINT;negative?;$B;48|
-             |SINT;size;Nni;49| (|PositiveInteger|) (66 . +) (72 . -)
-             |SINT;index;Pi$;50| |SINT;lookup;$Pi;51| (|Vector| 5)
-             (|Record| (|:| |mat| 30) (|:| |vec| 84)) (|Vector| $)
-             |SINT;reducedSystem;MVR;52| |SINT;positiveRemainder;3$;53|
-             |SINT;coerce;I$;54| |SINT;random;$;55| |SINT;random;2$;56|
+             |SINT;divide;2$R;37| |SINT;gcd;3$;38| |SINT;abs;2$;39|
+             |SINT;odd?;$B;40| |SINT;zero?;$B;41| (67 . |One|)
+             |SINT;one?;$B;42| |SINT;max;3$;43| |SINT;min;3$;44|
+             (|SingleInteger|) |SINT;hash;2$;45| |SINT;length;2$;46|
+             |SINT;shift;3$;47| |SINT;mulmod;4$;48| |SINT;addmod;4$;49|
+             |SINT;submod;4$;50| |SINT;negative?;$B;51|
+             |SINT;size;Nni;52| (|PositiveInteger|) (71 . +) (77 . -)
+             |SINT;index;Pi$;53| |SINT;lookup;$Pi;54| (|Vector| 5)
+             (|Record| (|:| |mat| 30) (|:| |vec| 88)) (|Vector| $)
+             |SINT;reducedSystem;MVR;55| |SINT;positiveRemainder;3$;56|
+             |SINT;coerce;I$;57| |SINT;random;$;58| |SINT;random;2$;59|
              (|Record| (|:| |unit| $) (|:| |canonical| $)
                  (|:| |associate| $))
-             |SINT;unitNormal;$R;57| (|Fraction| 5)
-             (|Union| 94 '"failed") (|DoubleFloat|)
+             |SINT;unitNormal;$R;60| (|Fraction| 5)
+             (|Union| 98 '"failed") (|DoubleFloat|)
              (|Union| $ '"failed") (|Float|) (|PatternMatchResult| 5 $)
              (|Pattern| 5) (|InputForm|) (|Union| 5 '"failed")
-             (|List| $) (|Union| 103 '"failed")
-             (|Record| (|:| |coef| 103) (|:| |generator| $))
+             (|List| $) (|Union| 107 '"failed")
+             (|Record| (|:| |coef| 107) (|:| |generator| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $))
-             (|Union| 106 '"failed")
+             (|Union| 110 '"failed")
              (|Record| (|:| |coef1| $) (|:| |coef2| $)
                  (|:| |generator| $))
              (|Factored| $) (|SparseUnivariatePolynomial| $))
-          '#(~= 78 ~ 84 |zero?| 89 |xor| 94 |unitNormal| 100
-             |unitCanonical| 105 |unit?| 110 |symmetricRemainder| 115
-             |subtractIfCan| 121 |submod| 127 |squareFreePart| 134
-             |squareFree| 139 |sizeLess?| 144 |size| 150 |sign| 154
-             |shift| 159 |sample| 165 |retractIfCan| 169 |retract| 174
-             |rem| 179 |reducedSystem| 185 |recip| 196 |rationalIfCan|
-             201 |rational?| 206 |rational| 211 |random| 216 |quo| 225
-             |principalIdeal| 231 |prime?| 236 |powmod| 241
-             |positiveRemainder| 248 |positive?| 254 |permutation| 259
-             |patternMatch| 265 |one?| 272 |odd?| 277 |not| 282
-             |nextItem| 287 |negative?| 292 |multiEuclidean| 297
-             |mulmod| 303 |min| 310 |max| 320 |mask| 330 |lookup| 335
-             |length| 340 |lcm| 345 |latex| 356 |invmod| 361 |init| 367
-             |index| 371 |inc| 376 |hash| 381 |gcdPolynomial| 386 |gcd|
-             392 |factorial| 403 |factor| 408 |extendedEuclidean| 413
-             |exquo| 426 |expressIdealMember| 432 |even?| 438
-             |euclideanSize| 443 |divide| 448 |differentiate| 454 |dec|
-             465 |copy| 470 |convert| 475 |coerce| 500 |characteristic|
-             520 |bit?| 524 |binomial| 530 |before?| 536 |base| 542
-             |associates?| 546 |addmod| 552 |abs| 559 |\\/| 564 |Zero|
-             570 |Or| 574 |One| 580 |OMwrite| 584 |Not| 608 D 613 |And|
-             624 >= 630 > 636 = 642 <= 648 < 654 |/\\| 660 - 666 + 677
-             ** 683 * 695)
+          '#(~= 83 ~ 89 |zero?| 94 |xor| 99 |unitNormal| 105
+             |unitCanonical| 110 |unit?| 115 |symmetricRemainder| 120
+             |subtractIfCan| 126 |submod| 132 |squareFreePart| 139
+             |squareFree| 144 |sizeLess?| 149 |size| 155 |sign| 159
+             |shift| 164 |sample| 170 |retractIfCan| 174 |retract| 179
+             |rem| 184 |reducedSystem| 190 |recip| 201 |rationalIfCan|
+             206 |rational?| 211 |rational| 216 |random| 221 |quo| 230
+             |principalIdeal| 236 |prime?| 241 |powmod| 246
+             |positiveRemainder| 253 |positive?| 259 |permutation| 264
+             |patternMatch| 270 |one?| 277 |odd?| 282 |not| 287
+             |nextItem| 292 |negative?| 297 |multiEuclidean| 302
+             |mulmod| 308 |min| 315 |max| 325 |mask| 335 |lookup| 340
+             |length| 345 |lcm| 350 |latex| 361 |invmod| 366 |init| 372
+             |index| 376 |inc| 381 |hash| 386 |gcdPolynomial| 391 |gcd|
+             397 |factorial| 408 |factor| 413 |extendedEuclidean| 418
+             |exquo| 431 |expressIdealMember| 437 |even?| 443
+             |euclideanSize| 448 |divide| 453 |differentiate| 459 |dec|
+             470 |copy| 475 |convert| 480 |coerce| 505 |characteristic|
+             525 |bit?| 529 |binomial| 535 |before?| 541 |base| 547
+             |associates?| 551 |addmod| 557 |abs| 564 |\\/| 569 |Zero|
+             575 |Or| 579 |One| 585 |OMwrite| 589 |Not| 613 D 618 |And|
+             629 >= 635 > 641 = 647 <= 653 < 659 |/\\| 665 - 671 + 682
+             ** 688 * 700)
           '((|noetherian| . 0) (|canonicalsClosed| . 0)
             (|canonical| . 0) (|canonicalUnitNormal| . 0)
             (|multiplicativeValuation| . 0) (|noZeroDivisors| . 0)
@@ -641,59 +661,59 @@
                                (|LeftLinearSet| 5) (|Logic|)
                                (|RealConstant|) (|RetractableTo| 5)
                                (|SetCategory|) (|OpenMath|)
-                               (|ConvertibleTo| 98)
-                               (|ConvertibleTo| 96)
-                               (|CombinatorialFunctionCategory|)
+                               (|ConvertibleTo| 102)
                                (|ConvertibleTo| 100)
-                               (|ConvertibleTo| 101)
+                               (|CombinatorialFunctionCategory|)
+                               (|ConvertibleTo| 104)
+                               (|ConvertibleTo| 105)
                                (|ConvertibleTo| 5) (|CoercibleFrom| $$)
                                (|CoercibleFrom| 5) (|BasicType|)
                                (|CoercibleTo| 33))
-                            (|makeByteWordVec2| 110
+                            (|makeByteWordVec2| 114
                                 '(0 5 0 8 1 12 11 0 13 3 12 11 0 14 14
                                   15 2 12 11 0 5 18 1 12 11 0 19 0 20 0
                                   21 2 12 0 14 20 22 1 12 11 0 23 1 12
                                   11 0 24 1 12 11 0 25 1 5 33 0 34 1 0
-                                  0 5 36 0 5 0 66 2 79 0 0 0 80 2 5 0 0
-                                  0 81 2 0 9 0 0 1 1 0 0 0 44 1 0 9 0
-                                  65 2 0 0 0 0 51 1 0 92 0 93 1 0 0 0 1
-                                  1 0 9 0 1 2 0 0 0 0 1 2 0 97 0 0 1 3
-                                  0 0 0 0 0 76 1 0 0 0 1 1 0 109 0 1 2
-                                  0 9 0 0 1 0 0 56 78 1 0 5 0 1 2 0 0 0
-                                  0 73 0 0 0 1 1 0 102 0 1 1 0 5 0 1 2
-                                  0 0 0 0 59 2 0 85 31 86 87 1 0 30 31
-                                  32 1 0 97 0 1 1 0 95 0 1 1 0 9 0 1 1
-                                  0 94 0 1 1 0 0 0 91 0 0 0 90 2 0 0 0
-                                  0 58 1 0 105 103 1 1 0 9 0 1 3 0 0 0
-                                  0 0 1 2 0 0 0 0 88 1 0 9 0 1 2 0 0 0
-                                  0 1 3 0 99 0 100 99 1 1 0 9 0 67 1 0
-                                  9 0 64 1 0 0 0 45 1 0 97 0 1 1 0 9 0
-                                  77 2 0 104 103 0 1 3 0 0 0 0 0 74 0 0
-                                  0 42 2 0 0 0 0 69 0 0 0 41 2 0 0 0 0
-                                  68 1 0 0 0 1 1 0 79 0 83 1 0 0 0 72 2
-                                  0 0 0 0 1 1 0 0 103 1 1 0 14 0 1 2 0
-                                  0 0 0 1 0 0 0 1 1 0 0 79 82 1 0 0 0
-                                  52 1 0 70 0 71 2 0 110 110 110 1 2 0
-                                  0 0 0 62 1 0 0 103 1 1 0 0 0 1 1 0
-                                  109 0 1 3 0 107 0 0 0 1 2 0 108 0 0 1
-                                  2 0 97 0 0 1 2 0 104 103 0 1 1 0 9 0
-                                  1 1 0 56 0 1 2 0 60 0 0 61 1 0 0 0 1
-                                  2 0 0 0 56 1 1 0 0 0 53 1 0 0 0 1 1 0
-                                  96 0 1 1 0 98 0 1 1 0 101 0 1 1 0 100
-                                  0 1 1 0 5 0 17 1 0 0 5 89 1 0 0 0 1 1
-                                  0 0 5 89 1 0 33 0 35 0 0 56 1 2 0 9 0
-                                  0 1 2 0 0 0 0 1 2 0 9 0 0 1 0 0 0 40
-                                  2 0 9 0 0 1 3 0 0 0 0 0 75 1 0 0 0 63
-                                  2 0 0 0 0 47 0 0 0 7 2 0 0 0 0 50 0 0
-                                  0 39 2 0 11 12 0 28 3 0 11 12 0 9 29
-                                  2 0 14 0 9 27 1 0 14 0 26 1 0 0 0 48
-                                  1 0 0 0 1 2 0 0 0 56 1 2 0 0 0 0 49 2
-                                  0 9 0 0 1 2 0 9 0 0 1 2 0 9 0 0 43 2
-                                  0 9 0 0 1 2 0 9 0 0 10 2 0 0 0 0 46 2
-                                  0 0 0 0 55 1 0 0 0 16 2 0 0 0 0 54 2
-                                  0 0 0 56 57 2 0 0 0 79 1 2 0 0 0 0 37
-                                  2 0 0 5 0 38 2 0 0 56 0 1 2 0 0 79 0
-                                  1)))))
+                                  0 5 36 1 9 0 0 53 0 5 0 70 2 83 0 0 0
+                                  84 2 5 0 0 0 85 2 0 9 0 0 1 1 0 0 0
+                                  44 1 0 9 0 69 2 0 0 0 0 51 1 0 96 0
+                                  97 1 0 0 0 1 1 0 9 0 1 2 0 0 0 0 1 2
+                                  0 101 0 0 1 3 0 0 0 0 0 80 1 0 0 0 1
+                                  1 0 113 0 1 2 0 9 0 0 1 0 0 60 82 1 0
+                                  5 0 1 2 0 0 0 0 77 0 0 0 1 1 0 106 0
+                                  1 1 0 5 0 1 2 0 0 0 0 63 2 0 89 31 90
+                                  91 1 0 30 31 32 1 0 101 0 1 1 0 99 0
+                                  1 1 0 9 0 1 1 0 98 0 1 1 0 0 0 95 0 0
+                                  0 94 2 0 0 0 0 62 1 0 109 107 1 1 0 9
+                                  0 1 3 0 0 0 0 0 1 2 0 0 0 0 92 1 0 9
+                                  0 1 2 0 0 0 0 1 3 0 103 0 104 103 1 1
+                                  0 9 0 71 1 0 9 0 68 1 0 0 0 45 1 0
+                                  101 0 1 1 0 9 0 81 2 0 108 107 0 1 3
+                                  0 0 0 0 0 78 0 0 0 42 2 0 0 0 0 73 0
+                                  0 0 41 2 0 0 0 0 72 1 0 0 0 1 1 0 83
+                                  0 87 1 0 0 0 76 2 0 0 0 0 1 1 0 0 107
+                                  1 1 0 14 0 1 2 0 0 0 0 1 0 0 0 1 1 0
+                                  0 83 86 1 0 0 0 56 1 0 74 0 75 2 0
+                                  114 114 114 1 2 0 0 0 0 66 1 0 0 107
+                                  1 1 0 0 0 1 1 0 113 0 1 3 0 111 0 0 0
+                                  1 2 0 112 0 0 1 2 0 101 0 0 1 2 0 108
+                                  107 0 1 1 0 9 0 1 1 0 60 0 1 2 0 64 0
+                                  0 65 1 0 0 0 1 2 0 0 0 60 1 1 0 0 0
+                                  57 1 0 0 0 1 1 0 100 0 1 1 0 102 0 1
+                                  1 0 105 0 1 1 0 104 0 1 1 0 5 0 17 1
+                                  0 0 5 93 1 0 0 0 1 1 0 0 5 93 1 0 33
+                                  0 35 0 0 60 1 2 0 9 0 0 1 2 0 0 0 0 1
+                                  2 0 9 0 0 1 0 0 0 40 2 0 9 0 0 1 3 0
+                                  0 0 0 0 79 1 0 0 0 67 2 0 0 0 0 47 0
+                                  0 0 7 2 0 0 0 0 50 0 0 0 39 2 0 11 12
+                                  0 28 3 0 11 12 0 9 29 2 0 14 0 9 27 1
+                                  0 14 0 26 1 0 0 0 48 1 0 0 0 1 2 0 0
+                                  0 60 1 2 0 0 0 0 49 2 0 9 0 0 55 2 0
+                                  9 0 0 52 2 0 9 0 0 43 2 0 9 0 0 54 2
+                                  0 9 0 0 10 2 0 0 0 0 46 2 0 0 0 0 59
+                                  1 0 0 0 16 2 0 0 0 0 58 2 0 0 0 60 61
+                                  2 0 0 0 83 1 2 0 0 0 0 37 2 0 0 5 0
+                                  38 2 0 0 60 0 1 2 0 0 83 0 1)))))
           '|lookupComplete|)) 
 
 (MAKEPROP '|SingleInteger| 'NILADIC T)