diff options
author | dos-reis <gdr@axiomatics.org> | 2008-10-02 01:08:31 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-10-02 01:08:31 +0000 |
commit | 481e052609b1cbc9bfbc26bd35ffe99c937b6425 (patch) | |
tree | f979bf3aa2f643b04c7291dec6dbfb32ceddb98e /src/algebra/strap | |
parent | e0768c0d00e70b1418209b56c9ec949e67907578 (diff) | |
download | open-axiom-481e052609b1cbc9bfbc26bd35ffe99c937b6425.tar.gz |
update database
Diffstat (limited to 'src/algebra/strap')
-rw-r--r-- | src/algebra/strap/DFLOAT.lsp | 946 | ||||
-rw-r--r-- | src/algebra/strap/OUTFORM.lsp | 858 |
2 files changed, 901 insertions, 903 deletions
diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp index ec08fcad..bc21825f 100644 --- a/src/algebra/strap/DFLOAT.lsp +++ b/src/algebra/strap/DFLOAT.lsp @@ -1,77 +1,70 @@ (/VERSIONCHECK 2) -(DEFUN |DFLOAT;doubleFloatFormat;2S;1| (|s| $) - (PROG (|ss|) - (RETURN - (SEQ (LETT |ss| (|getShellEntry| $ 6) - |DFLOAT;doubleFloatFormat;2S;1|) - (SETELT $ 6 |s|) (EXIT |ss|))))) - -(DEFUN |DFLOAT;OMwrite;$S;2| (|x| $) +(DEFUN |DFLOAT;OMwrite;$S;1| (|x| $) (PROG (|sp| |dev| |s|) (RETURN - (SEQ (LETT |s| "" |DFLOAT;OMwrite;$S;2|) - (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) |DFLOAT;OMwrite;$S;2|) + (SEQ (LETT |s| "" |DFLOAT;OMwrite;$S;1|) + (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) |DFLOAT;OMwrite;$S;1|) (LETT |dev| - (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 10)) - (|getShellEntry| $ 12)) - |DFLOAT;OMwrite;$S;2|) - (SPADCALL |dev| (|getShellEntry| $ 14)) - (SPADCALL |dev| |x| (|getShellEntry| $ 16)) - (SPADCALL |dev| (|getShellEntry| $ 17)) - (SPADCALL |dev| (|getShellEntry| $ 18)) - (LETT |s| (OM-STRINGPTRTOSTRING |sp|) |DFLOAT;OMwrite;$S;2|) + (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 7)) + (|getShellEntry| $ 10)) + |DFLOAT;OMwrite;$S;1|) + (SPADCALL |dev| (|getShellEntry| $ 12)) + (SPADCALL |dev| |x| (|getShellEntry| $ 14)) + (SPADCALL |dev| (|getShellEntry| $ 15)) + (SPADCALL |dev| (|getShellEntry| $ 16)) + (LETT |s| (OM-STRINGPTRTOSTRING |sp|) |DFLOAT;OMwrite;$S;1|) (EXIT |s|))))) -(DEFUN |DFLOAT;OMwrite;$BS;3| (|x| |wholeObj| $) +(DEFUN |DFLOAT;OMwrite;$BS;2| (|x| |wholeObj| $) (PROG (|sp| |dev| |s|) (RETURN - (SEQ (LETT |s| "" |DFLOAT;OMwrite;$BS;3|) + (SEQ (LETT |s| "" |DFLOAT;OMwrite;$BS;2|) (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) - |DFLOAT;OMwrite;$BS;3|) + |DFLOAT;OMwrite;$BS;2|) (LETT |dev| - (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 10)) - (|getShellEntry| $ 12)) - |DFLOAT;OMwrite;$BS;3|) - (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 14)))) - (SPADCALL |dev| |x| (|getShellEntry| $ 16)) - (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 17)))) - (SPADCALL |dev| (|getShellEntry| $ 18)) + (SPADCALL |sp| (SPADCALL (|getShellEntry| $ 7)) + (|getShellEntry| $ 10)) + |DFLOAT;OMwrite;$BS;2|) + (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 12)))) + (SPADCALL |dev| |x| (|getShellEntry| $ 14)) + (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 15)))) + (SPADCALL |dev| (|getShellEntry| $ 16)) (LETT |s| (OM-STRINGPTRTOSTRING |sp|) - |DFLOAT;OMwrite;$BS;3|) + |DFLOAT;OMwrite;$BS;2|) (EXIT |s|))))) -(DEFUN |DFLOAT;OMwrite;Omd$V;4| (|dev| |x| $) - (SEQ (SPADCALL |dev| (|getShellEntry| $ 14)) - (SPADCALL |dev| |x| (|getShellEntry| $ 16)) - (EXIT (SPADCALL |dev| (|getShellEntry| $ 17))))) +(DEFUN |DFLOAT;OMwrite;Omd$V;3| (|dev| |x| $) + (SEQ (SPADCALL |dev| (|getShellEntry| $ 12)) + (SPADCALL |dev| |x| (|getShellEntry| $ 14)) + (EXIT (SPADCALL |dev| (|getShellEntry| $ 15))))) -(DEFUN |DFLOAT;OMwrite;Omd$BV;5| (|dev| |x| |wholeObj| $) - (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 14)))) - (SPADCALL |dev| |x| (|getShellEntry| $ 16)) +(DEFUN |DFLOAT;OMwrite;Omd$BV;4| (|dev| |x| |wholeObj| $) + (SEQ (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 12)))) + (SPADCALL |dev| |x| (|getShellEntry| $ 14)) (EXIT (COND - (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 17))))))) + (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 15))))))) (PUT '|DFLOAT;checkComplex| '|SPADreplace| 'C-TO-R) (DEFUN |DFLOAT;checkComplex| (|x| $) (C-TO-R |x|)) -(PUT '|DFLOAT;base;Pi;7| '|SPADreplace| '(XLAM NIL (FLOAT-RADIX 0.0))) +(PUT '|DFLOAT;base;Pi;6| '|SPADreplace| '(XLAM NIL (FLOAT-RADIX 0.0))) -(DEFUN |DFLOAT;base;Pi;7| ($) (FLOAT-RADIX 0.0)) +(DEFUN |DFLOAT;base;Pi;6| ($) (FLOAT-RADIX 0.0)) -(DEFUN |DFLOAT;mantissa;$I;8| (|x| $) (QCAR (|DFLOAT;manexp| |x| $))) +(DEFUN |DFLOAT;mantissa;$I;7| (|x| $) (QCAR (|DFLOAT;manexp| |x| $))) -(DEFUN |DFLOAT;exponent;$I;9| (|x| $) (QCDR (|DFLOAT;manexp| |x| $))) +(DEFUN |DFLOAT;exponent;$I;8| (|x| $) (QCDR (|DFLOAT;manexp| |x| $))) -(PUT '|DFLOAT;precision;Pi;10| '|SPADreplace| +(PUT '|DFLOAT;precision;Pi;9| '|SPADreplace| '(XLAM NIL (FLOAT-DIGITS 0.0))) -(DEFUN |DFLOAT;precision;Pi;10| ($) (FLOAT-DIGITS 0.0)) +(DEFUN |DFLOAT;precision;Pi;9| ($) (FLOAT-DIGITS 0.0)) -(DEFUN |DFLOAT;bits;Pi;11| ($) - (PROG (#0=#:G1421) +(DEFUN |DFLOAT;bits;Pi;10| ($) + (PROG (#0=#:G1422) (RETURN (COND ((EQL (FLOAT-RADIX 0.0) 2) (FLOAT-DIGITS 0.0)) @@ -82,252 +75,251 @@ (SPADCALL (FLOAT (FLOAT-RADIX 0.0) |$DoubleFloatMaximum|) - (|getShellEntry| $ 30)) - (|getShellEntry| $ 31))) - |DFLOAT;bits;Pi;11|) + (|getShellEntry| $ 28)) + (|getShellEntry| $ 29))) + |DFLOAT;bits;Pi;10|) (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#))))))) -(PUT '|DFLOAT;max;$;12| '|SPADreplace| +(PUT '|DFLOAT;max;$;11| '|SPADreplace| '(XLAM NIL |$DoubleFloatMaximum|)) -(DEFUN |DFLOAT;max;$;12| ($) |$DoubleFloatMaximum|) +(DEFUN |DFLOAT;max;$;11| ($) |$DoubleFloatMaximum|) -(PUT '|DFLOAT;min;$;13| '|SPADreplace| +(PUT '|DFLOAT;min;$;12| '|SPADreplace| '(XLAM NIL |$DoubleFloatMinimum|)) -(DEFUN |DFLOAT;min;$;13| ($) |$DoubleFloatMinimum|) +(DEFUN |DFLOAT;min;$;12| ($) |$DoubleFloatMinimum|) -(DEFUN |DFLOAT;order;$I;14| (|a| $) - (- (+ (FLOAT-DIGITS 0.0) (SPADCALL |a| (|getShellEntry| $ 28))) 1)) +(DEFUN |DFLOAT;order;$I;13| (|a| $) + (- (+ (FLOAT-DIGITS 0.0) (SPADCALL |a| (|getShellEntry| $ 26))) 1)) -(PUT '|DFLOAT;Zero;$;15| '|SPADreplace| +(PUT '|DFLOAT;Zero;$;14| '|SPADreplace| '(XLAM NIL (FLOAT 0 |$DoubleFloatMaximum|))) -(DEFUN |DFLOAT;Zero;$;15| ($) (FLOAT 0 |$DoubleFloatMaximum|)) +(DEFUN |DFLOAT;Zero;$;14| ($) (FLOAT 0 |$DoubleFloatMaximum|)) -(PUT '|DFLOAT;One;$;16| '|SPADreplace| +(PUT '|DFLOAT;One;$;15| '|SPADreplace| '(XLAM NIL (FLOAT 1 |$DoubleFloatMaximum|))) -(DEFUN |DFLOAT;One;$;16| ($) (FLOAT 1 |$DoubleFloatMaximum|)) +(DEFUN |DFLOAT;One;$;15| ($) (FLOAT 1 |$DoubleFloatMaximum|)) -(DEFUN |DFLOAT;exp1;$;17| ($) +(DEFUN |DFLOAT;exp1;$;16| ($) (/ (FLOAT 534625820200 |$DoubleFloatMaximum|) (FLOAT 196677847971 |$DoubleFloatMaximum|))) -(PUT '|DFLOAT;pi;$;18| '|SPADreplace| '(XLAM NIL PI)) +(PUT '|DFLOAT;pi;$;17| '|SPADreplace| '(XLAM NIL PI)) -(DEFUN |DFLOAT;pi;$;18| ($) PI) +(DEFUN |DFLOAT;pi;$;17| ($) PI) -(DEFUN |DFLOAT;coerce;$Of;19| (|x| $) - (SPADCALL (FORMAT NIL (|getShellEntry| $ 6) |x|) - (|getShellEntry| $ 41))) +(DEFUN |DFLOAT;coerce;$Of;18| (|x| $) + (SPADCALL |x| (|getShellEntry| $ 39))) -(DEFUN |DFLOAT;convert;$If;20| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 44))) +(DEFUN |DFLOAT;convert;$If;19| (|x| $) + (SPADCALL |x| (|getShellEntry| $ 42))) -(PUT '|DFLOAT;<;2$B;21| '|SPADreplace| '<) +(PUT '|DFLOAT;<;2$B;20| '|SPADreplace| '<) -(DEFUN |DFLOAT;<;2$B;21| (|x| |y| $) (< |x| |y|)) +(DEFUN |DFLOAT;<;2$B;20| (|x| |y| $) (< |x| |y|)) -(PUT '|DFLOAT;-;2$;22| '|SPADreplace| '-) +(PUT '|DFLOAT;-;2$;21| '|SPADreplace| '-) -(DEFUN |DFLOAT;-;2$;22| (|x| $) (- |x|)) +(DEFUN |DFLOAT;-;2$;21| (|x| $) (- |x|)) -(PUT '|DFLOAT;+;3$;23| '|SPADreplace| '+) +(PUT '|DFLOAT;+;3$;22| '|SPADreplace| '+) -(DEFUN |DFLOAT;+;3$;23| (|x| |y| $) (+ |x| |y|)) +(DEFUN |DFLOAT;+;3$;22| (|x| |y| $) (+ |x| |y|)) -(PUT '|DFLOAT;-;3$;24| '|SPADreplace| '-) +(PUT '|DFLOAT;-;3$;23| '|SPADreplace| '-) -(DEFUN |DFLOAT;-;3$;24| (|x| |y| $) (- |x| |y|)) +(DEFUN |DFLOAT;-;3$;23| (|x| |y| $) (- |x| |y|)) -(PUT '|DFLOAT;*;3$;25| '|SPADreplace| '*) +(PUT '|DFLOAT;*;3$;24| '|SPADreplace| '*) -(DEFUN |DFLOAT;*;3$;25| (|x| |y| $) (* |x| |y|)) +(DEFUN |DFLOAT;*;3$;24| (|x| |y| $) (* |x| |y|)) -(PUT '|DFLOAT;*;I2$;26| '|SPADreplace| '*) +(PUT '|DFLOAT;*;I2$;25| '|SPADreplace| '*) -(DEFUN |DFLOAT;*;I2$;26| (|i| |x| $) (* |i| |x|)) +(DEFUN |DFLOAT;*;I2$;25| (|i| |x| $) (* |i| |x|)) -(PUT '|DFLOAT;max;3$;27| '|SPADreplace| 'MAX) +(PUT '|DFLOAT;max;3$;26| '|SPADreplace| 'MAX) -(DEFUN |DFLOAT;max;3$;27| (|x| |y| $) (MAX |x| |y|)) +(DEFUN |DFLOAT;max;3$;26| (|x| |y| $) (MAX |x| |y|)) -(PUT '|DFLOAT;min;3$;28| '|SPADreplace| 'MIN) +(PUT '|DFLOAT;min;3$;27| '|SPADreplace| 'MIN) -(DEFUN |DFLOAT;min;3$;28| (|x| |y| $) (MIN |x| |y|)) +(DEFUN |DFLOAT;min;3$;27| (|x| |y| $) (MIN |x| |y|)) -(PUT '|DFLOAT;=;2$B;29| '|SPADreplace| '=) +(PUT '|DFLOAT;=;2$B;28| '|SPADreplace| '=) -(DEFUN |DFLOAT;=;2$B;29| (|x| |y| $) (= |x| |y|)) +(DEFUN |DFLOAT;=;2$B;28| (|x| |y| $) (= |x| |y|)) -(PUT '|DFLOAT;/;$I$;30| '|SPADreplace| '/) +(PUT '|DFLOAT;/;$I$;29| '|SPADreplace| '/) -(DEFUN |DFLOAT;/;$I$;30| (|x| |i| $) (/ |x| |i|)) +(DEFUN |DFLOAT;/;$I$;29| (|x| |i| $) (/ |x| |i|)) -(DEFUN |DFLOAT;sqrt;2$;31| (|x| $) +(DEFUN |DFLOAT;sqrt;2$;30| (|x| $) (|DFLOAT;checkComplex| (SQRT |x|) $)) -(DEFUN |DFLOAT;log10;2$;32| (|x| $) +(DEFUN |DFLOAT;log10;2$;31| (|x| $) (|DFLOAT;checkComplex| (|log| |x|) $)) -(PUT '|DFLOAT;**;$I$;33| '|SPADreplace| 'EXPT) +(PUT '|DFLOAT;**;$I$;32| '|SPADreplace| 'EXPT) -(DEFUN |DFLOAT;**;$I$;33| (|x| |i| $) (EXPT |x| |i|)) +(DEFUN |DFLOAT;**;$I$;32| (|x| |i| $) (EXPT |x| |i|)) -(DEFUN |DFLOAT;**;3$;34| (|x| |y| $) +(DEFUN |DFLOAT;**;3$;33| (|x| |y| $) (|DFLOAT;checkComplex| (EXPT |x| |y|) $)) -(PUT '|DFLOAT;coerce;I$;35| '|SPADreplace| +(PUT '|DFLOAT;coerce;I$;34| '|SPADreplace| '(XLAM (|i|) (FLOAT |i| |$DoubleFloatMaximum|))) -(DEFUN |DFLOAT;coerce;I$;35| (|i| $) +(DEFUN |DFLOAT;coerce;I$;34| (|i| $) (FLOAT |i| |$DoubleFloatMaximum|)) -(PUT '|DFLOAT;exp;2$;36| '|SPADreplace| 'EXP) +(PUT '|DFLOAT;exp;2$;35| '|SPADreplace| 'EXP) -(DEFUN |DFLOAT;exp;2$;36| (|x| $) (EXP |x|)) +(DEFUN |DFLOAT;exp;2$;35| (|x| $) (EXP |x|)) -(DEFUN |DFLOAT;log;2$;37| (|x| $) (|DFLOAT;checkComplex| (LN |x|) $)) +(DEFUN |DFLOAT;log;2$;36| (|x| $) (|DFLOAT;checkComplex| (LN |x|) $)) -(DEFUN |DFLOAT;log2;2$;38| (|x| $) +(DEFUN |DFLOAT;log2;2$;37| (|x| $) (|DFLOAT;checkComplex| (LOG2 |x|) $)) -(PUT '|DFLOAT;sin;2$;39| '|SPADreplace| 'SIN) +(PUT '|DFLOAT;sin;2$;38| '|SPADreplace| 'SIN) -(DEFUN |DFLOAT;sin;2$;39| (|x| $) (SIN |x|)) +(DEFUN |DFLOAT;sin;2$;38| (|x| $) (SIN |x|)) -(PUT '|DFLOAT;cos;2$;40| '|SPADreplace| 'COS) +(PUT '|DFLOAT;cos;2$;39| '|SPADreplace| 'COS) -(DEFUN |DFLOAT;cos;2$;40| (|x| $) (COS |x|)) +(DEFUN |DFLOAT;cos;2$;39| (|x| $) (COS |x|)) -(PUT '|DFLOAT;tan;2$;41| '|SPADreplace| 'TAN) +(PUT '|DFLOAT;tan;2$;40| '|SPADreplace| 'TAN) -(DEFUN |DFLOAT;tan;2$;41| (|x| $) (TAN |x|)) +(DEFUN |DFLOAT;tan;2$;40| (|x| $) (TAN |x|)) -(PUT '|DFLOAT;cot;2$;42| '|SPADreplace| 'COT) +(PUT '|DFLOAT;cot;2$;41| '|SPADreplace| 'COT) -(DEFUN |DFLOAT;cot;2$;42| (|x| $) (COT |x|)) +(DEFUN |DFLOAT;cot;2$;41| (|x| $) (COT |x|)) -(PUT '|DFLOAT;sec;2$;43| '|SPADreplace| 'SEC) +(PUT '|DFLOAT;sec;2$;42| '|SPADreplace| 'SEC) -(DEFUN |DFLOAT;sec;2$;43| (|x| $) (SEC |x|)) +(DEFUN |DFLOAT;sec;2$;42| (|x| $) (SEC |x|)) -(PUT '|DFLOAT;csc;2$;44| '|SPADreplace| 'CSC) +(PUT '|DFLOAT;csc;2$;43| '|SPADreplace| 'CSC) -(DEFUN |DFLOAT;csc;2$;44| (|x| $) (CSC |x|)) +(DEFUN |DFLOAT;csc;2$;43| (|x| $) (CSC |x|)) -(DEFUN |DFLOAT;asin;2$;45| (|x| $) +(DEFUN |DFLOAT;asin;2$;44| (|x| $) (|DFLOAT;checkComplex| (ASIN |x|) $)) -(DEFUN |DFLOAT;acos;2$;46| (|x| $) +(DEFUN |DFLOAT;acos;2$;45| (|x| $) (|DFLOAT;checkComplex| (ACOS |x|) $)) -(PUT '|DFLOAT;atan;2$;47| '|SPADreplace| 'ATAN) +(PUT '|DFLOAT;atan;2$;46| '|SPADreplace| 'ATAN) -(DEFUN |DFLOAT;atan;2$;47| (|x| $) (ATAN |x|)) +(DEFUN |DFLOAT;atan;2$;46| (|x| $) (ATAN |x|)) -(DEFUN |DFLOAT;acsc;2$;48| (|x| $) +(DEFUN |DFLOAT;acsc;2$;47| (|x| $) (|DFLOAT;checkComplex| (ACSC |x|) $)) -(PUT '|DFLOAT;acot;2$;49| '|SPADreplace| 'ACOT) +(PUT '|DFLOAT;acot;2$;48| '|SPADreplace| 'ACOT) -(DEFUN |DFLOAT;acot;2$;49| (|x| $) (ACOT |x|)) +(DEFUN |DFLOAT;acot;2$;48| (|x| $) (ACOT |x|)) -(DEFUN |DFLOAT;asec;2$;50| (|x| $) +(DEFUN |DFLOAT;asec;2$;49| (|x| $) (|DFLOAT;checkComplex| (ASEC |x|) $)) -(PUT '|DFLOAT;sinh;2$;51| '|SPADreplace| 'SINH) +(PUT '|DFLOAT;sinh;2$;50| '|SPADreplace| 'SINH) -(DEFUN |DFLOAT;sinh;2$;51| (|x| $) (SINH |x|)) +(DEFUN |DFLOAT;sinh;2$;50| (|x| $) (SINH |x|)) -(PUT '|DFLOAT;cosh;2$;52| '|SPADreplace| 'COSH) +(PUT '|DFLOAT;cosh;2$;51| '|SPADreplace| 'COSH) -(DEFUN |DFLOAT;cosh;2$;52| (|x| $) (COSH |x|)) +(DEFUN |DFLOAT;cosh;2$;51| (|x| $) (COSH |x|)) -(PUT '|DFLOAT;tanh;2$;53| '|SPADreplace| 'TANH) +(PUT '|DFLOAT;tanh;2$;52| '|SPADreplace| 'TANH) -(DEFUN |DFLOAT;tanh;2$;53| (|x| $) (TANH |x|)) +(DEFUN |DFLOAT;tanh;2$;52| (|x| $) (TANH |x|)) -(PUT '|DFLOAT;csch;2$;54| '|SPADreplace| 'CSCH) +(PUT '|DFLOAT;csch;2$;53| '|SPADreplace| 'CSCH) -(DEFUN |DFLOAT;csch;2$;54| (|x| $) (CSCH |x|)) +(DEFUN |DFLOAT;csch;2$;53| (|x| $) (CSCH |x|)) -(PUT '|DFLOAT;coth;2$;55| '|SPADreplace| 'COTH) +(PUT '|DFLOAT;coth;2$;54| '|SPADreplace| 'COTH) -(DEFUN |DFLOAT;coth;2$;55| (|x| $) (COTH |x|)) +(DEFUN |DFLOAT;coth;2$;54| (|x| $) (COTH |x|)) -(PUT '|DFLOAT;sech;2$;56| '|SPADreplace| 'SECH) +(PUT '|DFLOAT;sech;2$;55| '|SPADreplace| 'SECH) -(DEFUN |DFLOAT;sech;2$;56| (|x| $) (SECH |x|)) +(DEFUN |DFLOAT;sech;2$;55| (|x| $) (SECH |x|)) -(PUT '|DFLOAT;asinh;2$;57| '|SPADreplace| 'ASINH) +(PUT '|DFLOAT;asinh;2$;56| '|SPADreplace| 'ASINH) -(DEFUN |DFLOAT;asinh;2$;57| (|x| $) (ASINH |x|)) +(DEFUN |DFLOAT;asinh;2$;56| (|x| $) (ASINH |x|)) -(DEFUN |DFLOAT;acosh;2$;58| (|x| $) +(DEFUN |DFLOAT;acosh;2$;57| (|x| $) (|DFLOAT;checkComplex| (ACOSH |x|) $)) -(DEFUN |DFLOAT;atanh;2$;59| (|x| $) +(DEFUN |DFLOAT;atanh;2$;58| (|x| $) (|DFLOAT;checkComplex| (ATANH |x|) $)) -(PUT '|DFLOAT;acsch;2$;60| '|SPADreplace| 'ACSCH) +(PUT '|DFLOAT;acsch;2$;59| '|SPADreplace| 'ACSCH) -(DEFUN |DFLOAT;acsch;2$;60| (|x| $) (ACSCH |x|)) +(DEFUN |DFLOAT;acsch;2$;59| (|x| $) (ACSCH |x|)) -(DEFUN |DFLOAT;acoth;2$;61| (|x| $) +(DEFUN |DFLOAT;acoth;2$;60| (|x| $) (|DFLOAT;checkComplex| (ACOTH |x|) $)) -(DEFUN |DFLOAT;asech;2$;62| (|x| $) +(DEFUN |DFLOAT;asech;2$;61| (|x| $) (|DFLOAT;checkComplex| (ASECH |x|) $)) -(PUT '|DFLOAT;/;3$;63| '|SPADreplace| '/) +(PUT '|DFLOAT;/;3$;62| '|SPADreplace| '/) -(DEFUN |DFLOAT;/;3$;63| (|x| |y| $) (/ |x| |y|)) +(DEFUN |DFLOAT;/;3$;62| (|x| |y| $) (/ |x| |y|)) -(PUT '|DFLOAT;negative?;$B;64| '|SPADreplace| 'MINUSP) +(PUT '|DFLOAT;negative?;$B;63| '|SPADreplace| 'MINUSP) -(DEFUN |DFLOAT;negative?;$B;64| (|x| $) (MINUSP |x|)) +(DEFUN |DFLOAT;negative?;$B;63| (|x| $) (MINUSP |x|)) -(PUT '|DFLOAT;zero?;$B;65| '|SPADreplace| 'ZEROP) +(PUT '|DFLOAT;zero?;$B;64| '|SPADreplace| 'ZEROP) -(DEFUN |DFLOAT;zero?;$B;65| (|x| $) (ZEROP |x|)) +(DEFUN |DFLOAT;zero?;$B;64| (|x| $) (ZEROP |x|)) -(PUT '|DFLOAT;hash;$Si;66| '|SPADreplace| 'HASHEQ) +(PUT '|DFLOAT;hash;$Si;65| '|SPADreplace| 'HASHEQ) -(DEFUN |DFLOAT;hash;$Si;66| (|x| $) (HASHEQ |x|)) +(DEFUN |DFLOAT;hash;$Si;65| (|x| $) (HASHEQ |x|)) -(DEFUN |DFLOAT;recip;$U;67| (|x| $) +(DEFUN |DFLOAT;recip;$U;66| (|x| $) (COND ((ZEROP |x|) (CONS 1 "failed")) ('T (CONS 0 (/ 1.0 |x|))))) -(PUT '|DFLOAT;differentiate;2$;68| '|SPADreplace| '(XLAM (|x|) 0.0)) +(PUT '|DFLOAT;differentiate;2$;67| '|SPADreplace| '(XLAM (|x|) 0.0)) -(DEFUN |DFLOAT;differentiate;2$;68| (|x| $) 0.0) +(DEFUN |DFLOAT;differentiate;2$;67| (|x| $) 0.0) -(DEFUN |DFLOAT;Gamma;2$;69| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 96))) +(DEFUN |DFLOAT;Gamma;2$;68| (|x| $) + (SPADCALL |x| (|getShellEntry| $ 94))) -(DEFUN |DFLOAT;Beta;3$;70| (|x| |y| $) - (SPADCALL |x| |y| (|getShellEntry| $ 98))) +(DEFUN |DFLOAT;Beta;3$;69| (|x| |y| $) + (SPADCALL |x| |y| (|getShellEntry| $ 96))) -(PUT '|DFLOAT;wholePart;$I;71| '|SPADreplace| 'FIX) +(PUT '|DFLOAT;wholePart;$I;70| '|SPADreplace| 'FIX) -(DEFUN |DFLOAT;wholePart;$I;71| (|x| $) (FIX |x|)) +(DEFUN |DFLOAT;wholePart;$I;70| (|x| $) (FIX |x|)) -(DEFUN |DFLOAT;float;2IPi$;72| (|ma| |ex| |b| $) +(DEFUN |DFLOAT;float;2IPi$;71| (|ma| |ex| |b| $) (* |ma| (EXPT (FLOAT |b| |$DoubleFloatMaximum|) |ex|))) -(PUT '|DFLOAT;convert;2$;73| '|SPADreplace| '(XLAM (|x|) |x|)) +(PUT '|DFLOAT;convert;2$;72| '|SPADreplace| '(XLAM (|x|) |x|)) -(DEFUN |DFLOAT;convert;2$;73| (|x| $) |x|) +(DEFUN |DFLOAT;convert;2$;72| (|x| $) |x|) -(DEFUN |DFLOAT;convert;$F;74| (|x| $) - (SPADCALL |x| (|getShellEntry| $ 104))) +(DEFUN |DFLOAT;convert;$F;73| (|x| $) + (SPADCALL |x| (|getShellEntry| $ 102))) -(DEFUN |DFLOAT;rationalApproximation;$NniF;75| (|x| |d| $) - (SPADCALL |x| |d| 10 (|getShellEntry| $ 108))) +(DEFUN |DFLOAT;rationalApproximation;$NniF;74| (|x| |d| $) + (SPADCALL |x| |d| 10 (|getShellEntry| $ 106))) -(DEFUN |DFLOAT;atan;3$;76| (|x| |y| $) +(DEFUN |DFLOAT;atan;3$;75| (|x| |y| $) (PROG (|theta|) (RETURN (SEQ (COND @@ -338,68 +330,68 @@ ('T 0.0))) ('T (SEQ (LETT |theta| (ATAN (FLOAT-SIGN 1.0 (/ |y| |x|))) - |DFLOAT;atan;3$;76|) + |DFLOAT;atan;3$;75|) (COND ((< |x| 0.0) - (LETT |theta| (- PI |theta|) |DFLOAT;atan;3$;76|))) + (LETT |theta| (- PI |theta|) |DFLOAT;atan;3$;75|))) (COND ((< |y| 0.0) - (LETT |theta| (- |theta|) |DFLOAT;atan;3$;76|))) + (LETT |theta| (- |theta|) |DFLOAT;atan;3$;75|))) (EXIT |theta|)))))))) -(DEFUN |DFLOAT;retract;$F;77| (|x| $) - (PROG (#0=#:G1496) +(DEFUN |DFLOAT;retract;$F;76| (|x| $) + (PROG (#0=#:G1497) (RETURN (SPADCALL |x| (PROG1 (LETT #0# (- (FLOAT-DIGITS 0.0) 1) - |DFLOAT;retract;$F;77|) + |DFLOAT;retract;$F;76|) (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) - (FLOAT-RADIX 0.0) (|getShellEntry| $ 108))))) + (FLOAT-RADIX 0.0) (|getShellEntry| $ 106))))) -(DEFUN |DFLOAT;retractIfCan;$U;78| (|x| $) - (PROG (#0=#:G1501) +(DEFUN |DFLOAT;retractIfCan;$U;77| (|x| $) + (PROG (#0=#:G1502) (RETURN (CONS 0 (SPADCALL |x| (PROG1 (LETT #0# (- (FLOAT-DIGITS 0.0) 1) - |DFLOAT;retractIfCan;$U;78|) + |DFLOAT;retractIfCan;$U;77|) (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) - (FLOAT-RADIX 0.0) (|getShellEntry| $ 108)))))) + (FLOAT-RADIX 0.0) (|getShellEntry| $ 106)))))) -(DEFUN |DFLOAT;retract;$I;79| (|x| $) +(DEFUN |DFLOAT;retract;$I;78| (|x| $) (PROG (|n|) (RETURN - (SEQ (LETT |n| (FIX |x|) |DFLOAT;retract;$I;79|) + (SEQ (LETT |n| (FIX |x|) |DFLOAT;retract;$I;78|) (EXIT (COND ((= |x| (FLOAT |n| |$DoubleFloatMaximum|)) |n|) ('T (|error| "Not an integer")))))))) -(DEFUN |DFLOAT;retractIfCan;$U;80| (|x| $) +(DEFUN |DFLOAT;retractIfCan;$U;79| (|x| $) (PROG (|n|) (RETURN - (SEQ (LETT |n| (FIX |x|) |DFLOAT;retractIfCan;$U;80|) + (SEQ (LETT |n| (FIX |x|) |DFLOAT;retractIfCan;$U;79|) (EXIT (COND ((= |x| (FLOAT |n| |$DoubleFloatMaximum|)) (CONS 0 |n|)) ('T (CONS 1 "failed")))))))) -(DEFUN |DFLOAT;sign;$I;81| (|x| $) - (SPADCALL (FLOAT-SIGN |x| 1.0) (|getShellEntry| $ 114))) +(DEFUN |DFLOAT;sign;$I;80| (|x| $) + (SPADCALL (FLOAT-SIGN |x| 1.0) (|getShellEntry| $ 112))) -(PUT '|DFLOAT;abs;2$;82| '|SPADreplace| +(PUT '|DFLOAT;abs;2$;81| '|SPADreplace| '(XLAM (|x|) (FLOAT-SIGN 1.0 |x|))) -(DEFUN |DFLOAT;abs;2$;82| (|x| $) (FLOAT-SIGN 1.0 |x|)) +(DEFUN |DFLOAT;abs;2$;81| (|x| $) (FLOAT-SIGN 1.0 |x|)) (DEFUN |DFLOAT;manexp| (|x| $) - (PROG (|s| #0=#:G1522 |me| |two53|) + (PROG (|s| #0=#:G1523 |me| |two53|) (RETURN (SEQ (EXIT (COND ((ZEROP |x|) (CONS 0 0)) ('T (SEQ (LETT |s| - (SPADCALL |x| (|getShellEntry| $ 117)) + (SPADCALL |x| (|getShellEntry| $ 115)) |DFLOAT;manexp|) (LETT |x| (FLOAT-SIGN 1.0 |x|) |DFLOAT;manexp|) @@ -411,48 +403,48 @@ (+ (* |s| (SPADCALL |$DoubleFloatMaximum| - (|getShellEntry| $ 27))) + (|getShellEntry| $ 25))) 1) (SPADCALL |$DoubleFloatMaximum| - (|getShellEntry| $ 28))) + (|getShellEntry| $ 26))) |DFLOAT;manexp|) (GO #0#)))) (LETT |me| (MANEXP |x|) |DFLOAT;manexp|) (LETT |two53| (SPADCALL (FLOAT-RADIX 0.0) (FLOAT-DIGITS 0.0) - (|getShellEntry| $ 119)) + (|getShellEntry| $ 117)) |DFLOAT;manexp|) (EXIT (CONS (* |s| (FIX (* |two53| (QCAR |me|)))) (- (QCDR |me|) (FLOAT-DIGITS 0.0)))))))) #0# (EXIT #0#))))) -(DEFUN |DFLOAT;rationalApproximation;$2NniF;84| (|f| |d| |b| $) - (PROG (|#G103| |nu| |ex| BASE #0=#:G1524 |de| |tol| |#G104| |q| |r| - |p2| |q2| #1=#:G1540 |#G105| |#G106| |p0| |p1| |#G107| - |#G108| |q0| |q1| |#G109| |#G110| |s| |t| #2=#:G1538) +(DEFUN |DFLOAT;rationalApproximation;$2NniF;83| (|f| |d| |b| $) + (PROG (|#G102| |nu| |ex| BASE #0=#:G1525 |de| |tol| |#G103| |q| |r| + |p2| |q2| #1=#:G1541 |#G104| |#G105| |p0| |p1| |#G106| + |#G107| |q0| |q1| |#G108| |#G109| |s| |t| #2=#:G1539) (RETURN (SEQ (EXIT (SEQ (PROGN - (LETT |#G103| (|DFLOAT;manexp| |f| $) - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |nu| (QCAR |#G103|) - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |ex| (QCDR |#G103|) - |DFLOAT;rationalApproximation;$2NniF;84|) - |#G103|) + (LETT |#G102| (|DFLOAT;manexp| |f| $) + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |nu| (QCAR |#G102|) + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |ex| (QCDR |#G102|) + |DFLOAT;rationalApproximation;$2NniF;83|) + |#G102|) (LETT BASE (FLOAT-RADIX 0.0) - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (EXIT (COND ((< |ex| 0) (SEQ (LETT |de| (EXPT BASE (PROG1 (LETT #0# (- |ex|) - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#))) - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (EXIT (COND ((< |b| 2) @@ -460,37 +452,37 @@ ('T (SEQ (LETT |tol| (EXPT |b| |d|) - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (LETT |s| |nu| - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (LETT |t| |de| - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (LETT |p0| 0 - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (LETT |p1| 1 - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (LETT |q0| 1 - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (LETT |q1| 0 - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (EXIT (SEQ G190 NIL (SEQ (PROGN - (LETT |#G104| + (LETT |#G103| (DIVIDE2 |s| |t|) - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |q| (QCAR |#G104|) - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |r| (QCDR |#G104|) - |DFLOAT;rationalApproximation;$2NniF;84|) - |#G104|) + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |q| (QCAR |#G103|) + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |r| (QCDR |#G103|) + |DFLOAT;rationalApproximation;$2NniF;83|) + |#G103|) (LETT |p2| (+ (* |q| |p1|) |p0|) - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (LETT |q2| (+ (* |q| |q1|) |q0|) - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (COND ((OR (EQL |r| 0) (< @@ -499,44 +491,44 @@ (- (* |nu| |q2|) (* |de| |p2|))) (|getShellEntry| $ - 122)) + 120)) (* |de| (ABS |p2|)))) (EXIT (PROGN (LETT #1# (SPADCALL |p2| |q2| (|getShellEntry| $ - 121)) - |DFLOAT;rationalApproximation;$2NniF;84|) + 119)) + |DFLOAT;rationalApproximation;$2NniF;83|) (GO #1#))))) (PROGN - (LETT |#G105| |p1| - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |#G106| |p2| - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |p0| |#G105| - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |p1| |#G106| - |DFLOAT;rationalApproximation;$2NniF;84|)) + (LETT |#G104| |p1| + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |#G105| |p2| + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |p0| |#G104| + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |p1| |#G105| + |DFLOAT;rationalApproximation;$2NniF;83|)) (PROGN - (LETT |#G107| |q1| - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |#G108| |q2| - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |q0| |#G107| - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |q1| |#G108| - |DFLOAT;rationalApproximation;$2NniF;84|)) + (LETT |#G106| |q1| + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |#G107| |q2| + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |q0| |#G106| + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |q1| |#G107| + |DFLOAT;rationalApproximation;$2NniF;83|)) (EXIT (PROGN - (LETT |#G109| |t| - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |#G110| |r| - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |s| |#G109| - |DFLOAT;rationalApproximation;$2NniF;84|) - (LETT |t| |#G110| - |DFLOAT;rationalApproximation;$2NniF;84|)))) + (LETT |#G108| |t| + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |#G109| |r| + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |s| |#G108| + |DFLOAT;rationalApproximation;$2NniF;83|) + (LETT |t| |#G109| + |DFLOAT;rationalApproximation;$2NniF;83|)))) NIL (GO G190) G191 (EXIT NIL))))))))) ('T @@ -545,40 +537,40 @@ (EXPT BASE (PROG1 (LETT #2# |ex| - |DFLOAT;rationalApproximation;$2NniF;84|) + |DFLOAT;rationalApproximation;$2NniF;83|) (|check-subtype| (>= #2# 0) '(|NonNegativeInteger|) #2#)))) - (|getShellEntry| $ 123))))))) + (|getShellEntry| $ 121))))))) #1# (EXIT #1#))))) -(DEFUN |DFLOAT;**;$F$;85| (|x| |r| $) - (PROG (|n| |d| #0=#:G1549) +(DEFUN |DFLOAT;**;$F$;84| (|x| |r| $) + (PROG (|n| |d| #0=#:G1550) (RETURN (SEQ (EXIT (COND ((ZEROP |x|) (COND - ((SPADCALL |r| (|getShellEntry| $ 124)) + ((SPADCALL |r| (|getShellEntry| $ 122)) (|error| "0**0 is undefined")) - ((SPADCALL |r| (|getShellEntry| $ 125)) + ((SPADCALL |r| (|getShellEntry| $ 123)) (|error| "division by 0")) ('T 0.0))) - ((OR (SPADCALL |r| (|getShellEntry| $ 124)) + ((OR (SPADCALL |r| (|getShellEntry| $ 122)) (= |x| 1.0)) 1.0) ('T (COND - ((SPADCALL |r| (|spadConstant| $ 126) - (|getShellEntry| $ 127)) + ((SPADCALL |r| (|spadConstant| $ 124) + (|getShellEntry| $ 125)) |x|) ('T (SEQ (LETT |n| (SPADCALL |r| - (|getShellEntry| $ 128)) - |DFLOAT;**;$F$;85|) + (|getShellEntry| $ 126)) + |DFLOAT;**;$F$;84|) (LETT |d| (SPADCALL |r| - (|getShellEntry| $ 129)) - |DFLOAT;**;$F$;85|) + (|getShellEntry| $ 127)) + |DFLOAT;**;$F$;84|) (EXIT (COND ((MINUSP |x|) (COND @@ -589,21 +581,21 @@ (LETT #0# (- (SPADCALL (- |x|) |r| - (|getShellEntry| $ 130))) - |DFLOAT;**;$F$;85|) + (|getShellEntry| $ 128))) + |DFLOAT;**;$F$;84|) (GO #0#))) ('T (PROGN (LETT #0# (SPADCALL (- |x|) |r| - (|getShellEntry| $ 130)) - |DFLOAT;**;$F$;85|) + (|getShellEntry| $ 128)) + |DFLOAT;**;$F$;84|) (GO #0#))))) ('T (|error| "negative root")))) ((EQL |d| 2) (EXPT (SPADCALL |x| - (|getShellEntry| $ 56)) + (|getShellEntry| $ 54)) |n|)) ('T (SPADCALL |x| @@ -612,13 +604,13 @@ |$DoubleFloatMaximum|) (FLOAT |d| |$DoubleFloatMaximum|)) - (|getShellEntry| $ 59))))))))))) + (|getShellEntry| $ 57))))))))))) #0# (EXIT #0#))))) (DEFUN |DoubleFloat| () (PROG () (RETURN - (PROG (#0=#:G1562) + (PROG (#0=#:G1563) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|DoubleFloat|) @@ -639,81 +631,79 @@ (RETURN (PROGN (LETT |dv$| '(|DoubleFloat|) . #0=(|DoubleFloat|)) - (LETT $ (|newShell| 143) . #0#) + (LETT $ (|newShell| 141) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) (|haddProp| |$ConstructorCache| '|DoubleFloat| NIL (CONS 1 $)) (|stuffDomainSlots| $) - (|setShellEntry| $ 6 "~G") $)))) (MAKEPROP '|DoubleFloat| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL NIL '|format| (|String|) - |DFLOAT;doubleFloatFormat;2S;1| (|OpenMathEncoding|) - (0 . |OMencodingXML|) (|OpenMathDevice|) + (LIST '#(NIL NIL NIL NIL NIL NIL (|OpenMathEncoding|) + (0 . |OMencodingXML|) (|String|) (|OpenMathDevice|) (4 . |OMopenString|) (|Void|) (10 . |OMputObject|) (|DoubleFloat|) (15 . |OMputFloat|) (21 . |OMputEndObject|) (26 . |OMclose|) - |DFLOAT;OMwrite;$S;2| (|Boolean|) |DFLOAT;OMwrite;$BS;3| - |DFLOAT;OMwrite;Omd$V;4| |DFLOAT;OMwrite;Omd$BV;5| - (|PositiveInteger|) |DFLOAT;base;Pi;7| (|Integer|) - |DFLOAT;mantissa;$I;8| |DFLOAT;exponent;$I;9| - |DFLOAT;precision;Pi;10| |DFLOAT;log2;2$;38| (31 . *) - |DFLOAT;bits;Pi;11| |DFLOAT;max;$;12| |DFLOAT;min;$;13| - |DFLOAT;order;$I;14| + |DFLOAT;OMwrite;$S;1| (|Boolean|) |DFLOAT;OMwrite;$BS;2| + |DFLOAT;OMwrite;Omd$V;3| |DFLOAT;OMwrite;Omd$BV;4| + (|PositiveInteger|) |DFLOAT;base;Pi;6| (|Integer|) + |DFLOAT;mantissa;$I;7| |DFLOAT;exponent;$I;8| + |DFLOAT;precision;Pi;9| |DFLOAT;log2;2$;37| (31 . *) + |DFLOAT;bits;Pi;10| |DFLOAT;max;$;11| |DFLOAT;min;$;12| + |DFLOAT;order;$I;13| (CONS IDENTITY - (FUNCALL (|dispatchFunction| |DFLOAT;Zero;$;15|) $)) + (FUNCALL (|dispatchFunction| |DFLOAT;Zero;$;14|) $)) (CONS IDENTITY - (FUNCALL (|dispatchFunction| |DFLOAT;One;$;16|) $)) - |DFLOAT;exp1;$;17| |DFLOAT;pi;$;18| (|OutputForm|) - (37 . |outputForm|) |DFLOAT;coerce;$Of;19| (|InputForm|) - (42 . |convert|) |DFLOAT;convert;$If;20| |DFLOAT;<;2$B;21| - |DFLOAT;-;2$;22| |DFLOAT;+;3$;23| |DFLOAT;-;3$;24| - |DFLOAT;*;3$;25| |DFLOAT;*;I2$;26| |DFLOAT;max;3$;27| - |DFLOAT;min;3$;28| |DFLOAT;=;2$B;29| |DFLOAT;/;$I$;30| - |DFLOAT;sqrt;2$;31| |DFLOAT;log10;2$;32| - |DFLOAT;**;$I$;33| |DFLOAT;**;3$;34| |DFLOAT;coerce;I$;35| - |DFLOAT;exp;2$;36| |DFLOAT;log;2$;37| |DFLOAT;sin;2$;39| - |DFLOAT;cos;2$;40| |DFLOAT;tan;2$;41| |DFLOAT;cot;2$;42| - |DFLOAT;sec;2$;43| |DFLOAT;csc;2$;44| |DFLOAT;asin;2$;45| - |DFLOAT;acos;2$;46| |DFLOAT;atan;2$;47| - |DFLOAT;acsc;2$;48| |DFLOAT;acot;2$;49| - |DFLOAT;asec;2$;50| |DFLOAT;sinh;2$;51| - |DFLOAT;cosh;2$;52| |DFLOAT;tanh;2$;53| - |DFLOAT;csch;2$;54| |DFLOAT;coth;2$;55| - |DFLOAT;sech;2$;56| |DFLOAT;asinh;2$;57| - |DFLOAT;acosh;2$;58| |DFLOAT;atanh;2$;59| - |DFLOAT;acsch;2$;60| |DFLOAT;acoth;2$;61| - |DFLOAT;asech;2$;62| |DFLOAT;/;3$;63| - |DFLOAT;negative?;$B;64| |DFLOAT;zero?;$B;65| - (|SingleInteger|) |DFLOAT;hash;$Si;66| - (|Union| $ '"failed") |DFLOAT;recip;$U;67| - |DFLOAT;differentiate;2$;68| + (FUNCALL (|dispatchFunction| |DFLOAT;One;$;15|) $)) + |DFLOAT;exp1;$;16| |DFLOAT;pi;$;17| (|OutputForm|) + (37 . |outputForm|) |DFLOAT;coerce;$Of;18| (|InputForm|) + (42 . |convert|) |DFLOAT;convert;$If;19| |DFLOAT;<;2$B;20| + |DFLOAT;-;2$;21| |DFLOAT;+;3$;22| |DFLOAT;-;3$;23| + |DFLOAT;*;3$;24| |DFLOAT;*;I2$;25| |DFLOAT;max;3$;26| + |DFLOAT;min;3$;27| |DFLOAT;=;2$B;28| |DFLOAT;/;$I$;29| + |DFLOAT;sqrt;2$;30| |DFLOAT;log10;2$;31| + |DFLOAT;**;$I$;32| |DFLOAT;**;3$;33| |DFLOAT;coerce;I$;34| + |DFLOAT;exp;2$;35| |DFLOAT;log;2$;36| |DFLOAT;sin;2$;38| + |DFLOAT;cos;2$;39| |DFLOAT;tan;2$;40| |DFLOAT;cot;2$;41| + |DFLOAT;sec;2$;42| |DFLOAT;csc;2$;43| |DFLOAT;asin;2$;44| + |DFLOAT;acos;2$;45| |DFLOAT;atan;2$;46| + |DFLOAT;acsc;2$;47| |DFLOAT;acot;2$;48| + |DFLOAT;asec;2$;49| |DFLOAT;sinh;2$;50| + |DFLOAT;cosh;2$;51| |DFLOAT;tanh;2$;52| + |DFLOAT;csch;2$;53| |DFLOAT;coth;2$;54| + |DFLOAT;sech;2$;55| |DFLOAT;asinh;2$;56| + |DFLOAT;acosh;2$;57| |DFLOAT;atanh;2$;58| + |DFLOAT;acsch;2$;59| |DFLOAT;acoth;2$;60| + |DFLOAT;asech;2$;61| |DFLOAT;/;3$;62| + |DFLOAT;negative?;$B;63| |DFLOAT;zero?;$B;64| + (|SingleInteger|) |DFLOAT;hash;$Si;65| + (|Union| $ '"failed") |DFLOAT;recip;$U;66| + |DFLOAT;differentiate;2$;67| (|DoubleFloatSpecialFunctions|) (47 . |Gamma|) - |DFLOAT;Gamma;2$;69| (52 . |Beta|) |DFLOAT;Beta;3$;70| - |DFLOAT;wholePart;$I;71| |DFLOAT;float;2IPi$;72| - |DFLOAT;convert;2$;73| (|Float|) (58 . |convert|) - |DFLOAT;convert;$F;74| (|Fraction| 26) + |DFLOAT;Gamma;2$;68| (52 . |Beta|) |DFLOAT;Beta;3$;69| + |DFLOAT;wholePart;$I;70| |DFLOAT;float;2IPi$;71| + |DFLOAT;convert;2$;72| (|Float|) (58 . |convert|) + |DFLOAT;convert;$F;73| (|Fraction| 24) (|NonNegativeInteger|) - |DFLOAT;rationalApproximation;$2NniF;84| - |DFLOAT;rationalApproximation;$NniF;75| - |DFLOAT;atan;3$;76| |DFLOAT;retract;$F;77| - (|Union| 106 '"failed") |DFLOAT;retractIfCan;$U;78| - |DFLOAT;retract;$I;79| (|Union| 26 '"failed") - |DFLOAT;retractIfCan;$U;80| |DFLOAT;sign;$I;81| - |DFLOAT;abs;2$;82| (63 . **) (69 . |Zero|) (73 . /) + |DFLOAT;rationalApproximation;$2NniF;83| + |DFLOAT;rationalApproximation;$NniF;74| + |DFLOAT;atan;3$;75| |DFLOAT;retract;$F;76| + (|Union| 104 '"failed") |DFLOAT;retractIfCan;$U;77| + |DFLOAT;retract;$I;78| (|Union| 24 '"failed") + |DFLOAT;retractIfCan;$U;79| |DFLOAT;sign;$I;80| + |DFLOAT;abs;2$;81| (63 . **) (69 . |Zero|) (73 . /) (79 . *) (85 . |coerce|) (90 . |zero?|) (95 . |negative?|) (100 . |One|) (104 . =) (110 . |numer|) (115 . |denom|) - |DFLOAT;**;$F$;85| (|PatternMatchResult| 103 $) - (|Pattern| 103) (|Factored| $) + |DFLOAT;**;$F$;84| (|PatternMatchResult| 101 $) + (|Pattern| 101) (|Factored| $) (|Record| (|:| |coef1| $) (|:| |coef2| $)) - (|Union| 134 '"failed") (|List| $) (|Union| 136 '"failed") + (|Union| 132 '"failed") (|List| $) (|Union| 134 '"failed") (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $)) (|Record| (|:| |quotient| $) (|:| |remainder| $)) (|SparseUnivariatePolynomial| $) - (|Record| (|:| |coef| 136) (|:| |generator| $)) + (|Record| (|:| |coef| 134) (|:| |generator| $)) (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))) '#(~= 120 |zero?| 126 |wholePart| 131 |unitNormal| 136 @@ -732,16 +722,15 @@ |fractionPart| 422 |floor| 427 |float| 432 |factor| 445 |extendedEuclidean| 450 |exquo| 463 |expressIdealMember| 469 |exponent| 475 |exp1| 480 |exp| 484 |euclideanSize| - 489 |doubleFloatFormat| 494 |divide| 499 |digits| 505 - |differentiate| 509 |csch| 520 |csc| 525 |coth| 530 |cot| - 535 |cosh| 540 |cos| 545 |convert| 550 |coerce| 570 - |characteristic| 600 |ceiling| 604 |bits| 609 |base| 613 - |atanh| 617 |atan| 622 |associates?| 633 |asinh| 639 - |asin| 644 |asech| 649 |asec| 654 |acsch| 659 |acsc| 664 - |acoth| 669 |acot| 674 |acosh| 679 |acos| 684 |abs| 689 - |Zero| 694 |One| 698 |OMwrite| 702 |Gamma| 726 D 731 - |Beta| 742 >= 748 > 754 = 760 <= 766 < 772 / 778 - 790 + - 801 ** 807 * 837) + 489 |divide| 494 |digits| 500 |differentiate| 504 |csch| + 515 |csc| 520 |coth| 525 |cot| 530 |cosh| 535 |cos| 540 + |convert| 545 |coerce| 565 |characteristic| 595 |ceiling| + 599 |bits| 604 |base| 608 |atanh| 612 |atan| 617 + |associates?| 628 |asinh| 634 |asin| 639 |asech| 644 + |asec| 649 |acsch| 654 |acsc| 659 |acoth| 664 |acot| 669 + |acosh| 674 |acos| 679 |abs| 684 |Zero| 689 |One| 693 + |OMwrite| 697 |Gamma| 721 D 726 |Beta| 737 >= 743 > 749 = + 755 <= 761 < 767 / 773 - 785 + 796 ** 802 * 832) '((|approximate| . 0) (|canonicalsClosed| . 0) (|canonicalUnitNormal| . 0) (|noZeroDivisors| . 0) ((|commutative| "*") . 0) (|rightUnitary| . 0) @@ -774,14 +763,14 @@ (|PrincipalIdealDomain|) (|UniqueFactorizationDomain|) (|GcdDomain|) (|DivisionRing|) - (|IntegralDomain|) (|Algebra| 106) + (|IntegralDomain|) (|Algebra| 104) (|Algebra| $$) (|DifferentialRing|) (|CharacteristicZero|) (|OrderedRing|) - (|Module| 106) (|EntireRing|) + (|Module| 104) (|EntireRing|) (|CommutativeRing|) (|Module| $$) - (|BiModule| 106 106) (|BiModule| $$ $$) + (|BiModule| 104 104) (|BiModule| $$ $$) (|Ring|) (|OrderedAbelianGroup|) - (|RightModule| 106) (|LeftModule| 106) + (|RightModule| 104) (|LeftModule| 104) (|LeftModule| $$) (|Rng|) (|RightModule| $$) (|OrderedCancellationAbelianMonoid|) @@ -790,80 +779,79 @@ (|CancellationAbelianMonoid|) (|OrderedAbelianSemiGroup|) (|AbelianMonoid|) (|Monoid|) - (|PatternMatchable| 103) (|OrderedSet|) + (|PatternMatchable| 101) (|OrderedSet|) (|AbelianSemiGroup|) (|SemiGroup|) (|TranscendentalFunctionCategory|) (|RealConstant|) (|SetCategory|) - (|ConvertibleTo| 43) + (|ConvertibleTo| 41) (|ElementaryFunctionCategory|) (|ArcHyperbolicFunctionCategory|) (|HyperbolicFunctionCategory|) (|ArcTrigonometricFunctionCategory|) (|TrigonometricFunctionCategory|) - (|OpenMath|) (|ConvertibleTo| 132) + (|OpenMath|) (|ConvertibleTo| 130) (|RadicalCategory|) - (|RetractableTo| 106) - (|RetractableTo| 26) - (|ConvertibleTo| 103) - (|ConvertibleTo| 15) (|BasicType|) - (|CoercibleTo| 40)) - (|makeByteWordVec2| 142 - '(0 9 0 10 2 11 0 7 9 12 1 11 13 0 14 2 - 11 13 0 15 16 1 11 13 0 17 1 11 13 0 - 18 2 0 0 24 0 31 1 40 0 15 41 1 43 0 - 15 44 1 95 15 15 96 2 95 15 15 15 98 - 1 103 0 15 104 2 26 0 0 24 119 0 106 - 0 120 2 106 0 26 26 121 2 26 0 107 0 - 122 1 106 0 26 123 1 106 20 0 124 1 - 106 20 0 125 0 106 0 126 2 106 20 0 0 - 127 1 106 26 0 128 1 106 26 0 129 2 0 - 20 0 0 1 1 0 20 0 89 1 0 26 0 100 1 0 - 142 0 1 1 0 0 0 1 1 0 20 0 1 1 0 0 0 - 1 1 0 0 0 77 1 0 0 0 65 2 0 92 0 0 1 - 1 0 0 0 1 1 0 133 0 1 1 0 0 0 56 2 0 - 20 0 0 1 1 0 0 0 75 1 0 0 0 63 1 0 26 - 0 117 1 0 0 0 80 1 0 0 0 67 0 0 0 1 1 - 0 0 0 1 1 0 112 0 113 1 0 115 0 116 1 - 0 106 0 111 1 0 26 0 114 2 0 0 0 0 1 - 1 0 92 0 93 2 0 106 0 107 109 3 0 106 - 0 107 107 108 2 0 0 0 0 1 1 0 141 136 - 1 1 0 20 0 1 0 0 24 29 1 0 20 0 1 0 0 - 0 39 3 0 131 0 132 131 1 1 0 26 0 35 - 1 0 20 0 1 2 0 0 0 26 1 1 0 0 0 1 1 0 - 20 0 88 2 0 137 136 0 1 0 0 0 34 2 0 - 0 0 0 53 0 0 0 33 2 0 0 0 0 52 1 0 26 - 0 27 1 0 0 0 30 1 0 0 0 57 1 0 0 0 62 - 2 0 0 0 0 1 1 0 0 136 1 1 0 7 0 1 1 0 - 0 0 1 1 0 90 0 91 2 0 140 140 140 1 1 - 0 0 136 1 2 0 0 0 0 1 1 0 0 0 1 1 0 0 - 0 1 2 0 0 26 26 1 3 0 0 26 26 24 101 - 1 0 133 0 1 3 0 135 0 0 0 1 2 0 138 0 - 0 1 2 0 92 0 0 1 2 0 137 136 0 1 1 0 - 26 0 28 0 0 0 38 1 0 0 0 61 1 0 107 0 - 1 1 0 7 7 8 2 0 139 0 0 1 0 0 24 1 1 - 0 0 0 94 2 0 0 0 107 1 1 0 0 0 78 1 0 - 0 0 68 1 0 0 0 79 1 0 0 0 66 1 0 0 0 - 76 1 0 0 0 64 1 0 43 0 45 1 0 132 0 1 - 1 0 15 0 102 1 0 103 0 105 1 0 0 106 - 1 1 0 0 26 60 1 0 0 106 1 1 0 0 26 60 - 1 0 0 0 1 1 0 40 0 42 0 0 107 1 1 0 0 - 0 1 0 0 24 32 0 0 24 25 1 0 0 0 83 2 - 0 0 0 0 110 1 0 0 0 71 2 0 20 0 0 1 1 - 0 0 0 81 1 0 0 0 69 1 0 0 0 86 1 0 0 - 0 74 1 0 0 0 84 1 0 0 0 72 1 0 0 0 85 - 1 0 0 0 73 1 0 0 0 82 1 0 0 0 70 1 0 - 0 0 118 0 0 0 36 0 0 0 37 3 0 13 11 0 - 20 23 2 0 7 0 20 21 2 0 13 11 0 22 1 - 0 7 0 19 1 0 0 0 97 1 0 0 0 1 2 0 0 0 - 107 1 2 0 0 0 0 99 2 0 20 0 0 1 2 0 - 20 0 0 1 2 0 20 0 0 54 2 0 20 0 0 1 2 - 0 20 0 0 46 2 0 0 0 26 55 2 0 0 0 0 - 87 2 0 0 0 0 49 1 0 0 0 47 2 0 0 0 0 - 48 2 0 0 0 0 59 2 0 0 0 106 130 2 0 0 - 0 26 58 2 0 0 0 107 1 2 0 0 0 24 1 2 - 0 0 0 106 1 2 0 0 106 0 1 2 0 0 0 0 - 50 2 0 0 26 0 51 2 0 0 107 0 1 2 0 0 - 24 0 31))))) + (|RetractableTo| 104) + (|RetractableTo| 24) + (|ConvertibleTo| 101) + (|ConvertibleTo| 13) (|BasicType|) + (|CoercibleTo| 38)) + (|makeByteWordVec2| 140 + '(0 6 0 7 2 9 0 8 6 10 1 9 11 0 12 2 9 + 11 0 13 14 1 9 11 0 15 1 9 11 0 16 2 + 0 0 22 0 29 1 38 0 13 39 1 41 0 13 42 + 1 93 13 13 94 2 93 13 13 13 96 1 101 + 0 13 102 2 24 0 0 22 117 0 104 0 118 + 2 104 0 24 24 119 2 24 0 105 0 120 1 + 104 0 24 121 1 104 18 0 122 1 104 18 + 0 123 0 104 0 124 2 104 18 0 0 125 1 + 104 24 0 126 1 104 24 0 127 2 0 18 0 + 0 1 1 0 18 0 87 1 0 24 0 98 1 0 140 0 + 1 1 0 0 0 1 1 0 18 0 1 1 0 0 0 1 1 0 + 0 0 75 1 0 0 0 63 2 0 90 0 0 1 1 0 0 + 0 1 1 0 131 0 1 1 0 0 0 54 2 0 18 0 0 + 1 1 0 0 0 73 1 0 0 0 61 1 0 24 0 115 + 1 0 0 0 78 1 0 0 0 65 0 0 0 1 1 0 0 0 + 1 1 0 110 0 111 1 0 113 0 114 1 0 104 + 0 109 1 0 24 0 112 2 0 0 0 0 1 1 0 90 + 0 91 2 0 104 0 105 107 3 0 104 0 105 + 105 106 2 0 0 0 0 1 1 0 139 134 1 1 0 + 18 0 1 0 0 22 27 1 0 18 0 1 0 0 0 37 + 3 0 129 0 130 129 1 1 0 24 0 33 1 0 + 18 0 1 2 0 0 0 24 1 1 0 0 0 1 1 0 18 + 0 86 2 0 135 134 0 1 0 0 0 32 2 0 0 0 + 0 51 0 0 0 31 2 0 0 0 0 50 1 0 24 0 + 25 1 0 0 0 28 1 0 0 0 55 1 0 0 0 60 2 + 0 0 0 0 1 1 0 0 134 1 1 0 8 0 1 1 0 0 + 0 1 1 0 88 0 89 2 0 138 138 138 1 1 0 + 0 134 1 2 0 0 0 0 1 1 0 0 0 1 1 0 0 0 + 1 3 0 0 24 24 22 99 2 0 0 24 24 1 1 0 + 131 0 1 3 0 133 0 0 0 1 2 0 136 0 0 1 + 2 0 90 0 0 1 2 0 135 134 0 1 1 0 24 0 + 26 0 0 0 36 1 0 0 0 59 1 0 105 0 1 2 + 0 137 0 0 1 0 0 22 1 1 0 0 0 92 2 0 0 + 0 105 1 1 0 0 0 76 1 0 0 0 66 1 0 0 0 + 77 1 0 0 0 64 1 0 0 0 74 1 0 0 0 62 1 + 0 41 0 43 1 0 130 0 1 1 0 101 0 103 1 + 0 13 0 100 1 0 0 104 1 1 0 0 24 58 1 + 0 0 104 1 1 0 0 24 58 1 0 0 0 1 1 0 + 38 0 40 0 0 105 1 1 0 0 0 1 0 0 22 30 + 0 0 22 23 1 0 0 0 81 2 0 0 0 0 108 1 + 0 0 0 69 2 0 18 0 0 1 1 0 0 0 79 1 0 + 0 0 67 1 0 0 0 84 1 0 0 0 72 1 0 0 0 + 82 1 0 0 0 70 1 0 0 0 83 1 0 0 0 71 1 + 0 0 0 80 1 0 0 0 68 1 0 0 0 116 0 0 0 + 34 0 0 0 35 2 0 11 9 0 20 3 0 11 9 0 + 18 21 1 0 8 0 17 2 0 8 0 18 19 1 0 0 + 0 95 1 0 0 0 1 2 0 0 0 105 1 2 0 0 0 + 0 97 2 0 18 0 0 1 2 0 18 0 0 1 2 0 18 + 0 0 52 2 0 18 0 0 1 2 0 18 0 0 44 2 0 + 0 0 24 53 2 0 0 0 0 85 2 0 0 0 0 47 1 + 0 0 0 45 2 0 0 0 0 46 2 0 0 0 0 57 2 + 0 0 0 104 128 2 0 0 0 24 56 2 0 0 0 + 105 1 2 0 0 0 22 1 2 0 0 104 0 1 2 0 + 0 0 104 1 2 0 0 0 0 48 2 0 0 24 0 49 + 2 0 0 105 0 1 2 0 0 22 0 29))))) '|lookupComplete|)) (SETQ |$CategoryFrame| @@ -871,54 +859,52 @@ '(((|rationalApproximation| ((|Fraction| (|Integer|)) $ (|NonNegativeInteger|) (|NonNegativeInteger|))) - T (ELT $ 108)) + T (ELT $ 106)) ((|rationalApproximation| ((|Fraction| (|Integer|)) $ (|NonNegativeInteger|))) - T (ELT $ 109)) - ((|doubleFloatFormat| ((|String|) (|String|))) T - (ELT $ 8)) - ((|Beta| ($ $ $)) T (ELT $ 99)) - ((|Gamma| ($ $)) T (ELT $ 97)) - ((|atan| ($ $ $)) T (ELT $ 110)) - ((|log10| ($ $)) T (ELT $ 57)) - ((|log2| ($ $)) T (ELT $ 30)) - ((|exp1| ($)) T (ELT $ 38)) - ((/ ($ $ (|Integer|))) T (ELT $ 55)) - ((|convert| ((|InputForm|) $)) T (ELT $ 45)) - ((|tan| ($ $)) T (ELT $ 65)) - ((|sin| ($ $)) T (ELT $ 63)) - ((|sec| ($ $)) T (ELT $ 67)) - ((|csc| ($ $)) T (ELT $ 68)) - ((|cot| ($ $)) T (ELT $ 66)) - ((|cos| ($ $)) T (ELT $ 64)) - ((|acos| ($ $)) T (ELT $ 70)) - ((|acot| ($ $)) T (ELT $ 73)) - ((|acsc| ($ $)) T (ELT $ 72)) - ((|asec| ($ $)) T (ELT $ 74)) - ((|asin| ($ $)) T (ELT $ 69)) - ((|atan| ($ $)) T (ELT $ 71)) - ((|cosh| ($ $)) T (ELT $ 76)) - ((|coth| ($ $)) T (ELT $ 79)) - ((|csch| ($ $)) T (ELT $ 78)) - ((|sech| ($ $)) T (ELT $ 80)) - ((|sinh| ($ $)) T (ELT $ 75)) - ((|tanh| ($ $)) T (ELT $ 77)) - ((|acosh| ($ $)) T (ELT $ 82)) - ((|acoth| ($ $)) T (ELT $ 85)) - ((|acsch| ($ $)) T (ELT $ 84)) - ((|asech| ($ $)) T (ELT $ 86)) - ((|asinh| ($ $)) T (ELT $ 81)) - ((|atanh| ($ $)) T (ELT $ 83)) - ((|log| ($ $)) T (ELT $ 62)) - ((|exp| ($ $)) T (ELT $ 61)) ((** ($ $ $)) T (ELT $ 59)) - ((|pi| ($)) T (ELT $ 39)) + T (ELT $ 107)) + ((|Beta| ($ $ $)) T (ELT $ 97)) + ((|Gamma| ($ $)) T (ELT $ 95)) + ((|atan| ($ $ $)) T (ELT $ 108)) + ((|log10| ($ $)) T (ELT $ 55)) + ((|log2| ($ $)) T (ELT $ 28)) + ((|exp1| ($)) T (ELT $ 36)) + ((/ ($ $ (|Integer|))) T (ELT $ 53)) + ((|convert| ((|InputForm|) $)) T (ELT $ 43)) + ((|tan| ($ $)) T (ELT $ 63)) + ((|sin| ($ $)) T (ELT $ 61)) + ((|sec| ($ $)) T (ELT $ 65)) + ((|csc| ($ $)) T (ELT $ 66)) + ((|cot| ($ $)) T (ELT $ 64)) + ((|cos| ($ $)) T (ELT $ 62)) + ((|acos| ($ $)) T (ELT $ 68)) + ((|acot| ($ $)) T (ELT $ 71)) + ((|acsc| ($ $)) T (ELT $ 70)) + ((|asec| ($ $)) T (ELT $ 72)) + ((|asin| ($ $)) T (ELT $ 67)) + ((|atan| ($ $)) T (ELT $ 69)) + ((|cosh| ($ $)) T (ELT $ 74)) + ((|coth| ($ $)) T (ELT $ 77)) + ((|csch| ($ $)) T (ELT $ 76)) + ((|sech| ($ $)) T (ELT $ 78)) + ((|sinh| ($ $)) T (ELT $ 73)) + ((|tanh| ($ $)) T (ELT $ 75)) + ((|acosh| ($ $)) T (ELT $ 80)) + ((|acoth| ($ $)) T (ELT $ 83)) + ((|acsch| ($ $)) T (ELT $ 82)) + ((|asech| ($ $)) T (ELT $ 84)) + ((|asinh| ($ $)) T (ELT $ 79)) + ((|atanh| ($ $)) T (ELT $ 81)) + ((|log| ($ $)) T (ELT $ 60)) + ((|exp| ($ $)) T (ELT $ 59)) ((** ($ $ $)) T (ELT $ 57)) + ((|pi| ($)) T (ELT $ 37)) ((|OMwrite| ((|Void|) (|OpenMathDevice|) $ (|Boolean|))) - T (ELT $ 23)) + T (ELT $ 21)) ((|OMwrite| ((|Void|) (|OpenMathDevice|) $)) T - (ELT $ 22)) - ((|OMwrite| ((|String|) $ (|Boolean|))) T (ELT $ 21)) - ((|OMwrite| ((|String|) $)) T (ELT $ 19)) - ((|differentiate| ($ $)) T (ELT $ 94)) + (ELT $ 20)) + ((|OMwrite| ((|String|) $ (|Boolean|))) T (ELT $ 19)) + ((|OMwrite| ((|String|) $)) T (ELT $ 17)) + ((|differentiate| ($ $)) T (ELT $ 92)) ((D ($ $)) T (ELT $ NIL)) ((|differentiate| ($ $ (|NonNegativeInteger|))) T (ELT $ NIL)) @@ -926,11 +912,11 @@ ((|max| ($)) (AND (|not| (|has| $ (ATTRIBUTE |arbitraryExponent|))) (|not| (|has| $ (ATTRIBUTE |arbitraryPrecision|)))) - (ELT $ 33)) + (ELT $ 31)) ((|min| ($)) (AND (|not| (|has| $ (ATTRIBUTE |arbitraryExponent|))) (|not| (|has| $ (ATTRIBUTE |arbitraryPrecision|)))) - (ELT $ 34)) + (ELT $ 32)) ((|decreasePrecision| ((|PositiveInteger|) (|Integer|))) (|has| $ (ATTRIBUTE |arbitraryPrecision|)) (ELT $ NIL)) ((|increasePrecision| ((|PositiveInteger|) (|Integer|))) @@ -941,21 +927,21 @@ (|has| $ (ATTRIBUTE |arbitraryPrecision|)) (ELT $ NIL)) ((|bits| ((|PositiveInteger|) (|PositiveInteger|))) (|has| $ (ATTRIBUTE |arbitraryPrecision|)) (ELT $ NIL)) - ((|precision| ((|PositiveInteger|))) T (ELT $ 29)) + ((|precision| ((|PositiveInteger|))) T (ELT $ 27)) ((|digits| ((|PositiveInteger|))) T (ELT $ NIL)) - ((|bits| ((|PositiveInteger|))) T (ELT $ 32)) - ((|mantissa| ((|Integer|) $)) T (ELT $ 27)) - ((|exponent| ((|Integer|) $)) T (ELT $ 28)) - ((|base| ((|PositiveInteger|))) T (ELT $ 25)) - ((|order| ((|Integer|) $)) T (ELT $ 35)) + ((|bits| ((|PositiveInteger|))) T (ELT $ 30)) + ((|mantissa| ((|Integer|) $)) T (ELT $ 25)) + ((|exponent| ((|Integer|) $)) T (ELT $ 26)) + ((|base| ((|PositiveInteger|))) T (ELT $ 23)) + ((|order| ((|Integer|) $)) T (ELT $ 33)) ((|float| ($ (|Integer|) (|Integer|) (|PositiveInteger|))) - T (ELT $ 101)) + T (ELT $ 99)) ((|float| ($ (|Integer|) (|Integer|))) T (ELT $ NIL)) ((|round| ($ $)) T (ELT $ NIL)) ((|truncate| ($ $)) T (ELT $ NIL)) ((|fractionPart| ($ $)) T (ELT $ NIL)) - ((|wholePart| ((|Integer|) $)) T (ELT $ 100)) + ((|wholePart| ((|Integer|) $)) T (ELT $ 98)) ((|floor| ($ $)) T (ELT $ NIL)) ((|ceiling| ($ $)) T (ELT $ NIL)) ((|norm| ($ $)) T (ELT $ NIL)) @@ -965,34 +951,34 @@ (|PatternMatchResult| (|Float|) $))) T (ELT $ NIL)) ((|convert| ((|Pattern| (|Float|)) $)) T (ELT $ NIL)) - ((** ($ $ (|Fraction| (|Integer|)))) T (ELT $ 130)) + ((** ($ $ (|Fraction| (|Integer|)))) T (ELT $ 128)) ((|nthRoot| ($ $ (|Integer|))) T (ELT $ NIL)) - ((|sqrt| ($ $)) T (ELT $ 56)) - ((|retract| ((|Fraction| (|Integer|)) $)) T (ELT $ 111)) + ((|sqrt| ($ $)) T (ELT $ 54)) + ((|retract| ((|Fraction| (|Integer|)) $)) T (ELT $ 109)) ((|retractIfCan| ((|Union| (|Fraction| (|Integer|)) "failed") $)) - T (ELT $ 113)) + T (ELT $ 111)) ((|coerce| ($ (|Fraction| (|Integer|)))) T (ELT $ NIL)) - ((|retract| ((|Integer|) $)) T (ELT $ 114)) + ((|retract| ((|Integer|) $)) T (ELT $ 112)) ((|retractIfCan| ((|Union| (|Integer|) "failed") $)) T - (ELT $ 116)) - ((|coerce| ($ (|Integer|))) T (ELT $ 60)) - ((|convert| ((|DoubleFloat|) $)) T (ELT $ 102)) - ((|convert| ((|Float|) $)) T (ELT $ 105)) - ((< ((|Boolean|) $ $)) T (ELT $ 46)) + (ELT $ 114)) + ((|coerce| ($ (|Integer|))) T (ELT $ 58)) + ((|convert| ((|DoubleFloat|) $)) T (ELT $ 100)) + ((|convert| ((|Float|) $)) T (ELT $ 103)) + ((< ((|Boolean|) $ $)) T (ELT $ 44)) ((> ((|Boolean|) $ $)) T (ELT $ NIL)) ((>= ((|Boolean|) $ $)) T (ELT $ NIL)) ((<= ((|Boolean|) $ $)) T (ELT $ NIL)) - ((|max| ($ $ $)) T (ELT $ 52)) - ((|min| ($ $ $)) T (ELT $ 53)) + ((|max| ($ $ $)) T (ELT $ 50)) + ((|min| ($ $ $)) T (ELT $ 51)) ((|positive?| ((|Boolean|) $)) T (ELT $ NIL)) - ((|negative?| ((|Boolean|) $)) T (ELT $ 88)) - ((|sign| ((|Integer|) $)) T (ELT $ 117)) - ((|abs| ($ $)) T (ELT $ 118)) ((/ ($ $ $)) T (ELT $ 87)) + ((|negative?| ((|Boolean|) $)) T (ELT $ 86)) + ((|sign| ((|Integer|) $)) T (ELT $ 115)) + ((|abs| ($ $)) T (ELT $ 116)) ((/ ($ $ $)) T (ELT $ 85)) ((|coerce| ($ (|Fraction| (|Integer|)))) T (ELT $ NIL)) ((* ($ (|Fraction| (|Integer|)) $)) T (ELT $ NIL)) ((* ($ $ (|Fraction| (|Integer|)))) T (ELT $ NIL)) - ((** ($ $ (|Integer|))) T (ELT $ 58)) + ((** ($ $ (|Integer|))) T (ELT $ 56)) ((|inv| ($ $)) T (ELT $ NIL)) ((|prime?| ((|Boolean|) $)) T (ELT $ NIL)) ((|squareFree| ((|Factored| $) $)) T (ELT $ NIL)) @@ -1048,29 +1034,29 @@ T (ELT $ NIL)) ((|exquo| ((|Union| $ "failed") $ $)) T (ELT $ NIL)) ((|coerce| ($ $)) T (ELT $ NIL)) - ((|coerce| ($ (|Integer|))) T (ELT $ 60)) + ((|coerce| ($ (|Integer|))) T (ELT $ 58)) ((|characteristic| ((|NonNegativeInteger|))) T (ELT $ NIL)) - ((|One| ($)) T (CONST $ 37)) + ((|One| ($)) T (CONST $ 35)) ((|one?| ((|Boolean|) $)) T (ELT $ NIL)) ((** ($ $ (|NonNegativeInteger|))) T (ELT $ NIL)) - ((|recip| ((|Union| $ "failed") $)) T (ELT $ 93)) - ((* ($ $ $)) T (ELT $ 50)) + ((|recip| ((|Union| $ "failed") $)) T (ELT $ 91)) + ((* ($ $ $)) T (ELT $ 48)) ((** ($ $ (|PositiveInteger|))) T (ELT $ NIL)) - ((* ($ (|Integer|) $)) T (ELT $ 51)) - ((- ($ $ $)) T (ELT $ 49)) ((- ($ $)) T (ELT $ 47)) + ((* ($ (|Integer|) $)) T (ELT $ 49)) + ((- ($ $ $)) T (ELT $ 47)) ((- ($ $)) T (ELT $ 45)) ((|subtractIfCan| ((|Union| $ "failed") $ $)) T (ELT $ NIL)) ((* ($ (|NonNegativeInteger|) $)) T (ELT $ NIL)) - ((|zero?| ((|Boolean|) $)) T (ELT $ 89)) + ((|zero?| ((|Boolean|) $)) T (ELT $ 87)) ((|sample| ($)) T (CONST $ NIL)) - ((|Zero| ($)) T (CONST $ 36)) - ((* ($ (|PositiveInteger|) $)) T (ELT $ 31)) - ((+ ($ $ $)) T (ELT $ 48)) + ((|Zero| ($)) T (CONST $ 34)) + ((* ($ (|PositiveInteger|) $)) T (ELT $ 29)) + ((+ ($ $ $)) T (ELT $ 46)) ((|latex| ((|String|) $)) T (ELT $ NIL)) - ((|hash| ((|SingleInteger|) $)) T (ELT $ 91)) - ((|coerce| ((|OutputForm|) $)) T (ELT $ 42)) - ((= ((|Boolean|) $ $)) T (ELT $ 54)) + ((|hash| ((|SingleInteger|) $)) T (ELT $ 89)) + ((|coerce| ((|OutputForm|) $)) T (ELT $ 40)) + ((= ((|Boolean|) $ $)) T (ELT $ 52)) ((~= ((|Boolean|) $ $)) T (ELT $ NIL))) (|addModemap| '|DoubleFloat| '(|DoubleFloat|) '((|Join| (|FloatingPointSystem|) (|DifferentialRing|) @@ -1086,8 +1072,6 @@ (SIGNATURE |atan| ($ $ $)) (SIGNATURE |Gamma| ($ $)) (SIGNATURE |Beta| ($ $ $)) - (SIGNATURE |doubleFloatFormat| - ((|String|) (|String|))) (SIGNATURE |rationalApproximation| ((|Fraction| (|Integer|)) $ (|NonNegativeInteger|))) @@ -1111,8 +1095,6 @@ (SIGNATURE |atan| ($ $ $)) (SIGNATURE |Gamma| ($ $)) (SIGNATURE |Beta| ($ $ $)) - (SIGNATURE |doubleFloatFormat| - ((|String|) (|String|))) (SIGNATURE |rationalApproximation| ((|Fraction| (|Integer|)) $ diff --git a/src/algebra/strap/OUTFORM.lsp b/src/algebra/strap/OUTFORM.lsp index 6605cbf3..3986749a 100644 --- a/src/algebra/strap/OUTFORM.lsp +++ b/src/algebra/strap/OUTFORM.lsp @@ -1,6 +1,13 @@ (/VERSIONCHECK 2) +(DEFUN |OUTFORM;doubleFloatFormat;2S;1| (|s| $) + (PROG (|ss|) + (RETURN + (SEQ (LETT |ss| (|getShellEntry| $ 6) + |OUTFORM;doubleFloatFormat;2S;1|) + (SETELT $ 6 |s|) (EXIT |ss|))))) + (PUT '|OUTFORM;sform| '|SPADreplace| '(XLAM (|s|) |s|)) (DEFUN |OUTFORM;sform| (|s| $) |s|) @@ -17,331 +24,330 @@ (DEFUN |OUTFORM;bless| (|x| $) |x|) -(PUT '|OUTFORM;print;$V;5| '|SPADreplace| '|mathprint|) +(PUT '|OUTFORM;print;$V;6| '|SPADreplace| '|mathprint|) -(DEFUN |OUTFORM;print;$V;5| (|x| $) (|mathprint| |x|)) +(DEFUN |OUTFORM;print;$V;6| (|x| $) (|mathprint| |x|)) -(DEFUN |OUTFORM;message;S$;6| (|s| $) +(DEFUN |OUTFORM;message;S$;7| (|s| $) (COND - ((SPADCALL |s| (|getShellEntry| $ 10)) - (SPADCALL (|getShellEntry| $ 11))) + ((SPADCALL |s| (|getShellEntry| $ 12)) + (SPADCALL (|getShellEntry| $ 13))) ('T |s|))) -(DEFUN |OUTFORM;messagePrint;SV;7| (|s| $) - (SPADCALL (SPADCALL |s| (|getShellEntry| $ 12)) - (|getShellEntry| $ 7))) +(DEFUN |OUTFORM;messagePrint;SV;8| (|s| $) + (SPADCALL (SPADCALL |s| (|getShellEntry| $ 14)) + (|getShellEntry| $ 10))) -(PUT '|OUTFORM;=;2$B;8| '|SPADreplace| 'EQUAL) +(PUT '|OUTFORM;=;2$B;9| '|SPADreplace| 'EQUAL) -(DEFUN |OUTFORM;=;2$B;8| (|a| |b| $) (EQUAL |a| |b|)) +(DEFUN |OUTFORM;=;2$B;9| (|a| |b| $) (EQUAL |a| |b|)) -(DEFUN |OUTFORM;=;3$;9| (|a| |b| $) +(DEFUN |OUTFORM;=;3$;10| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "=" $) |a| |b|) $)) -(PUT '|OUTFORM;coerce;2$;10| '|SPADreplace| '(XLAM (|a|) |a|)) - -(DEFUN |OUTFORM;coerce;2$;10| (|a| $) |a|) +(PUT '|OUTFORM;coerce;2$;11| '|SPADreplace| '(XLAM (|a|) |a|)) -(PUT '|OUTFORM;outputForm;I$;11| '|SPADreplace| '(XLAM (|n|) |n|)) +(DEFUN |OUTFORM;coerce;2$;11| (|a| $) |a|) -(DEFUN |OUTFORM;outputForm;I$;11| (|n| $) |n|) +(PUT '|OUTFORM;outputForm;I$;12| '|SPADreplace| '(XLAM (|n|) |n|)) -(PUT '|OUTFORM;outputForm;S$;12| '|SPADreplace| '(XLAM (|e|) |e|)) +(DEFUN |OUTFORM;outputForm;I$;12| (|n| $) |n|) -(DEFUN |OUTFORM;outputForm;S$;12| (|e| $) |e|) +(PUT '|OUTFORM;outputForm;S$;13| '|SPADreplace| '(XLAM (|e|) |e|)) -(PUT '|OUTFORM;outputForm;Df$;13| '|SPADreplace| '(XLAM (|f|) |f|)) +(DEFUN |OUTFORM;outputForm;S$;13| (|e| $) |e|) -(DEFUN |OUTFORM;outputForm;Df$;13| (|f| $) |f|) +(DEFUN |OUTFORM;outputForm;Df$;14| (|f| $) + (FORMAT NIL (|getShellEntry| $ 6) |f|)) -(DEFUN |OUTFORM;outputForm;S$;14| (|s| $) +(DEFUN |OUTFORM;outputForm;S$;15| (|s| $) (|OUTFORM;sform| - (SPADCALL (SPADCALL (|getShellEntry| $ 25)) - (SPADCALL |s| (SPADCALL (|getShellEntry| $ 25)) - (|getShellEntry| $ 26)) - (|getShellEntry| $ 27)) + (SPADCALL (SPADCALL (|getShellEntry| $ 27)) + (SPADCALL |s| (SPADCALL (|getShellEntry| $ 27)) + (|getShellEntry| $ 28)) + (|getShellEntry| $ 29)) $)) -(PUT '|OUTFORM;width;$I;15| '|SPADreplace| '|outformWidth|) +(PUT '|OUTFORM;width;$I;16| '|SPADreplace| '|outformWidth|) -(DEFUN |OUTFORM;width;$I;15| (|a| $) (|outformWidth| |a|)) +(DEFUN |OUTFORM;width;$I;16| (|a| $) (|outformWidth| |a|)) -(PUT '|OUTFORM;height;$I;16| '|SPADreplace| '|height|) +(PUT '|OUTFORM;height;$I;17| '|SPADreplace| '|height|) -(DEFUN |OUTFORM;height;$I;16| (|a| $) (|height| |a|)) +(DEFUN |OUTFORM;height;$I;17| (|a| $) (|height| |a|)) -(PUT '|OUTFORM;subHeight;$I;17| '|SPADreplace| '|subspan|) +(PUT '|OUTFORM;subHeight;$I;18| '|SPADreplace| '|subspan|) -(DEFUN |OUTFORM;subHeight;$I;17| (|a| $) (|subspan| |a|)) +(DEFUN |OUTFORM;subHeight;$I;18| (|a| $) (|subspan| |a|)) -(PUT '|OUTFORM;superHeight;$I;18| '|SPADreplace| '|superspan|) +(PUT '|OUTFORM;superHeight;$I;19| '|SPADreplace| '|superspan|) -(DEFUN |OUTFORM;superHeight;$I;18| (|a| $) (|superspan| |a|)) +(DEFUN |OUTFORM;superHeight;$I;19| (|a| $) (|superspan| |a|)) -(PUT '|OUTFORM;height;I;19| '|SPADreplace| '(XLAM NIL 20)) +(PUT '|OUTFORM;height;I;20| '|SPADreplace| '(XLAM NIL 20)) -(DEFUN |OUTFORM;height;I;19| ($) 20) +(DEFUN |OUTFORM;height;I;20| ($) 20) -(PUT '|OUTFORM;width;I;20| '|SPADreplace| '(XLAM NIL 66)) +(PUT '|OUTFORM;width;I;21| '|SPADreplace| '(XLAM NIL 66)) -(DEFUN |OUTFORM;width;I;20| ($) 66) +(DEFUN |OUTFORM;width;I;21| ($) 66) -(DEFUN |OUTFORM;center;$I$;21| (|a| |w| $) +(DEFUN |OUTFORM;center;$I$;22| (|a| |w| $) (SPADCALL (SPADCALL - (QUOTIENT2 (- |w| (SPADCALL |a| (|getShellEntry| $ 29))) 2) - (|getShellEntry| $ 35)) - |a| (|getShellEntry| $ 36))) + (QUOTIENT2 (- |w| (SPADCALL |a| (|getShellEntry| $ 31))) 2) + (|getShellEntry| $ 37)) + |a| (|getShellEntry| $ 38))) -(DEFUN |OUTFORM;left;$I$;22| (|a| |w| $) +(DEFUN |OUTFORM;left;$I$;23| (|a| |w| $) (SPADCALL |a| - (SPADCALL (- |w| (SPADCALL |a| (|getShellEntry| $ 29))) - (|getShellEntry| $ 35)) - (|getShellEntry| $ 36))) + (SPADCALL (- |w| (SPADCALL |a| (|getShellEntry| $ 31))) + (|getShellEntry| $ 37)) + (|getShellEntry| $ 38))) -(DEFUN |OUTFORM;right;$I$;23| (|a| |w| $) +(DEFUN |OUTFORM;right;$I$;24| (|a| |w| $) (SPADCALL - (SPADCALL (- |w| (SPADCALL |a| (|getShellEntry| $ 29))) - (|getShellEntry| $ 35)) - |a| (|getShellEntry| $ 36))) + (SPADCALL (- |w| (SPADCALL |a| (|getShellEntry| $ 31))) + (|getShellEntry| $ 37)) + |a| (|getShellEntry| $ 38))) -(DEFUN |OUTFORM;center;2$;24| (|a| $) - (SPADCALL |a| (SPADCALL (|getShellEntry| $ 34)) - (|getShellEntry| $ 37))) +(DEFUN |OUTFORM;center;2$;25| (|a| $) + (SPADCALL |a| (SPADCALL (|getShellEntry| $ 36)) + (|getShellEntry| $ 39))) -(DEFUN |OUTFORM;left;2$;25| (|a| $) - (SPADCALL |a| (SPADCALL (|getShellEntry| $ 34)) - (|getShellEntry| $ 38))) +(DEFUN |OUTFORM;left;2$;26| (|a| $) + (SPADCALL |a| (SPADCALL (|getShellEntry| $ 36)) + (|getShellEntry| $ 40))) -(DEFUN |OUTFORM;right;2$;26| (|a| $) - (SPADCALL |a| (SPADCALL (|getShellEntry| $ 34)) - (|getShellEntry| $ 39))) +(DEFUN |OUTFORM;right;2$;27| (|a| $) + (SPADCALL |a| (SPADCALL (|getShellEntry| $ 36)) + (|getShellEntry| $ 41))) -(DEFUN |OUTFORM;vspace;I$;27| (|n| $) +(DEFUN |OUTFORM;vspace;I$;28| (|n| $) (COND - ((EQL |n| 0) (SPADCALL (|getShellEntry| $ 11))) + ((EQL |n| 0) (SPADCALL (|getShellEntry| $ 13))) ('T (SPADCALL (|OUTFORM;sform| " " $) - (SPADCALL (- |n| 1) (|getShellEntry| $ 43)) - (|getShellEntry| $ 44))))) + (SPADCALL (- |n| 1) (|getShellEntry| $ 45)) + (|getShellEntry| $ 46))))) -(DEFUN |OUTFORM;hspace;I$;28| (|n| $) +(DEFUN |OUTFORM;hspace;I$;29| (|n| $) (COND - ((EQL |n| 0) (SPADCALL (|getShellEntry| $ 11))) + ((EQL |n| 0) (SPADCALL (|getShellEntry| $ 13))) ('T (|OUTFORM;sform| (|fillerSpaces| |n|) $)))) -(DEFUN |OUTFORM;rspace;2I$;29| (|n| |m| $) +(DEFUN |OUTFORM;rspace;2I$;30| (|n| |m| $) (COND - ((OR (EQL |n| 0) (EQL |m| 0)) (SPADCALL (|getShellEntry| $ 11))) + ((OR (EQL |n| 0) (EQL |m| 0)) (SPADCALL (|getShellEntry| $ 13))) ('T - (SPADCALL (SPADCALL |n| (|getShellEntry| $ 35)) - (SPADCALL |n| (- |m| 1) (|getShellEntry| $ 45)) - (|getShellEntry| $ 44))))) + (SPADCALL (SPADCALL |n| (|getShellEntry| $ 37)) + (SPADCALL |n| (- |m| 1) (|getShellEntry| $ 47)) + (|getShellEntry| $ 46))))) -(DEFUN |OUTFORM;matrix;L$;30| (|ll| $) - (PROG (#0=#:G1440 |l| #1=#:G1441 |lv|) +(DEFUN |OUTFORM;matrix;L$;31| (|ll| $) + (PROG (#0=#:G1445 |l| #1=#:G1446 |lv|) (RETURN (SEQ (LETT |lv| (|OUTFORM;bless| (PROGN - (LETT #0# NIL |OUTFORM;matrix;L$;30|) - (SEQ (LETT |l| NIL |OUTFORM;matrix;L$;30|) - (LETT #1# |ll| |OUTFORM;matrix;L$;30|) G190 + (LETT #0# NIL |OUTFORM;matrix;L$;31|) + (SEQ (LETT |l| NIL |OUTFORM;matrix;L$;31|) + (LETT #1# |ll| |OUTFORM;matrix;L$;31|) G190 (COND ((OR (ATOM #1#) (PROGN (LETT |l| (CAR #1#) - |OUTFORM;matrix;L$;30|) + |OUTFORM;matrix;L$;31|) NIL)) (GO G191))) (SEQ (EXIT (LETT #0# (CONS (LIST2VEC |l|) #0#) - |OUTFORM;matrix;L$;30|))) - (LETT #1# (CDR #1#) |OUTFORM;matrix;L$;30|) + |OUTFORM;matrix;L$;31|))) + (LETT #1# (CDR #1#) |OUTFORM;matrix;L$;31|) (GO G190) G191 (EXIT (NREVERSE0 #0#)))) $) - |OUTFORM;matrix;L$;30|) + |OUTFORM;matrix;L$;31|) (EXIT (CONS (|OUTFORM;eform| 'MATRIX $) (LIST2VEC |lv|))))))) -(DEFUN |OUTFORM;pile;L$;31| (|l| $) +(DEFUN |OUTFORM;pile;L$;32| (|l| $) (CONS (|OUTFORM;eform| 'SC $) |l|)) -(DEFUN |OUTFORM;commaSeparate;L$;32| (|l| $) +(DEFUN |OUTFORM;commaSeparate;L$;33| (|l| $) (CONS (|OUTFORM;eform| 'AGGLST $) |l|)) -(DEFUN |OUTFORM;semicolonSeparate;L$;33| (|l| $) +(DEFUN |OUTFORM;semicolonSeparate;L$;34| (|l| $) (CONS (|OUTFORM;eform| 'AGGSET $) |l|)) -(DEFUN |OUTFORM;blankSeparate;L$;34| (|l| $) - (PROG (|c| |u| #0=#:G1449 |l1|) +(DEFUN |OUTFORM;blankSeparate;L$;35| (|l| $) + (PROG (|c| |u| #0=#:G1454 |l1|) (RETURN (SEQ (LETT |c| (|OUTFORM;eform| 'CONCATB $) - |OUTFORM;blankSeparate;L$;34|) - (LETT |l1| NIL |OUTFORM;blankSeparate;L$;34|) - (SEQ (LETT |u| NIL |OUTFORM;blankSeparate;L$;34|) - (LETT #0# (SPADCALL |l| (|getShellEntry| $ 53)) - |OUTFORM;blankSeparate;L$;34|) + |OUTFORM;blankSeparate;L$;35|) + (LETT |l1| NIL |OUTFORM;blankSeparate;L$;35|) + (SEQ (LETT |u| NIL |OUTFORM;blankSeparate;L$;35|) + (LETT #0# (SPADCALL |l| (|getShellEntry| $ 55)) + |OUTFORM;blankSeparate;L$;35|) G190 (COND ((OR (ATOM #0#) (PROGN (LETT |u| (CAR #0#) - |OUTFORM;blankSeparate;L$;34|) + |OUTFORM;blankSeparate;L$;35|) NIL)) (GO G191))) (SEQ (EXIT (COND ((EQCAR |u| |c|) (LETT |l1| (SPADCALL (CDR |u|) |l1| - (|getShellEntry| $ 54)) - |OUTFORM;blankSeparate;L$;34|)) + (|getShellEntry| $ 56)) + |OUTFORM;blankSeparate;L$;35|)) ('T (LETT |l1| (CONS |u| |l1|) - |OUTFORM;blankSeparate;L$;34|))))) - (LETT #0# (CDR #0#) |OUTFORM;blankSeparate;L$;34|) + |OUTFORM;blankSeparate;L$;35|))))) + (LETT #0# (CDR #0#) |OUTFORM;blankSeparate;L$;35|) (GO G190) G191 (EXIT NIL)) (EXIT (CONS |c| |l1|)))))) -(DEFUN |OUTFORM;brace;2$;35| (|a| $) +(DEFUN |OUTFORM;brace;2$;36| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'BRACE $) |a|) $)) -(DEFUN |OUTFORM;brace;L$;36| (|l| $) - (SPADCALL (SPADCALL |l| (|getShellEntry| $ 50)) - (|getShellEntry| $ 56))) +(DEFUN |OUTFORM;brace;L$;37| (|l| $) + (SPADCALL (SPADCALL |l| (|getShellEntry| $ 52)) + (|getShellEntry| $ 58))) -(DEFUN |OUTFORM;bracket;2$;37| (|a| $) +(DEFUN |OUTFORM;bracket;2$;38| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'BRACKET $) |a|) $)) -(DEFUN |OUTFORM;bracket;L$;38| (|l| $) - (SPADCALL (SPADCALL |l| (|getShellEntry| $ 50)) - (|getShellEntry| $ 58))) +(DEFUN |OUTFORM;bracket;L$;39| (|l| $) + (SPADCALL (SPADCALL |l| (|getShellEntry| $ 52)) + (|getShellEntry| $ 60))) -(DEFUN |OUTFORM;paren;2$;39| (|a| $) +(DEFUN |OUTFORM;paren;2$;40| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'PAREN $) |a|) $)) -(DEFUN |OUTFORM;paren;L$;40| (|l| $) - (SPADCALL (SPADCALL |l| (|getShellEntry| $ 50)) - (|getShellEntry| $ 60))) +(DEFUN |OUTFORM;paren;L$;41| (|l| $) + (SPADCALL (SPADCALL |l| (|getShellEntry| $ 52)) + (|getShellEntry| $ 62))) -(DEFUN |OUTFORM;sub;3$;41| (|a| |b| $) +(DEFUN |OUTFORM;sub;3$;42| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SUB $) |a| |b|) $)) -(DEFUN |OUTFORM;super;3$;42| (|a| |b| $) +(DEFUN |OUTFORM;super;3$;43| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SUPERSUB $) |a| (|OUTFORM;sform| " " $) |b|) $)) -(DEFUN |OUTFORM;presub;3$;43| (|a| |b| $) +(DEFUN |OUTFORM;presub;3$;44| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SUPERSUB $) |a| (|OUTFORM;sform| " " $) (|OUTFORM;sform| " " $) (|OUTFORM;sform| " " $) |b|) $)) -(DEFUN |OUTFORM;presuper;3$;44| (|a| |b| $) +(DEFUN |OUTFORM;presuper;3$;45| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SUPERSUB $) |a| (|OUTFORM;sform| " " $) (|OUTFORM;sform| " " $) |b|) $)) -(DEFUN |OUTFORM;scripts;$L$;45| (|a| |l| $) +(DEFUN |OUTFORM;scripts;$L$;46| (|a| |l| $) (COND - ((SPADCALL |l| (|getShellEntry| $ 66)) |a|) - ((SPADCALL (SPADCALL |l| (|getShellEntry| $ 67)) - (|getShellEntry| $ 66)) - (SPADCALL |a| (SPADCALL |l| (|getShellEntry| $ 68)) - (|getShellEntry| $ 62))) + ((SPADCALL |l| (|getShellEntry| $ 68)) |a|) + ((SPADCALL (SPADCALL |l| (|getShellEntry| $ 69)) + (|getShellEntry| $ 68)) + (SPADCALL |a| (SPADCALL |l| (|getShellEntry| $ 70)) + (|getShellEntry| $ 64))) ('T (CONS (|OUTFORM;eform| 'SUPERSUB $) (CONS |a| |l|))))) -(DEFUN |OUTFORM;supersub;$L$;46| (|a| |l| $) +(DEFUN |OUTFORM;supersub;$L$;47| (|a| |l| $) (SEQ (COND - ((ODDP (SPADCALL |l| (|getShellEntry| $ 71))) + ((ODDP (SPADCALL |l| (|getShellEntry| $ 73))) (LETT |l| - (SPADCALL |l| (LIST (SPADCALL (|getShellEntry| $ 11))) - (|getShellEntry| $ 54)) - |OUTFORM;supersub;$L$;46|))) + (SPADCALL |l| (LIST (SPADCALL (|getShellEntry| $ 13))) + (|getShellEntry| $ 56)) + |OUTFORM;supersub;$L$;47|))) (EXIT (CONS (|OUTFORM;eform| 'ALTSUPERSUB $) (CONS |a| |l|))))) -(DEFUN |OUTFORM;hconcat;3$;47| (|a| |b| $) +(DEFUN |OUTFORM;hconcat;3$;48| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'CONCAT $) |a| |b|) $)) -(DEFUN |OUTFORM;hconcat;L$;48| (|l| $) +(DEFUN |OUTFORM;hconcat;L$;49| (|l| $) (CONS (|OUTFORM;eform| 'CONCAT $) |l|)) -(DEFUN |OUTFORM;vconcat;3$;49| (|a| |b| $) +(DEFUN |OUTFORM;vconcat;3$;50| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'VCONCAT $) |a| |b|) $)) -(DEFUN |OUTFORM;vconcat;L$;50| (|l| $) +(DEFUN |OUTFORM;vconcat;L$;51| (|l| $) (CONS (|OUTFORM;eform| 'VCONCAT $) |l|)) -(DEFUN |OUTFORM;~=;3$;51| (|a| |b| $) +(DEFUN |OUTFORM;~=;3$;52| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "~=" $) |a| |b|) $)) -(DEFUN |OUTFORM;<;3$;52| (|a| |b| $) +(DEFUN |OUTFORM;<;3$;53| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "<" $) |a| |b|) $)) -(DEFUN |OUTFORM;>;3$;53| (|a| |b| $) +(DEFUN |OUTFORM;>;3$;54| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| ">" $) |a| |b|) $)) -(DEFUN |OUTFORM;<=;3$;54| (|a| |b| $) +(DEFUN |OUTFORM;<=;3$;55| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "<=" $) |a| |b|) $)) -(DEFUN |OUTFORM;>=;3$;55| (|a| |b| $) +(DEFUN |OUTFORM;>=;3$;56| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| ">=" $) |a| |b|) $)) -(DEFUN |OUTFORM;+;3$;56| (|a| |b| $) +(DEFUN |OUTFORM;+;3$;57| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "+" $) |a| |b|) $)) -(DEFUN |OUTFORM;-;3$;57| (|a| |b| $) +(DEFUN |OUTFORM;-;3$;58| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "-" $) |a| |b|) $)) -(DEFUN |OUTFORM;-;2$;58| (|a| $) +(DEFUN |OUTFORM;-;2$;59| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "-" $) |a|) $)) -(DEFUN |OUTFORM;*;3$;59| (|a| |b| $) +(DEFUN |OUTFORM;*;3$;60| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "*" $) |a| |b|) $)) -(DEFUN |OUTFORM;/;3$;60| (|a| |b| $) +(DEFUN |OUTFORM;/;3$;61| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "/" $) |a| |b|) $)) -(DEFUN |OUTFORM;**;3$;61| (|a| |b| $) +(DEFUN |OUTFORM;**;3$;62| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "**" $) |a| |b|) $)) -(DEFUN |OUTFORM;div;3$;62| (|a| |b| $) +(DEFUN |OUTFORM;div;3$;63| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "div" $) |a| |b|) $)) -(DEFUN |OUTFORM;rem;3$;63| (|a| |b| $) +(DEFUN |OUTFORM;rem;3$;64| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "rem" $) |a| |b|) $)) -(DEFUN |OUTFORM;quo;3$;64| (|a| |b| $) +(DEFUN |OUTFORM;quo;3$;65| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "quo" $) |a| |b|) $)) -(DEFUN |OUTFORM;exquo;3$;65| (|a| |b| $) +(DEFUN |OUTFORM;exquo;3$;66| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "exquo" $) |a| |b|) $)) -(DEFUN |OUTFORM;and;3$;66| (|a| |b| $) +(DEFUN |OUTFORM;and;3$;67| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "and" $) |a| |b|) $)) -(DEFUN |OUTFORM;or;3$;67| (|a| |b| $) +(DEFUN |OUTFORM;or;3$;68| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "or" $) |a| |b|) $)) -(DEFUN |OUTFORM;not;2$;68| (|a| $) +(DEFUN |OUTFORM;not;2$;69| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;sform| "not" $) |a|) $)) -(DEFUN |OUTFORM;SEGMENT;3$;69| (|a| |b| $) +(DEFUN |OUTFORM;SEGMENT;3$;70| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SEGMENT $) |a| |b|) $)) -(DEFUN |OUTFORM;SEGMENT;2$;70| (|a| $) +(DEFUN |OUTFORM;SEGMENT;2$;71| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SEGMENT $) |a|) $)) -(DEFUN |OUTFORM;binomial;3$;71| (|a| |b| $) +(DEFUN |OUTFORM;binomial;3$;72| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'BINOMIAL $) |a| |b|) $)) -(DEFUN |OUTFORM;empty;$;72| ($) +(DEFUN |OUTFORM;empty;$;73| ($) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'NOTHING $)) $)) -(DEFUN |OUTFORM;infix?;$B;73| (|a| $) - (PROG (#0=#:G1494 |e|) +(DEFUN |OUTFORM;infix?;$B;74| (|a| $) + (PROG (#0=#:G1499 |e|) (RETURN (SEQ (EXIT (SEQ (LETT |e| (COND @@ -349,180 +355,180 @@ ((STRINGP |a|) (INTERN |a|)) ('T (PROGN - (LETT #0# 'NIL |OUTFORM;infix?;$B;73|) + (LETT #0# 'NIL |OUTFORM;infix?;$B;74|) (GO #0#)))) - |OUTFORM;infix?;$B;73|) + |OUTFORM;infix?;$B;74|) (EXIT (COND ((GET |e| 'INFIXOP) 'T) ('T 'NIL))))) #0# (EXIT #0#))))) -(PUT '|OUTFORM;elt;$L$;74| '|SPADreplace| 'CONS) +(PUT '|OUTFORM;elt;$L$;75| '|SPADreplace| 'CONS) -(DEFUN |OUTFORM;elt;$L$;74| (|a| |l| $) (CONS |a| |l|)) +(DEFUN |OUTFORM;elt;$L$;75| (|a| |l| $) (CONS |a| |l|)) -(DEFUN |OUTFORM;prefix;$L$;75| (|a| |l| $) +(DEFUN |OUTFORM;prefix;$L$;76| (|a| |l| $) (COND - ((NULL (SPADCALL |a| (|getShellEntry| $ 96))) (CONS |a| |l|)) + ((NULL (SPADCALL |a| (|getShellEntry| $ 98))) (CONS |a| |l|)) ('T (SPADCALL |a| - (SPADCALL (SPADCALL |l| (|getShellEntry| $ 50)) - (|getShellEntry| $ 60)) - (|getShellEntry| $ 36))))) + (SPADCALL (SPADCALL |l| (|getShellEntry| $ 52)) + (|getShellEntry| $ 62)) + (|getShellEntry| $ 38))))) -(DEFUN |OUTFORM;infix;$L$;76| (|a| |l| $) +(DEFUN |OUTFORM;infix;$L$;77| (|a| |l| $) (COND - ((SPADCALL |l| (|getShellEntry| $ 66)) - (SPADCALL (|getShellEntry| $ 11))) - ((SPADCALL (SPADCALL |l| (|getShellEntry| $ 67)) - (|getShellEntry| $ 66)) - (SPADCALL |l| (|getShellEntry| $ 68))) - ((SPADCALL |a| (|getShellEntry| $ 96)) (CONS |a| |l|)) + ((SPADCALL |l| (|getShellEntry| $ 68)) + (SPADCALL (|getShellEntry| $ 13))) + ((SPADCALL (SPADCALL |l| (|getShellEntry| $ 69)) + (|getShellEntry| $ 68)) + (SPADCALL |l| (|getShellEntry| $ 70))) + ((SPADCALL |a| (|getShellEntry| $ 98)) (CONS |a| |l|)) ('T (SPADCALL - (LIST (SPADCALL |l| (|getShellEntry| $ 68)) |a| - (SPADCALL |a| (SPADCALL |l| (|getShellEntry| $ 67)) - (|getShellEntry| $ 99))) - (|getShellEntry| $ 73))))) + (LIST (SPADCALL |l| (|getShellEntry| $ 70)) |a| + (SPADCALL |a| (SPADCALL |l| (|getShellEntry| $ 69)) + (|getShellEntry| $ 101))) + (|getShellEntry| $ 75))))) -(DEFUN |OUTFORM;infix;4$;77| (|a| |b| |c| $) +(DEFUN |OUTFORM;infix;4$;78| (|a| |b| |c| $) (COND - ((SPADCALL |a| (|getShellEntry| $ 96)) + ((SPADCALL |a| (|getShellEntry| $ 98)) (|OUTFORM;bless| (LIST |a| |b| |c|) $)) - ('T (SPADCALL (LIST |b| |a| |c|) (|getShellEntry| $ 73))))) + ('T (SPADCALL (LIST |b| |a| |c|) (|getShellEntry| $ 75))))) -(DEFUN |OUTFORM;postfix;3$;78| (|a| |b| $) - (SPADCALL |b| |a| (|getShellEntry| $ 36))) +(DEFUN |OUTFORM;postfix;3$;79| (|a| |b| $) + (SPADCALL |b| |a| (|getShellEntry| $ 38))) -(DEFUN |OUTFORM;string;2$;79| (|a| $) +(DEFUN |OUTFORM;string;2$;80| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'STRING $) |a|) $)) -(DEFUN |OUTFORM;quote;2$;80| (|a| $) +(DEFUN |OUTFORM;quote;2$;81| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'QUOTE $) |a|) $)) -(DEFUN |OUTFORM;overbar;2$;81| (|a| $) +(DEFUN |OUTFORM;overbar;2$;82| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'OVERBAR $) |a|) $)) -(DEFUN |OUTFORM;dot;2$;82| (|a| $) - (SPADCALL |a| (|OUTFORM;sform| "." $) (|getShellEntry| $ 63))) +(DEFUN |OUTFORM;dot;2$;83| (|a| $) + (SPADCALL |a| (|OUTFORM;sform| "." $) (|getShellEntry| $ 65))) -(DEFUN |OUTFORM;prime;2$;83| (|a| $) - (SPADCALL |a| (|OUTFORM;sform| "," $) (|getShellEntry| $ 63))) +(DEFUN |OUTFORM;prime;2$;84| (|a| $) + (SPADCALL |a| (|OUTFORM;sform| "," $) (|getShellEntry| $ 65))) -(DEFUN |OUTFORM;dot;$Nni$;84| (|a| |nn| $) +(DEFUN |OUTFORM;dot;$Nni$;85| (|a| |nn| $) (PROG (|s|) (RETURN (SEQ (LETT |s| (MAKE-FULL-CVEC |nn| - (SPADCALL "." (|getShellEntry| $ 107))) - |OUTFORM;dot;$Nni$;84|) + (SPADCALL "." (|getShellEntry| $ 109))) + |OUTFORM;dot;$Nni$;85|) (EXIT (SPADCALL |a| (|OUTFORM;sform| |s| $) - (|getShellEntry| $ 63))))))) + (|getShellEntry| $ 65))))))) -(DEFUN |OUTFORM;prime;$Nni$;85| (|a| |nn| $) +(DEFUN |OUTFORM;prime;$Nni$;86| (|a| |nn| $) (PROG (|s|) (RETURN (SEQ (LETT |s| (MAKE-FULL-CVEC |nn| - (SPADCALL "," (|getShellEntry| $ 107))) - |OUTFORM;prime;$Nni$;85|) + (SPADCALL "," (|getShellEntry| $ 109))) + |OUTFORM;prime;$Nni$;86|) (EXIT (SPADCALL |a| (|OUTFORM;sform| |s| $) - (|getShellEntry| $ 63))))))) + (|getShellEntry| $ 65))))))) -(DEFUN |OUTFORM;overlabel;3$;86| (|a| |b| $) +(DEFUN |OUTFORM;overlabel;3$;87| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'OVERLABEL $) |a| |b|) $)) -(DEFUN |OUTFORM;box;2$;87| (|a| $) +(DEFUN |OUTFORM;box;2$;88| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'BOX $) |a|) $)) -(DEFUN |OUTFORM;zag;3$;88| (|a| |b| $) +(DEFUN |OUTFORM;zag;3$;89| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'ZAG $) |a| |b|) $)) -(DEFUN |OUTFORM;root;2$;89| (|a| $) +(DEFUN |OUTFORM;root;2$;90| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'ROOT $) |a|) $)) -(DEFUN |OUTFORM;root;3$;90| (|a| |b| $) +(DEFUN |OUTFORM;root;3$;91| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'ROOT $) |a| |b|) $)) -(DEFUN |OUTFORM;over;3$;91| (|a| |b| $) +(DEFUN |OUTFORM;over;3$;92| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'OVER $) |a| |b|) $)) -(DEFUN |OUTFORM;slash;3$;92| (|a| |b| $) +(DEFUN |OUTFORM;slash;3$;93| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SLASH $) |a| |b|) $)) -(DEFUN |OUTFORM;assign;3$;93| (|a| |b| $) +(DEFUN |OUTFORM;assign;3$;94| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'LET $) |a| |b|) $)) -(DEFUN |OUTFORM;label;3$;94| (|a| |b| $) +(DEFUN |OUTFORM;label;3$;95| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'EQUATNUM $) |a| |b|) $)) -(DEFUN |OUTFORM;rarrow;3$;95| (|a| |b| $) +(DEFUN |OUTFORM;rarrow;3$;96| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'TAG $) |a| |b|) $)) -(DEFUN |OUTFORM;differentiate;$Nni$;96| (|a| |nn| $) - (PROG (#0=#:G1524 |r| |s|) +(DEFUN |OUTFORM;differentiate;$Nni$;97| (|a| |nn| $) + (PROG (#0=#:G1529 |r| |s|) (RETURN (SEQ (COND ((ZEROP |nn|) |a|) - ((< |nn| 4) (SPADCALL |a| |nn| (|getShellEntry| $ 109))) + ((< |nn| 4) (SPADCALL |a| |nn| (|getShellEntry| $ 111))) ('T (SEQ (LETT |r| (SPADCALL (PROG1 (LETT #0# |nn| - |OUTFORM;differentiate;$Nni$;96|) + |OUTFORM;differentiate;$Nni$;97|) (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#)) - (|getShellEntry| $ 122)) - |OUTFORM;differentiate;$Nni$;96|) - (LETT |s| (SPADCALL |r| (|getShellEntry| $ 123)) - |OUTFORM;differentiate;$Nni$;96|) + (|getShellEntry| $ 124)) + |OUTFORM;differentiate;$Nni$;97|) + (LETT |s| (SPADCALL |r| (|getShellEntry| $ 125)) + |OUTFORM;differentiate;$Nni$;97|) (EXIT (SPADCALL |a| (SPADCALL (|OUTFORM;sform| |s| $) - (|getShellEntry| $ 60)) - (|getShellEntry| $ 63)))))))))) + (|getShellEntry| $ 62)) + (|getShellEntry| $ 65)))))))))) -(DEFUN |OUTFORM;sum;2$;97| (|a| $) +(DEFUN |OUTFORM;sum;2$;98| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SIGMA $) - (SPADCALL (|getShellEntry| $ 11)) |a|) + (SPADCALL (|getShellEntry| $ 13)) |a|) $)) -(DEFUN |OUTFORM;sum;3$;98| (|a| |b| $) +(DEFUN |OUTFORM;sum;3$;99| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SIGMA $) |b| |a|) $)) -(DEFUN |OUTFORM;sum;4$;99| (|a| |b| |c| $) +(DEFUN |OUTFORM;sum;4$;100| (|a| |b| |c| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SIGMA2 $) |b| |c| |a|) $)) -(DEFUN |OUTFORM;prod;2$;100| (|a| $) +(DEFUN |OUTFORM;prod;2$;101| (|a| $) (|OUTFORM;bless| - (LIST (|OUTFORM;eform| 'PI $) (SPADCALL (|getShellEntry| $ 11)) + (LIST (|OUTFORM;eform| 'PI $) (SPADCALL (|getShellEntry| $ 13)) |a|) $)) -(DEFUN |OUTFORM;prod;3$;101| (|a| |b| $) +(DEFUN |OUTFORM;prod;3$;102| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'PI $) |b| |a|) $)) -(DEFUN |OUTFORM;prod;4$;102| (|a| |b| |c| $) +(DEFUN |OUTFORM;prod;4$;103| (|a| |b| |c| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'PI2 $) |b| |c| |a|) $)) -(DEFUN |OUTFORM;int;2$;103| (|a| $) +(DEFUN |OUTFORM;int;2$;104| (|a| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'INTSIGN $) - (SPADCALL (|getShellEntry| $ 11)) - (SPADCALL (|getShellEntry| $ 11)) |a|) + (SPADCALL (|getShellEntry| $ 13)) + (SPADCALL (|getShellEntry| $ 13)) |a|) $)) -(DEFUN |OUTFORM;int;3$;104| (|a| |b| $) +(DEFUN |OUTFORM;int;3$;105| (|a| |b| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'INTSIGN $) |b| - (SPADCALL (|getShellEntry| $ 11)) |a|) + (SPADCALL (|getShellEntry| $ 13)) |a|) $)) -(DEFUN |OUTFORM;int;4$;105| (|a| |b| |c| $) +(DEFUN |OUTFORM;int;4$;106| (|a| |b| |c| $) (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'INTSIGN $) |b| |c| |a|) $)) (DEFUN |OutputForm| () (PROG () (RETURN - (PROG (#0=#:G1538) + (PROG (#0=#:G1543) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|OutputForm|) @@ -542,73 +548,75 @@ (RETURN (PROGN (LETT |dv$| '(|OutputForm|) . #0=(|OutputForm|)) - (LETT $ (|newShell| 135) . #0#) + (LETT $ (|newShell| 137) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) (|haddProp| |$ConstructorCache| '|OutputForm| NIL (CONS 1 $)) (|stuffDomainSlots| $) + (|setShellEntry| $ 6 "~G") $)))) (MAKEPROP '|OutputForm| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL NIL (|Void|) |OUTFORM;print;$V;5| - (|Boolean|) (|String|) (0 . |empty?|) |OUTFORM;empty;$;72| - |OUTFORM;message;S$;6| |OUTFORM;messagePrint;SV;7| - |OUTFORM;=;2$B;8| |OUTFORM;=;3$;9| (|OutputForm|) - |OUTFORM;coerce;2$;10| (|Integer|) - |OUTFORM;outputForm;I$;11| (|Symbol|) - |OUTFORM;outputForm;S$;12| (|DoubleFloat|) - |OUTFORM;outputForm;Df$;13| (|Character|) (5 . |quote|) - (9 . |concat|) (15 . |concat|) |OUTFORM;outputForm;S$;14| - |OUTFORM;width;$I;15| |OUTFORM;height;$I;16| - |OUTFORM;subHeight;$I;17| |OUTFORM;superHeight;$I;18| - |OUTFORM;height;I;19| |OUTFORM;width;I;20| - |OUTFORM;hspace;I$;28| |OUTFORM;hconcat;3$;47| - |OUTFORM;center;$I$;21| |OUTFORM;left;$I$;22| - |OUTFORM;right;$I$;23| |OUTFORM;center;2$;24| - |OUTFORM;left;2$;25| |OUTFORM;right;2$;26| - |OUTFORM;vspace;I$;27| |OUTFORM;vconcat;3$;49| - |OUTFORM;rspace;2I$;29| (|List| $) (|List| 46) - |OUTFORM;matrix;L$;30| |OUTFORM;pile;L$;31| - |OUTFORM;commaSeparate;L$;32| - |OUTFORM;semicolonSeparate;L$;33| (|List| $$) + (LIST '#(NIL NIL NIL NIL NIL NIL '|format| (|String|) + |OUTFORM;doubleFloatFormat;2S;1| (|Void|) + |OUTFORM;print;$V;6| (|Boolean|) (0 . |empty?|) + |OUTFORM;empty;$;73| |OUTFORM;message;S$;7| + |OUTFORM;messagePrint;SV;8| |OUTFORM;=;2$B;9| + |OUTFORM;=;3$;10| (|OutputForm|) |OUTFORM;coerce;2$;11| + (|Integer|) |OUTFORM;outputForm;I$;12| (|Symbol|) + |OUTFORM;outputForm;S$;13| (|DoubleFloat|) + |OUTFORM;outputForm;Df$;14| (|Character|) (5 . |quote|) + (9 . |concat|) (15 . |concat|) |OUTFORM;outputForm;S$;15| + |OUTFORM;width;$I;16| |OUTFORM;height;$I;17| + |OUTFORM;subHeight;$I;18| |OUTFORM;superHeight;$I;19| + |OUTFORM;height;I;20| |OUTFORM;width;I;21| + |OUTFORM;hspace;I$;29| |OUTFORM;hconcat;3$;48| + |OUTFORM;center;$I$;22| |OUTFORM;left;$I$;23| + |OUTFORM;right;$I$;24| |OUTFORM;center;2$;25| + |OUTFORM;left;2$;26| |OUTFORM;right;2$;27| + |OUTFORM;vspace;I$;28| |OUTFORM;vconcat;3$;50| + |OUTFORM;rspace;2I$;30| (|List| $) (|List| 48) + |OUTFORM;matrix;L$;31| |OUTFORM;pile;L$;32| + |OUTFORM;commaSeparate;L$;33| + |OUTFORM;semicolonSeparate;L$;34| (|List| $$) (21 . |reverse|) (26 . |append|) - |OUTFORM;blankSeparate;L$;34| |OUTFORM;brace;2$;35| - |OUTFORM;brace;L$;36| |OUTFORM;bracket;2$;37| - |OUTFORM;bracket;L$;38| |OUTFORM;paren;2$;39| - |OUTFORM;paren;L$;40| |OUTFORM;sub;3$;41| - |OUTFORM;super;3$;42| |OUTFORM;presub;3$;43| - |OUTFORM;presuper;3$;44| (32 . |null|) (37 . |rest|) - (42 . |first|) |OUTFORM;scripts;$L$;45| + |OUTFORM;blankSeparate;L$;35| |OUTFORM;brace;2$;36| + |OUTFORM;brace;L$;37| |OUTFORM;bracket;2$;38| + |OUTFORM;bracket;L$;39| |OUTFORM;paren;2$;40| + |OUTFORM;paren;L$;41| |OUTFORM;sub;3$;42| + |OUTFORM;super;3$;43| |OUTFORM;presub;3$;44| + |OUTFORM;presuper;3$;45| (32 . |null|) (37 . |rest|) + (42 . |first|) |OUTFORM;scripts;$L$;46| (|NonNegativeInteger|) (47 . |#|) - |OUTFORM;supersub;$L$;46| |OUTFORM;hconcat;L$;48| - |OUTFORM;vconcat;L$;50| |OUTFORM;~=;3$;51| - |OUTFORM;<;3$;52| |OUTFORM;>;3$;53| |OUTFORM;<=;3$;54| - |OUTFORM;>=;3$;55| |OUTFORM;+;3$;56| |OUTFORM;-;3$;57| - |OUTFORM;-;2$;58| |OUTFORM;*;3$;59| |OUTFORM;/;3$;60| - |OUTFORM;**;3$;61| |OUTFORM;div;3$;62| |OUTFORM;rem;3$;63| - |OUTFORM;quo;3$;64| |OUTFORM;exquo;3$;65| - |OUTFORM;and;3$;66| |OUTFORM;or;3$;67| |OUTFORM;not;2$;68| - |OUTFORM;SEGMENT;3$;69| |OUTFORM;SEGMENT;2$;70| - |OUTFORM;binomial;3$;71| |OUTFORM;infix?;$B;73| - |OUTFORM;elt;$L$;74| |OUTFORM;prefix;$L$;75| - |OUTFORM;infix;$L$;76| |OUTFORM;infix;4$;77| - |OUTFORM;postfix;3$;78| |OUTFORM;string;2$;79| - |OUTFORM;quote;2$;80| |OUTFORM;overbar;2$;81| - |OUTFORM;dot;2$;82| |OUTFORM;prime;2$;83| (52 . |char|) - |OUTFORM;dot;$Nni$;84| |OUTFORM;prime;$Nni$;85| - |OUTFORM;overlabel;3$;86| |OUTFORM;box;2$;87| - |OUTFORM;zag;3$;88| |OUTFORM;root;2$;89| - |OUTFORM;root;3$;90| |OUTFORM;over;3$;91| - |OUTFORM;slash;3$;92| |OUTFORM;assign;3$;93| - |OUTFORM;label;3$;94| |OUTFORM;rarrow;3$;95| + |OUTFORM;supersub;$L$;47| |OUTFORM;hconcat;L$;49| + |OUTFORM;vconcat;L$;51| |OUTFORM;~=;3$;52| + |OUTFORM;<;3$;53| |OUTFORM;>;3$;54| |OUTFORM;<=;3$;55| + |OUTFORM;>=;3$;56| |OUTFORM;+;3$;57| |OUTFORM;-;3$;58| + |OUTFORM;-;2$;59| |OUTFORM;*;3$;60| |OUTFORM;/;3$;61| + |OUTFORM;**;3$;62| |OUTFORM;div;3$;63| |OUTFORM;rem;3$;64| + |OUTFORM;quo;3$;65| |OUTFORM;exquo;3$;66| + |OUTFORM;and;3$;67| |OUTFORM;or;3$;68| |OUTFORM;not;2$;69| + |OUTFORM;SEGMENT;3$;70| |OUTFORM;SEGMENT;2$;71| + |OUTFORM;binomial;3$;72| |OUTFORM;infix?;$B;74| + |OUTFORM;elt;$L$;75| |OUTFORM;prefix;$L$;76| + |OUTFORM;infix;$L$;77| |OUTFORM;infix;4$;78| + |OUTFORM;postfix;3$;79| |OUTFORM;string;2$;80| + |OUTFORM;quote;2$;81| |OUTFORM;overbar;2$;82| + |OUTFORM;dot;2$;83| |OUTFORM;prime;2$;84| (52 . |char|) + |OUTFORM;dot;$Nni$;85| |OUTFORM;prime;$Nni$;86| + |OUTFORM;overlabel;3$;87| |OUTFORM;box;2$;88| + |OUTFORM;zag;3$;89| |OUTFORM;root;2$;90| + |OUTFORM;root;3$;91| |OUTFORM;over;3$;92| + |OUTFORM;slash;3$;93| |OUTFORM;assign;3$;94| + |OUTFORM;label;3$;95| |OUTFORM;rarrow;3$;96| (|PositiveInteger|) (|NumberFormats|) (57 . |FormatRoman|) - (62 . |lowerCase|) |OUTFORM;differentiate;$Nni$;96| - |OUTFORM;sum;2$;97| |OUTFORM;sum;3$;98| - |OUTFORM;sum;4$;99| |OUTFORM;prod;2$;100| - |OUTFORM;prod;3$;101| |OUTFORM;prod;4$;102| - |OUTFORM;int;2$;103| |OUTFORM;int;3$;104| - |OUTFORM;int;4$;105| (|SingleInteger|)) + (62 . |lowerCase|) |OUTFORM;differentiate;$Nni$;97| + |OUTFORM;sum;2$;98| |OUTFORM;sum;3$;99| + |OUTFORM;sum;4$;100| |OUTFORM;prod;2$;101| + |OUTFORM;prod;3$;102| |OUTFORM;prod;4$;103| + |OUTFORM;int;2$;104| |OUTFORM;int;3$;105| + |OUTFORM;int;4$;106| (|SingleInteger|)) '#(~= 67 |zag| 79 |width| 85 |vspace| 94 |vconcat| 99 |supersub| 110 |superHeight| 116 |super| 121 |sum| 127 |subHeight| 145 |sub| 150 |string| 156 |slash| 161 @@ -621,159 +629,163 @@ |matrix| 360 |left| 365 |latex| 376 |label| 381 |int| 387 |infix?| 405 |infix| 410 |hspace| 423 |height| 428 |hconcat| 437 |hash| 448 |exquo| 453 |empty| 459 |elt| 463 - |dot| 469 |div| 480 |differentiate| 486 |commaSeparate| - 492 |coerce| 497 |center| 502 |bracket| 513 |brace| 523 - |box| 533 |blankSeparate| 538 |binomial| 543 |assign| 549 - |and| 555 SEGMENT 561 >= 572 > 578 = 584 <= 596 < 602 / - 608 - 614 + 625 ** 631 * 637) + |doubleFloatFormat| 469 |dot| 474 |div| 485 + |differentiate| 491 |commaSeparate| 497 |coerce| 502 + |center| 507 |bracket| 518 |brace| 528 |box| 538 + |blankSeparate| 543 |binomial| 548 |assign| 554 |and| 560 + SEGMENT 566 >= 577 > 583 = 589 <= 601 < 607 / 613 - 619 + + 630 ** 636 * 642) 'NIL (CONS (|makeByteWordVec2| 1 '(0 0 0)) (CONS '#(|SetCategory&| |BasicType&| NIL) (CONS '#((|SetCategory|) (|BasicType|) - (|CoercibleTo| 16)) - (|makeByteWordVec2| 134 - '(1 9 8 0 10 0 24 0 25 2 9 0 0 24 26 2 - 9 0 24 0 27 1 52 0 0 53 2 52 0 0 0 54 - 1 52 8 0 66 1 52 0 0 67 1 52 2 0 68 1 - 52 70 0 71 1 24 0 9 107 1 121 9 120 - 122 1 9 0 0 123 2 0 0 0 0 75 2 0 8 0 - 0 1 2 0 0 0 0 112 0 0 18 34 1 0 18 0 - 29 1 0 0 18 43 1 0 0 46 74 2 0 0 0 0 - 44 2 0 0 0 46 72 1 0 18 0 32 2 0 0 0 - 0 63 2 0 0 0 0 126 3 0 0 0 0 0 127 1 - 0 0 0 125 1 0 18 0 31 2 0 0 0 0 62 1 - 0 0 0 102 2 0 0 0 0 116 1 0 0 46 51 2 - 0 0 0 46 69 2 0 0 18 18 45 1 0 0 0 - 113 2 0 0 0 0 114 1 0 0 0 42 2 0 0 0 - 18 39 2 0 0 0 0 87 2 0 0 0 0 119 1 0 - 0 0 103 2 0 0 0 0 88 3 0 0 0 0 0 130 - 1 0 0 0 128 2 0 0 0 0 129 1 0 6 0 7 2 - 0 0 0 70 109 1 0 0 0 106 2 0 0 0 0 65 - 2 0 0 0 0 64 2 0 0 0 46 98 2 0 0 0 0 - 101 1 0 0 46 49 1 0 0 46 61 1 0 0 0 - 60 2 0 0 0 0 110 1 0 0 0 104 2 0 0 0 - 0 115 1 0 0 9 28 1 0 0 22 23 1 0 0 20 - 21 1 0 0 18 19 2 0 0 0 0 91 1 0 0 0 - 92 1 0 6 9 13 1 0 0 9 12 1 0 0 47 48 - 1 0 0 0 41 2 0 0 0 18 38 1 0 9 0 1 2 - 0 0 0 0 118 3 0 0 0 0 0 133 2 0 0 0 0 - 132 1 0 0 0 131 1 0 8 0 96 2 0 0 0 46 - 99 3 0 0 0 0 0 100 1 0 0 18 35 0 0 18 - 33 1 0 18 0 30 1 0 0 46 73 2 0 0 0 0 - 36 1 0 134 0 1 2 0 0 0 0 89 0 0 0 11 - 2 0 0 0 46 97 2 0 0 0 70 108 1 0 0 0 - 105 2 0 0 0 0 86 2 0 0 0 70 124 1 0 0 - 46 50 1 0 16 0 17 1 0 0 0 40 2 0 0 0 - 18 37 1 0 0 0 58 1 0 0 46 59 1 0 0 46 - 57 1 0 0 0 56 1 0 0 0 111 1 0 0 46 55 - 2 0 0 0 0 95 2 0 0 0 0 117 2 0 0 0 0 - 90 1 0 0 0 94 2 0 0 0 0 93 2 0 0 0 0 - 79 2 0 0 0 0 77 2 0 0 0 0 15 2 0 8 0 - 0 14 2 0 0 0 0 78 2 0 0 0 0 76 2 0 0 - 0 0 84 1 0 0 0 82 2 0 0 0 0 81 2 0 0 - 0 0 80 2 0 0 0 0 85 2 0 0 0 0 83))))) + (|CoercibleTo| 18)) + (|makeByteWordVec2| 136 + '(1 7 11 0 12 0 26 0 27 2 7 0 0 26 28 2 + 7 0 26 0 29 1 54 0 0 55 2 54 0 0 0 56 + 1 54 11 0 68 1 54 0 0 69 1 54 2 0 70 + 1 54 72 0 73 1 26 0 7 109 1 123 7 122 + 124 1 7 0 0 125 2 0 0 0 0 77 2 0 11 0 + 0 1 2 0 0 0 0 114 0 0 20 36 1 0 20 0 + 31 1 0 0 20 45 1 0 0 48 76 2 0 0 0 0 + 46 2 0 0 0 48 74 1 0 20 0 34 2 0 0 0 + 0 65 2 0 0 0 0 128 3 0 0 0 0 0 129 1 + 0 0 0 127 1 0 20 0 33 2 0 0 0 0 64 1 + 0 0 0 104 2 0 0 0 0 118 1 0 0 48 53 2 + 0 0 0 48 71 2 0 0 20 20 47 1 0 0 0 + 115 2 0 0 0 0 116 1 0 0 0 44 2 0 0 0 + 20 41 2 0 0 0 0 89 2 0 0 0 0 121 1 0 + 0 0 105 2 0 0 0 0 90 3 0 0 0 0 0 132 + 1 0 0 0 130 2 0 0 0 0 131 1 0 9 0 10 + 2 0 0 0 72 111 1 0 0 0 108 2 0 0 0 0 + 67 2 0 0 0 0 66 2 0 0 0 48 100 2 0 0 + 0 0 103 1 0 0 48 51 1 0 0 48 63 1 0 0 + 0 62 2 0 0 0 0 112 1 0 0 0 106 2 0 0 + 0 0 117 1 0 0 24 25 1 0 0 22 23 1 0 0 + 7 30 1 0 0 20 21 2 0 0 0 0 93 1 0 0 0 + 94 1 0 9 7 15 1 0 0 7 14 1 0 0 49 50 + 1 0 0 0 43 2 0 0 0 20 40 1 0 7 0 1 2 + 0 0 0 0 120 3 0 0 0 0 0 135 2 0 0 0 0 + 134 1 0 0 0 133 1 0 11 0 98 2 0 0 0 + 48 101 3 0 0 0 0 0 102 1 0 0 20 37 0 + 0 20 35 1 0 20 0 32 1 0 0 48 75 2 0 0 + 0 0 38 1 0 136 0 1 2 0 0 0 0 91 0 0 0 + 13 2 0 0 0 48 99 1 0 7 7 8 2 0 0 0 72 + 110 1 0 0 0 107 2 0 0 0 0 88 2 0 0 0 + 72 126 1 0 0 48 52 1 0 18 0 19 1 0 0 + 0 42 2 0 0 0 20 39 1 0 0 0 60 1 0 0 + 48 61 1 0 0 48 59 1 0 0 0 58 1 0 0 0 + 113 1 0 0 48 57 2 0 0 0 0 97 2 0 0 0 + 0 119 2 0 0 0 0 92 1 0 0 0 96 2 0 0 0 + 0 95 2 0 0 0 0 81 2 0 0 0 0 79 2 0 0 + 0 0 17 2 0 11 0 0 16 2 0 0 0 0 80 2 0 + 0 0 0 78 2 0 0 0 0 86 1 0 0 0 84 2 0 + 0 0 0 83 2 0 0 0 0 82 2 0 0 0 0 87 2 + 0 0 0 0 85))))) '|lookupComplete|)) (SETQ |$CategoryFrame| (|put| '|OutputForm| '|isFunctor| - '(((SEGMENT ($ $)) T (ELT $ 94)) - ((SEGMENT ($ $ $)) T (ELT $ 93)) - ((|not| ($ $)) T (ELT $ 92)) - ((|or| ($ $ $)) T (ELT $ 91)) - ((|and| ($ $ $)) T (ELT $ 90)) - ((|exquo| ($ $ $)) T (ELT $ 89)) - ((|quo| ($ $ $)) T (ELT $ 88)) - ((|rem| ($ $ $)) T (ELT $ 87)) - ((|div| ($ $ $)) T (ELT $ 86)) - ((** ($ $ $)) T (ELT $ 85)) ((/ ($ $ $)) T (ELT $ 84)) - ((* ($ $ $)) T (ELT $ 83)) ((- ($ $)) T (ELT $ 82)) - ((- ($ $ $)) T (ELT $ 81)) ((+ ($ $ $)) T (ELT $ 80)) - ((>= ($ $ $)) T (ELT $ 79)) ((<= ($ $ $)) T (ELT $ 78)) - ((> ($ $ $)) T (ELT $ 77)) ((< ($ $ $)) T (ELT $ 76)) - ((~= ($ $ $)) T (ELT $ 75)) ((= ($ $ $)) T (ELT $ 15)) - ((|blankSeparate| ($ (|List| $))) T (ELT $ 55)) - ((|semicolonSeparate| ($ (|List| $))) T (ELT $ 51)) - ((|commaSeparate| ($ (|List| $))) T (ELT $ 50)) - ((|pile| ($ (|List| $))) T (ELT $ 49)) - ((|paren| ($ (|List| $))) T (ELT $ 61)) - ((|paren| ($ $)) T (ELT $ 60)) - ((|bracket| ($ (|List| $))) T (ELT $ 59)) - ((|bracket| ($ $)) T (ELT $ 58)) - ((|brace| ($ (|List| $))) T (ELT $ 57)) - ((|brace| ($ $)) T (ELT $ 56)) - ((|int| ($ $ $ $)) T (ELT $ 133)) - ((|int| ($ $ $)) T (ELT $ 132)) - ((|int| ($ $)) T (ELT $ 131)) - ((|prod| ($ $ $ $)) T (ELT $ 130)) - ((|prod| ($ $ $)) T (ELT $ 129)) - ((|prod| ($ $)) T (ELT $ 128)) - ((|sum| ($ $ $ $)) T (ELT $ 127)) - ((|sum| ($ $ $)) T (ELT $ 126)) - ((|sum| ($ $)) T (ELT $ 125)) - ((|overlabel| ($ $ $)) T (ELT $ 110)) - ((|overbar| ($ $)) T (ELT $ 104)) - ((|prime| ($ $ (|NonNegativeInteger|))) T (ELT $ 109)) - ((|prime| ($ $)) T (ELT $ 106)) - ((|dot| ($ $ (|NonNegativeInteger|))) T (ELT $ 108)) - ((|dot| ($ $)) T (ELT $ 105)) - ((|quote| ($ $)) T (ELT $ 103)) - ((|supersub| ($ $ (|List| $))) T (ELT $ 72)) - ((|scripts| ($ $ (|List| $))) T (ELT $ 69)) - ((|presuper| ($ $ $)) T (ELT $ 65)) - ((|presub| ($ $ $)) T (ELT $ 64)) - ((|super| ($ $ $)) T (ELT $ 63)) - ((|sub| ($ $ $)) T (ELT $ 62)) - ((|binomial| ($ $ $)) T (ELT $ 95)) + '(((SEGMENT ($ $)) T (ELT $ 96)) + ((SEGMENT ($ $ $)) T (ELT $ 95)) + ((|not| ($ $)) T (ELT $ 94)) + ((|or| ($ $ $)) T (ELT $ 93)) + ((|and| ($ $ $)) T (ELT $ 92)) + ((|exquo| ($ $ $)) T (ELT $ 91)) + ((|quo| ($ $ $)) T (ELT $ 90)) + ((|rem| ($ $ $)) T (ELT $ 89)) + ((|div| ($ $ $)) T (ELT $ 88)) + ((** ($ $ $)) T (ELT $ 87)) ((/ ($ $ $)) T (ELT $ 86)) + ((* ($ $ $)) T (ELT $ 85)) ((- ($ $)) T (ELT $ 84)) + ((- ($ $ $)) T (ELT $ 83)) ((+ ($ $ $)) T (ELT $ 82)) + ((>= ($ $ $)) T (ELT $ 81)) ((<= ($ $ $)) T (ELT $ 80)) + ((> ($ $ $)) T (ELT $ 79)) ((< ($ $ $)) T (ELT $ 78)) + ((~= ($ $ $)) T (ELT $ 77)) ((= ($ $ $)) T (ELT $ 17)) + ((|blankSeparate| ($ (|List| $))) T (ELT $ 57)) + ((|semicolonSeparate| ($ (|List| $))) T (ELT $ 53)) + ((|commaSeparate| ($ (|List| $))) T (ELT $ 52)) + ((|pile| ($ (|List| $))) T (ELT $ 51)) + ((|paren| ($ (|List| $))) T (ELT $ 63)) + ((|paren| ($ $)) T (ELT $ 62)) + ((|bracket| ($ (|List| $))) T (ELT $ 61)) + ((|bracket| ($ $)) T (ELT $ 60)) + ((|brace| ($ (|List| $))) T (ELT $ 59)) + ((|brace| ($ $)) T (ELT $ 58)) + ((|int| ($ $ $ $)) T (ELT $ 135)) + ((|int| ($ $ $)) T (ELT $ 134)) + ((|int| ($ $)) T (ELT $ 133)) + ((|prod| ($ $ $ $)) T (ELT $ 132)) + ((|prod| ($ $ $)) T (ELT $ 131)) + ((|prod| ($ $)) T (ELT $ 130)) + ((|sum| ($ $ $ $)) T (ELT $ 129)) + ((|sum| ($ $ $)) T (ELT $ 128)) + ((|sum| ($ $)) T (ELT $ 127)) + ((|overlabel| ($ $ $)) T (ELT $ 112)) + ((|overbar| ($ $)) T (ELT $ 106)) + ((|prime| ($ $ (|NonNegativeInteger|))) T (ELT $ 111)) + ((|prime| ($ $)) T (ELT $ 108)) + ((|dot| ($ $ (|NonNegativeInteger|))) T (ELT $ 110)) + ((|dot| ($ $)) T (ELT $ 107)) + ((|quote| ($ $)) T (ELT $ 105)) + ((|supersub| ($ $ (|List| $))) T (ELT $ 74)) + ((|scripts| ($ $ (|List| $))) T (ELT $ 71)) + ((|presuper| ($ $ $)) T (ELT $ 67)) + ((|presub| ($ $ $)) T (ELT $ 66)) + ((|super| ($ $ $)) T (ELT $ 65)) + ((|sub| ($ $ $)) T (ELT $ 64)) + ((|binomial| ($ $ $)) T (ELT $ 97)) ((|differentiate| ($ $ (|NonNegativeInteger|))) T - (ELT $ 124)) - ((|rarrow| ($ $ $)) T (ELT $ 119)) - ((|assign| ($ $ $)) T (ELT $ 117)) - ((|slash| ($ $ $)) T (ELT $ 116)) - ((|over| ($ $ $)) T (ELT $ 115)) - ((|root| ($ $ $)) T (ELT $ 114)) - ((|root| ($ $)) T (ELT $ 113)) - ((|zag| ($ $ $)) T (ELT $ 112)) - ((|matrix| ($ (|List| (|List| $)))) T (ELT $ 48)) - ((|box| ($ $)) T (ELT $ 111)) - ((|label| ($ $ $)) T (ELT $ 118)) - ((|string| ($ $)) T (ELT $ 102)) - ((|elt| ($ $ (|List| $))) T (ELT $ 97)) - ((|infix?| ((|Boolean|) $)) T (ELT $ 96)) - ((|postfix| ($ $ $)) T (ELT $ 101)) - ((|infix| ($ $ $ $)) T (ELT $ 100)) - ((|infix| ($ $ (|List| $))) T (ELT $ 99)) - ((|prefix| ($ $ (|List| $))) T (ELT $ 98)) - ((|vconcat| ($ (|List| $))) T (ELT $ 74)) - ((|hconcat| ($ (|List| $))) T (ELT $ 73)) - ((|vconcat| ($ $ $)) T (ELT $ 44)) - ((|hconcat| ($ $ $)) T (ELT $ 36)) - ((|center| ($ $)) T (ELT $ 40)) - ((|right| ($ $)) T (ELT $ 42)) - ((|left| ($ $)) T (ELT $ 41)) - ((|center| ($ $ (|Integer|))) T (ELT $ 37)) - ((|right| ($ $ (|Integer|))) T (ELT $ 39)) - ((|left| ($ $ (|Integer|))) T (ELT $ 38)) - ((|rspace| ($ (|Integer|) (|Integer|))) T (ELT $ 45)) - ((|vspace| ($ (|Integer|))) T (ELT $ 43)) - ((|hspace| ($ (|Integer|))) T (ELT $ 35)) - ((|superHeight| ((|Integer|) $)) T (ELT $ 32)) - ((|subHeight| ((|Integer|) $)) T (ELT $ 31)) - ((|height| ((|Integer|))) T (ELT $ 33)) - ((|width| ((|Integer|))) T (ELT $ 34)) - ((|height| ((|Integer|) $)) T (ELT $ 30)) - ((|width| ((|Integer|) $)) T (ELT $ 29)) - ((|empty| ($)) T (ELT $ 11)) - ((|outputForm| ($ (|DoubleFloat|))) T (ELT $ 23)) - ((|outputForm| ($ (|String|))) T (ELT $ 28)) - ((|outputForm| ($ (|Symbol|))) T (ELT $ 21)) - ((|outputForm| ($ (|Integer|))) T (ELT $ 19)) - ((|messagePrint| ((|Void|) (|String|))) T (ELT $ 13)) - ((|message| ($ (|String|))) T (ELT $ 12)) - ((|print| ((|Void|) $)) T (ELT $ 7)) + (ELT $ 126)) + ((|rarrow| ($ $ $)) T (ELT $ 121)) + ((|assign| ($ $ $)) T (ELT $ 119)) + ((|slash| ($ $ $)) T (ELT $ 118)) + ((|over| ($ $ $)) T (ELT $ 117)) + ((|root| ($ $ $)) T (ELT $ 116)) + ((|root| ($ $)) T (ELT $ 115)) + ((|zag| ($ $ $)) T (ELT $ 114)) + ((|matrix| ($ (|List| (|List| $)))) T (ELT $ 50)) + ((|box| ($ $)) T (ELT $ 113)) + ((|label| ($ $ $)) T (ELT $ 120)) + ((|string| ($ $)) T (ELT $ 104)) + ((|elt| ($ $ (|List| $))) T (ELT $ 99)) + ((|infix?| ((|Boolean|) $)) T (ELT $ 98)) + ((|postfix| ($ $ $)) T (ELT $ 103)) + ((|infix| ($ $ $ $)) T (ELT $ 102)) + ((|infix| ($ $ (|List| $))) T (ELT $ 101)) + ((|prefix| ($ $ (|List| $))) T (ELT $ 100)) + ((|vconcat| ($ (|List| $))) T (ELT $ 76)) + ((|hconcat| ($ (|List| $))) T (ELT $ 75)) + ((|vconcat| ($ $ $)) T (ELT $ 46)) + ((|hconcat| ($ $ $)) T (ELT $ 38)) + ((|center| ($ $)) T (ELT $ 42)) + ((|right| ($ $)) T (ELT $ 44)) + ((|left| ($ $)) T (ELT $ 43)) + ((|center| ($ $ (|Integer|))) T (ELT $ 39)) + ((|right| ($ $ (|Integer|))) T (ELT $ 41)) + ((|left| ($ $ (|Integer|))) T (ELT $ 40)) + ((|rspace| ($ (|Integer|) (|Integer|))) T (ELT $ 47)) + ((|vspace| ($ (|Integer|))) T (ELT $ 45)) + ((|hspace| ($ (|Integer|))) T (ELT $ 37)) + ((|superHeight| ((|Integer|) $)) T (ELT $ 34)) + ((|subHeight| ((|Integer|) $)) T (ELT $ 33)) + ((|height| ((|Integer|))) T (ELT $ 35)) + ((|width| ((|Integer|))) T (ELT $ 36)) + ((|height| ((|Integer|) $)) T (ELT $ 32)) + ((|width| ((|Integer|) $)) T (ELT $ 31)) + ((|doubleFloatFormat| ((|String|) (|String|))) T + (ELT $ 8)) + ((|empty| ($)) T (ELT $ 13)) + ((|outputForm| ($ (|DoubleFloat|))) T (ELT $ 25)) + ((|outputForm| ($ (|String|))) T (ELT $ 30)) + ((|outputForm| ($ (|Symbol|))) T (ELT $ 23)) + ((|outputForm| ($ (|Integer|))) T (ELT $ 21)) + ((|messagePrint| ((|Void|) (|String|))) T (ELT $ 15)) + ((|message| ($ (|String|))) T (ELT $ 14)) + ((|print| ((|Void|) $)) T (ELT $ 10)) ((|latex| ((|String|) $)) T (ELT $ NIL)) ((|hash| ((|SingleInteger|) $)) T (ELT $ NIL)) - ((|coerce| ((|OutputForm|) $)) T (ELT $ 17)) - ((= ((|Boolean|) $ $)) T (ELT $ 14)) + ((|coerce| ((|OutputForm|) $)) T (ELT $ 19)) + ((= ((|Boolean|) $ $)) T (ELT $ 16)) ((~= ((|Boolean|) $ $)) T (ELT $ NIL))) (|addModemap| '|OutputForm| '(|OutputForm|) '((|Join| (|SetCategory|) @@ -788,6 +800,8 @@ (SIGNATURE |outputForm| ($ (|DoubleFloat|))) (SIGNATURE |empty| ($)) + (SIGNATURE |doubleFloatFormat| + ((|String|) (|String|))) (SIGNATURE |width| ((|Integer|) $)) (SIGNATURE |height| ((|Integer|) $)) (SIGNATURE |width| ((|Integer|))) @@ -907,6 +921,8 @@ (SIGNATURE |outputForm| ($ (|DoubleFloat|))) (SIGNATURE |empty| ($)) + (SIGNATURE |doubleFloatFormat| + ((|String|) (|String|))) (SIGNATURE |width| ((|Integer|) $)) (SIGNATURE |height| |