aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/DFLOAT.lsp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-06-01 06:10:07 +0000
committerdos-reis <gdr@axiomatics.org>2009-06-01 06:10:07 +0000
commit78dd44d657fa65a8029d996aaf7ac05d2133f509 (patch)
treed5e4072febd7a48afbc1d2c48c2be4f4a3539638 /src/algebra/strap/DFLOAT.lsp
parent803d7a62fb91bb4083a0aaaaa20749574292e967 (diff)
downloadopen-axiom-78dd44d657fa65a8029d996aaf7ac05d2133f509.tar.gz
* interp/compiler.boot (compGreaterThan): New. Compile
greater-than expressions. * interp/parse.boot (parseGreaterThan): Remove. * algebra/data.spad.pamphlet (Byte): Implement all comparison functions. * algebra/integer.spad.pamphlet (Integer): Likewise. * algebra/sf.spad.pamphlet (DoubleFloat): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/string.spad.pamphlet (Character): Likewise.
Diffstat (limited to 'src/algebra/strap/DFLOAT.lsp')
-rw-r--r--src/algebra/strap/DFLOAT.lsp826
1 files changed, 424 insertions, 402 deletions
diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp
index 582076db..3096aacb 100644
--- a/src/algebra/strap/DFLOAT.lsp
+++ b/src/algebra/strap/DFLOAT.lsp
@@ -83,284 +83,298 @@
(PUT '|DFLOAT;<;2$B;20| '|SPADreplace| '<)
+(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
+ |%Boolean|)
+ |DFLOAT;>;2$B;21|))
+
+(PUT '|DFLOAT;>;2$B;21| '|SPADreplace| '>)
+
+(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
+ |%Boolean|)
+ |DFLOAT;<=;2$B;22|))
+
+(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
+ |%Boolean|)
+ |DFLOAT;>=;2$B;23|))
+
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;-;2$;21|))
+ |DFLOAT;-;2$;24|))
-(PUT '|DFLOAT;-;2$;21| '|SPADreplace| '-)
+(PUT '|DFLOAT;-;2$;24| '|SPADreplace| '-)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;+;3$;22|))
+ |DFLOAT;+;3$;25|))
-(PUT '|DFLOAT;+;3$;22| '|SPADreplace| '+)
+(PUT '|DFLOAT;+;3$;25| '|SPADreplace| '+)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;-;3$;23|))
+ |DFLOAT;-;3$;26|))
-(PUT '|DFLOAT;-;3$;23| '|SPADreplace| '-)
+(PUT '|DFLOAT;-;3$;26| '|SPADreplace| '-)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;*;3$;24|))
+ |DFLOAT;*;3$;27|))
-(PUT '|DFLOAT;*;3$;24| '|SPADreplace| '*)
+(PUT '|DFLOAT;*;3$;27| '|SPADreplace| '*)
(DECLAIM (FTYPE (FUNCTION (|%Integer| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;*;I2$;25|))
+ |DFLOAT;*;I2$;28|))
-(PUT '|DFLOAT;*;I2$;25| '|SPADreplace| '*)
+(PUT '|DFLOAT;*;I2$;28| '|SPADreplace| '*)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;max;3$;26|))
+ |DFLOAT;max;3$;29|))
-(PUT '|DFLOAT;max;3$;26| '|SPADreplace| 'MAX)
+(PUT '|DFLOAT;max;3$;29| '|SPADreplace| 'MAX)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;min;3$;27|))
+ |DFLOAT;min;3$;30|))
-(PUT '|DFLOAT;min;3$;27| '|SPADreplace| 'MIN)
+(PUT '|DFLOAT;min;3$;30| '|SPADreplace| 'MIN)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%Boolean|)
- |DFLOAT;=;2$B;28|))
+ |DFLOAT;=;2$B;31|))
-(PUT '|DFLOAT;=;2$B;28| '|SPADreplace| '=)
+(PUT '|DFLOAT;=;2$B;31| '|SPADreplace| '=)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Integer| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;/;$I$;29|))
+ |DFLOAT;/;$I$;32|))
-(PUT '|DFLOAT;/;$I$;29| '|SPADreplace| '/)
+(PUT '|DFLOAT;/;$I$;32| '|SPADreplace| '/)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;sqrt;2$;30|))
+ |DFLOAT;sqrt;2$;33|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;log10;2$;31|))
+ |DFLOAT;log10;2$;34|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Integer| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;**;$I$;32|))
+ |DFLOAT;**;$I$;35|))
-(PUT '|DFLOAT;**;$I$;32| '|SPADreplace| 'EXPT)
+(PUT '|DFLOAT;**;$I$;35| '|SPADreplace| 'EXPT)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;**;3$;33|))
+ |DFLOAT;**;3$;36|))
(DECLAIM (FTYPE (FUNCTION (|%Integer| |%Shell|) |%DoubleFloat|)
- |DFLOAT;coerce;I$;34|))
+ |DFLOAT;coerce;I$;37|))
-(PUT '|DFLOAT;coerce;I$;34| '|SPADreplace|
+(PUT '|DFLOAT;coerce;I$;37| '|SPADreplace|
'(XLAM (|i|) (FLOAT |i| |$DoubleFloatMaximum|)))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;exp;2$;35|))
+ |DFLOAT;exp;2$;38|))
-(PUT '|DFLOAT;exp;2$;35| '|SPADreplace| 'EXP)
+(PUT '|DFLOAT;exp;2$;38| '|SPADreplace| 'EXP)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;log;2$;36|))
+ |DFLOAT;log;2$;39|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;log2;2$;37|))
+ |DFLOAT;log2;2$;40|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;sin;2$;38|))
+ |DFLOAT;sin;2$;41|))
-(PUT '|DFLOAT;sin;2$;38| '|SPADreplace| 'SIN)
+(PUT '|DFLOAT;sin;2$;41| '|SPADreplace| 'SIN)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;cos;2$;39|))
+ |DFLOAT;cos;2$;42|))
-(PUT '|DFLOAT;cos;2$;39| '|SPADreplace| 'COS)
+(PUT '|DFLOAT;cos;2$;42| '|SPADreplace| 'COS)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;tan;2$;40|))
+ |DFLOAT;tan;2$;43|))
-(PUT '|DFLOAT;tan;2$;40| '|SPADreplace| 'TAN)
+(PUT '|DFLOAT;tan;2$;43| '|SPADreplace| 'TAN)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;cot;2$;41|))
+ |DFLOAT;cot;2$;44|))
-(PUT '|DFLOAT;cot;2$;41| '|SPADreplace| 'COT)
+(PUT '|DFLOAT;cot;2$;44| '|SPADreplace| 'COT)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;sec;2$;42|))
+ |DFLOAT;sec;2$;45|))
-(PUT '|DFLOAT;sec;2$;42| '|SPADreplace| 'SEC)
+(PUT '|DFLOAT;sec;2$;45| '|SPADreplace| 'SEC)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;csc;2$;43|))
+ |DFLOAT;csc;2$;46|))
-(PUT '|DFLOAT;csc;2$;43| '|SPADreplace| 'CSC)
+(PUT '|DFLOAT;csc;2$;46| '|SPADreplace| 'CSC)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;asin;2$;44|))
+ |DFLOAT;asin;2$;47|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;acos;2$;45|))
+ |DFLOAT;acos;2$;48|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;atan;2$;46|))
+ |DFLOAT;atan;2$;49|))
-(PUT '|DFLOAT;atan;2$;46| '|SPADreplace| 'ATAN)
+(PUT '|DFLOAT;atan;2$;49| '|SPADreplace| 'ATAN)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;acsc;2$;47|))
+ |DFLOAT;acsc;2$;50|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;acot;2$;48|))
+ |DFLOAT;acot;2$;51|))
-(PUT '|DFLOAT;acot;2$;48| '|SPADreplace| 'ACOT)
+(PUT '|DFLOAT;acot;2$;51| '|SPADreplace| 'ACOT)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;asec;2$;49|))
+ |DFLOAT;asec;2$;52|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;sinh;2$;50|))
+ |DFLOAT;sinh;2$;53|))
-(PUT '|DFLOAT;sinh;2$;50| '|SPADreplace| 'SINH)
+(PUT '|DFLOAT;sinh;2$;53| '|SPADreplace| 'SINH)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;cosh;2$;51|))
+ |DFLOAT;cosh;2$;54|))
-(PUT '|DFLOAT;cosh;2$;51| '|SPADreplace| 'COSH)
+(PUT '|DFLOAT;cosh;2$;54| '|SPADreplace| 'COSH)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;tanh;2$;52|))
+ |DFLOAT;tanh;2$;55|))
-(PUT '|DFLOAT;tanh;2$;52| '|SPADreplace| 'TANH)
+(PUT '|DFLOAT;tanh;2$;55| '|SPADreplace| 'TANH)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;csch;2$;53|))
+ |DFLOAT;csch;2$;56|))
-(PUT '|DFLOAT;csch;2$;53| '|SPADreplace| 'CSCH)
+(PUT '|DFLOAT;csch;2$;56| '|SPADreplace| 'CSCH)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;coth;2$;54|))
+ |DFLOAT;coth;2$;57|))
-(PUT '|DFLOAT;coth;2$;54| '|SPADreplace| 'COTH)
+(PUT '|DFLOAT;coth;2$;57| '|SPADreplace| 'COTH)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;sech;2$;55|))
+ |DFLOAT;sech;2$;58|))
-(PUT '|DFLOAT;sech;2$;55| '|SPADreplace| 'SECH)
+(PUT '|DFLOAT;sech;2$;58| '|SPADreplace| 'SECH)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;asinh;2$;56|))
+ |DFLOAT;asinh;2$;59|))
-(PUT '|DFLOAT;asinh;2$;56| '|SPADreplace| 'ASINH)
+(PUT '|DFLOAT;asinh;2$;59| '|SPADreplace| 'ASINH)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;acosh;2$;57|))
+ |DFLOAT;acosh;2$;60|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;atanh;2$;58|))
+ |DFLOAT;atanh;2$;61|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;acsch;2$;59|))
+ |DFLOAT;acsch;2$;62|))
-(PUT '|DFLOAT;acsch;2$;59| '|SPADreplace| 'ACSCH)
+(PUT '|DFLOAT;acsch;2$;62| '|SPADreplace| 'ACSCH)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;acoth;2$;60|))
+ |DFLOAT;acoth;2$;63|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;asech;2$;61|))
+ |DFLOAT;asech;2$;64|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;/;3$;62|))
+ |DFLOAT;/;3$;65|))
-(PUT '|DFLOAT;/;3$;62| '|SPADreplace| '/)
+(PUT '|DFLOAT;/;3$;65| '|SPADreplace| '/)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Boolean|)
- |DFLOAT;negative?;$B;63|))
+ |DFLOAT;negative?;$B;66|))
-(PUT '|DFLOAT;negative?;$B;63| '|SPADreplace| 'MINUSP)
+(PUT '|DFLOAT;negative?;$B;66| '|SPADreplace| 'MINUSP)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Boolean|)
- |DFLOAT;zero?;$B;64|))
+ |DFLOAT;zero?;$B;67|))
-(PUT '|DFLOAT;zero?;$B;64| '|SPADreplace| 'ZEROP)
+(PUT '|DFLOAT;zero?;$B;67| '|SPADreplace| 'ZEROP)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Boolean|)
- |DFLOAT;one?;$B;65|))
+ |DFLOAT;one?;$B;68|))
-(PUT '|DFLOAT;one?;$B;65| '|SPADreplace| '(XLAM (|x|) (= |x| 1.0)))
+(PUT '|DFLOAT;one?;$B;68| '|SPADreplace| '(XLAM (|x|) (= |x| 1.0)))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Short|)
- |DFLOAT;hash;$Si;66|))
+ |DFLOAT;hash;$Si;69|))
-(PUT '|DFLOAT;hash;$Si;66| '|SPADreplace| 'HASHEQ)
+(PUT '|DFLOAT;hash;$Si;69| '|SPADreplace| 'HASHEQ)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Pair|)
- |DFLOAT;recip;$U;67|))
+ |DFLOAT;recip;$U;70|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;differentiate;2$;68|))
+ |DFLOAT;differentiate;2$;71|))
-(PUT '|DFLOAT;differentiate;2$;68| '|SPADreplace| '(XLAM (|x|) 0.0))
+(PUT '|DFLOAT;differentiate;2$;71| '|SPADreplace| '(XLAM (|x|) 0.0))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;Gamma;2$;69|))
+ |DFLOAT;Gamma;2$;72|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;Beta;3$;70|))
+ |DFLOAT;Beta;3$;73|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|)
- |DFLOAT;wholePart;$I;71|))
+ |DFLOAT;wholePart;$I;74|))
-(PUT '|DFLOAT;wholePart;$I;71| '|SPADreplace| 'FIX)
+(PUT '|DFLOAT;wholePart;$I;74| '|SPADreplace| 'FIX)
(DECLAIM (FTYPE (FUNCTION
(|%Integer| |%Integer| (|%IntegerSection| 1)
|%Shell|)
|%DoubleFloat|)
- |DFLOAT;float;2IPi$;72|))
+ |DFLOAT;float;2IPi$;75|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;convert;2$;73|))
+ |DFLOAT;convert;2$;76|))
-(PUT '|DFLOAT;convert;2$;73| '|SPADreplace| '(XLAM (|x|) |x|))
+(PUT '|DFLOAT;convert;2$;76| '|SPADreplace| '(XLAM (|x|) |x|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Thing|)
- |DFLOAT;convert;$F;74|))
+ |DFLOAT;convert;$F;77|))
(DECLAIM (FTYPE (FUNCTION
(|%DoubleFloat| (|%IntegerSection| 0) |%Shell|)
|%Thing|)
- |DFLOAT;rationalApproximation;$NniF;75|))
+ |DFLOAT;rationalApproximation;$NniF;78|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;atan;3$;76|))
+ |DFLOAT;atan;3$;79|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Thing|)
- |DFLOAT;retract;$F;77|))
+ |DFLOAT;retract;$F;80|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Pair|)
- |DFLOAT;retractIfCan;$U;78|))
+ |DFLOAT;retractIfCan;$U;81|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|)
- |DFLOAT;retract;$I;79|))
+ |DFLOAT;retract;$I;82|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Pair|)
- |DFLOAT;retractIfCan;$U;80|))
+ |DFLOAT;retractIfCan;$U;83|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|)
- |DFLOAT;sign;$I;81|))
+ |DFLOAT;sign;$I;84|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
- |DFLOAT;abs;2$;82|))
+ |DFLOAT;abs;2$;85|))
-(PUT '|DFLOAT;abs;2$;82| '|SPADreplace|
+(PUT '|DFLOAT;abs;2$;85| '|SPADreplace|
'(XLAM (|x|) (FLOAT-SIGN 1.0 |x|)))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Pair|)
@@ -370,11 +384,11 @@
(|%DoubleFloat| (|%IntegerSection| 0)
(|%IntegerSection| 0) |%Shell|)
|%Thing|)
- |DFLOAT;rationalApproximation;$2NniF;84|))
+ |DFLOAT;rationalApproximation;$2NniF;87|))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Thing| |%Shell|)
|%DoubleFloat|)
- |DFLOAT;**;$F$;85|))
+ |DFLOAT;**;$F$;88|))
(DEFUN |DFLOAT;OMwrite;$S;1| (|x| $)
(PROG (|sp| |dev| |s|)
@@ -444,7 +458,7 @@
('T
(PROG1 (LETT #0#
(FIX (SPADCALL (FLOAT-DIGITS 0.0)
- (|DFLOAT;log2;2$;37|
+ (|DFLOAT;log2;2$;40|
(FLOAT (FLOAT-RADIX 0.0)
|$DoubleFloatMaximum|)
$)
@@ -486,211 +500,217 @@
(DEFUN |DFLOAT;<;2$B;20| (|x| |y| $) (DECLARE (IGNORE $)) (< |x| |y|))
-(DEFUN |DFLOAT;-;2$;21| (|x| $) (DECLARE (IGNORE $)) (- |x|))
+(DEFUN |DFLOAT;>;2$B;21| (|x| |y| $) (DECLARE (IGNORE $)) (> |x| |y|))
+
+(DEFUN |DFLOAT;<=;2$B;22| (|x| |y| $) (NOT (> |x| |y|)))
+
+(DEFUN |DFLOAT;>=;2$B;23| (|x| |y| $) (NOT (< |x| |y|)))
+
+(DEFUN |DFLOAT;-;2$;24| (|x| $) (DECLARE (IGNORE $)) (- |x|))
-(DEFUN |DFLOAT;+;3$;22| (|x| |y| $) (DECLARE (IGNORE $)) (+ |x| |y|))
+(DEFUN |DFLOAT;+;3$;25| (|x| |y| $) (DECLARE (IGNORE $)) (+ |x| |y|))
-(DEFUN |DFLOAT;-;3$;23| (|x| |y| $) (DECLARE (IGNORE $)) (- |x| |y|))
+(DEFUN |DFLOAT;-;3$;26| (|x| |y| $) (DECLARE (IGNORE $)) (- |x| |y|))
-(DEFUN |DFLOAT;*;3$;24| (|x| |y| $) (DECLARE (IGNORE $)) (* |x| |y|))
+(DEFUN |DFLOAT;*;3$;27| (|x| |y| $) (DECLARE (IGNORE $)) (* |x| |y|))
-(DEFUN |DFLOAT;*;I2$;25| (|i| |x| $) (DECLARE (IGNORE $)) (* |i| |x|))
+(DEFUN |DFLOAT;*;I2$;28| (|i| |x| $) (DECLARE (IGNORE $)) (* |i| |x|))
-(DEFUN |DFLOAT;max;3$;26| (|x| |y| $)
+(DEFUN |DFLOAT;max;3$;29| (|x| |y| $)
(DECLARE (IGNORE $))
(MAX |x| |y|))
-(DEFUN |DFLOAT;min;3$;27| (|x| |y| $)
+(DEFUN |DFLOAT;min;3$;30| (|x| |y| $)
(DECLARE (IGNORE $))
(MIN |x| |y|))
-(DEFUN |DFLOAT;=;2$B;28| (|x| |y| $) (DECLARE (IGNORE $)) (= |x| |y|))
+(DEFUN |DFLOAT;=;2$B;31| (|x| |y| $) (DECLARE (IGNORE $)) (= |x| |y|))
-(DEFUN |DFLOAT;/;$I$;29| (|x| |i| $) (DECLARE (IGNORE $)) (/ |x| |i|))
+(DEFUN |DFLOAT;/;$I$;32| (|x| |i| $) (DECLARE (IGNORE $)) (/ |x| |i|))
-(DEFUN |DFLOAT;sqrt;2$;30| (|x| $) (C-TO-R (SQRT |x|)))
+(DEFUN |DFLOAT;sqrt;2$;33| (|x| $) (C-TO-R (SQRT |x|)))
-(DEFUN |DFLOAT;log10;2$;31| (|x| $) (C-TO-R (|log| |x|)))
+(DEFUN |DFLOAT;log10;2$;34| (|x| $) (C-TO-R (|log| |x|)))
-(DEFUN |DFLOAT;**;$I$;32| (|x| |i| $)
+(DEFUN |DFLOAT;**;$I$;35| (|x| |i| $)
(DECLARE (IGNORE $))
(EXPT |x| |i|))
-(DEFUN |DFLOAT;**;3$;33| (|x| |y| $) (C-TO-R (EXPT |x| |y|)))
+(DEFUN |DFLOAT;**;3$;36| (|x| |y| $) (C-TO-R (EXPT |x| |y|)))
-(DEFUN |DFLOAT;coerce;I$;34| (|i| $)
+(DEFUN |DFLOAT;coerce;I$;37| (|i| $)
(DECLARE (IGNORE $))
(FLOAT |i| |$DoubleFloatMaximum|))
-(DEFUN |DFLOAT;exp;2$;35| (|x| $) (DECLARE (IGNORE $)) (EXP |x|))
+(DEFUN |DFLOAT;exp;2$;38| (|x| $) (DECLARE (IGNORE $)) (EXP |x|))
-(DEFUN |DFLOAT;log;2$;36| (|x| $) (C-TO-R (LN |x|)))
+(DEFUN |DFLOAT;log;2$;39| (|x| $) (C-TO-R (LN |x|)))
-(DEFUN |DFLOAT;log2;2$;37| (|x| $) (C-TO-R (LOG2 |x|)))
+(DEFUN |DFLOAT;log2;2$;40| (|x| $) (C-TO-R (LOG2 |x|)))
-(DEFUN |DFLOAT;sin;2$;38| (|x| $) (DECLARE (IGNORE $)) (SIN |x|))
+(DEFUN |DFLOAT;sin;2$;41| (|x| $) (DECLARE (IGNORE $)) (SIN |x|))
-(DEFUN |DFLOAT;cos;2$;39| (|x| $) (DECLARE (IGNORE $)) (COS |x|))
+(DEFUN |DFLOAT;cos;2$;42| (|x| $) (DECLARE (IGNORE $)) (COS |x|))
-(DEFUN |DFLOAT;tan;2$;40| (|x| $) (DECLARE (IGNORE $)) (TAN |x|))
+(DEFUN |DFLOAT;tan;2$;43| (|x| $) (DECLARE (IGNORE $)) (TAN |x|))
-(DEFUN |DFLOAT;cot;2$;41| (|x| $) (DECLARE (IGNORE $)) (COT |x|))
+(DEFUN |DFLOAT;cot;2$;44| (|x| $) (DECLARE (IGNORE $)) (COT |x|))
-(DEFUN |DFLOAT;sec;2$;42| (|x| $) (DECLARE (IGNORE $)) (SEC |x|))
+(DEFUN |DFLOAT;sec;2$;45| (|x| $) (DECLARE (IGNORE $)) (SEC |x|))
-(DEFUN |DFLOAT;csc;2$;43| (|x| $) (DECLARE (IGNORE $)) (CSC |x|))
+(DEFUN |DFLOAT;csc;2$;46| (|x| $) (DECLARE (IGNORE $)) (CSC |x|))
-(DEFUN |DFLOAT;asin;2$;44| (|x| $) (C-TO-R (ASIN |x|)))
+(DEFUN |DFLOAT;asin;2$;47| (|x| $) (C-TO-R (ASIN |x|)))
-(DEFUN |DFLOAT;acos;2$;45| (|x| $) (C-TO-R (ACOS |x|)))
+(DEFUN |DFLOAT;acos;2$;48| (|x| $) (C-TO-R (ACOS |x|)))
-(DEFUN |DFLOAT;atan;2$;46| (|x| $) (DECLARE (IGNORE $)) (ATAN |x|))
+(DEFUN |DFLOAT;atan;2$;49| (|x| $) (DECLARE (IGNORE $)) (ATAN |x|))
-(DEFUN |DFLOAT;acsc;2$;47| (|x| $) (C-TO-R (ACSC |x|)))
+(DEFUN |DFLOAT;acsc;2$;50| (|x| $) (C-TO-R (ACSC |x|)))
-(DEFUN |DFLOAT;acot;2$;48| (|x| $) (DECLARE (IGNORE $)) (ACOT |x|))
+(DEFUN |DFLOAT;acot;2$;51| (|x| $) (DECLARE (IGNORE $)) (ACOT |x|))
-(DEFUN |DFLOAT;asec;2$;49| (|x| $) (C-TO-R (ASEC |x|)))
+(DEFUN |DFLOAT;asec;2$;52| (|x| $) (C-TO-R (ASEC |x|)))
-(DEFUN |DFLOAT;sinh;2$;50| (|x| $) (DECLARE (IGNORE $)) (SINH |x|))
+(DEFUN |DFLOAT;sinh;2$;53| (|x| $) (DECLARE (IGNORE $)) (SINH |x|))
-(DEFUN |DFLOAT;cosh;2$;51| (|x| $) (DECLARE (IGNORE $)) (COSH |x|))
+(DEFUN |DFLOAT;cosh;2$;54| (|x| $) (DECLARE (IGNORE $)) (COSH |x|))
-(DEFUN |DFLOAT;tanh;2$;52| (|x| $) (DECLARE (IGNORE $)) (TANH |x|))
+(DEFUN |DFLOAT;tanh;2$;55| (|x| $) (DECLARE (IGNORE $)) (TANH |x|))
-(DEFUN |DFLOAT;csch;2$;53| (|x| $) (DECLARE (IGNORE $)) (CSCH |x|))
+(DEFUN |DFLOAT;csch;2$;56| (|x| $) (DECLARE (IGNORE $)) (CSCH |x|))
-(DEFUN |DFLOAT;coth;2$;54| (|x| $) (DECLARE (IGNORE $)) (COTH |x|))
+(DEFUN |DFLOAT;coth;2$;57| (|x| $) (DECLARE (IGNORE $)) (COTH |x|))
-(DEFUN |DFLOAT;sech;2$;55| (|x| $) (DECLARE (IGNORE $)) (SECH |x|))
+(DEFUN |DFLOAT;sech;2$;58| (|x| $) (DECLARE (IGNORE $)) (SECH |x|))
-(DEFUN |DFLOAT;asinh;2$;56| (|x| $) (DECLARE (IGNORE $)) (ASINH |x|))
+(DEFUN |DFLOAT;asinh;2$;59| (|x| $) (DECLARE (IGNORE $)) (ASINH |x|))
-(DEFUN |DFLOAT;acosh;2$;57| (|x| $) (C-TO-R (ACOSH |x|)))
+(DEFUN |DFLOAT;acosh;2$;60| (|x| $) (C-TO-R (ACOSH |x|)))
-(DEFUN |DFLOAT;atanh;2$;58| (|x| $) (C-TO-R (ATANH |x|)))
+(DEFUN |DFLOAT;atanh;2$;61| (|x| $) (C-TO-R (ATANH |x|)))
-(DEFUN |DFLOAT;acsch;2$;59| (|x| $) (DECLARE (IGNORE $)) (ACSCH |x|))
+(DEFUN |DFLOAT;acsch;2$;62| (|x| $) (DECLARE (IGNORE $)) (ACSCH |x|))
-(DEFUN |DFLOAT;acoth;2$;60| (|x| $) (C-TO-R (ACOTH |x|)))
+(DEFUN |DFLOAT;acoth;2$;63| (|x| $) (C-TO-R (ACOTH |x|)))
-(DEFUN |DFLOAT;asech;2$;61| (|x| $) (C-TO-R (ASECH |x|)))
+(DEFUN |DFLOAT;asech;2$;64| (|x| $) (C-TO-R (ASECH |x|)))
-(DEFUN |DFLOAT;/;3$;62| (|x| |y| $) (DECLARE (IGNORE $)) (/ |x| |y|))
+(DEFUN |DFLOAT;/;3$;65| (|x| |y| $) (DECLARE (IGNORE $)) (/ |x| |y|))
-(DEFUN |DFLOAT;negative?;$B;63| (|x| $)
+(DEFUN |DFLOAT;negative?;$B;66| (|x| $)
(DECLARE (IGNORE $))
(MINUSP |x|))
-(DEFUN |DFLOAT;zero?;$B;64| (|x| $) (DECLARE (IGNORE $)) (ZEROP |x|))
+(DEFUN |DFLOAT;zero?;$B;67| (|x| $) (DECLARE (IGNORE $)) (ZEROP |x|))
-(DEFUN |DFLOAT;one?;$B;65| (|x| $) (DECLARE (IGNORE $)) (= |x| 1.0))
+(DEFUN |DFLOAT;one?;$B;68| (|x| $) (DECLARE (IGNORE $)) (= |x| 1.0))
-(DEFUN |DFLOAT;hash;$Si;66| (|x| $) (DECLARE (IGNORE $)) (HASHEQ |x|))
+(DEFUN |DFLOAT;hash;$Si;69| (|x| $) (DECLARE (IGNORE $)) (HASHEQ |x|))
-(DEFUN |DFLOAT;recip;$U;67| (|x| $)
+(DEFUN |DFLOAT;recip;$U;70| (|x| $)
(COND ((ZEROP |x|) (CONS 1 "failed")) ('T (CONS 0 (/ 1.0 |x|)))))
-(DEFUN |DFLOAT;differentiate;2$;68| (|x| $) (DECLARE (IGNORE $)) 0.0)
+(DEFUN |DFLOAT;differentiate;2$;71| (|x| $) (DECLARE (IGNORE $)) 0.0)
-(DEFUN |DFLOAT;Gamma;2$;69| (|x| $)
- (SPADCALL |x| (|getShellEntry| $ 104)))
+(DEFUN |DFLOAT;Gamma;2$;72| (|x| $)
+ (SPADCALL |x| (|getShellEntry| $ 108)))
-(DEFUN |DFLOAT;Beta;3$;70| (|x| |y| $)
- (SPADCALL |x| |y| (|getShellEntry| $ 106)))
+(DEFUN |DFLOAT;Beta;3$;73| (|x| |y| $)
+ (SPADCALL |x| |y| (|getShellEntry| $ 110)))
-(DEFUN |DFLOAT;wholePart;$I;71| (|x| $)
+(DEFUN |DFLOAT;wholePart;$I;74| (|x| $)
(DECLARE (IGNORE $))
(FIX |x|))
-(DEFUN |DFLOAT;float;2IPi$;72| (|ma| |ex| |b| $)
+(DEFUN |DFLOAT;float;2IPi$;75| (|ma| |ex| |b| $)
(* |ma| (EXPT (FLOAT |b| |$DoubleFloatMaximum|) |ex|)))
-(DEFUN |DFLOAT;convert;2$;73| (|x| $) (DECLARE (IGNORE $)) |x|)
+(DEFUN |DFLOAT;convert;2$;76| (|x| $) (DECLARE (IGNORE $)) |x|)
-(DEFUN |DFLOAT;convert;$F;74| (|x| $)
- (SPADCALL |x| (|getShellEntry| $ 110)))
+(DEFUN |DFLOAT;convert;$F;77| (|x| $)
+ (SPADCALL |x| (|getShellEntry| $ 114)))
-(DEFUN |DFLOAT;rationalApproximation;$NniF;75| (|x| |d| $)
- (|DFLOAT;rationalApproximation;$2NniF;84| |x| |d| 10 $))
+(DEFUN |DFLOAT;rationalApproximation;$NniF;78| (|x| |d| $)
+ (|DFLOAT;rationalApproximation;$2NniF;87| |x| |d| 10 $))
-(DEFUN |DFLOAT;atan;3$;76| (|x| |y| $)
+(DEFUN |DFLOAT;atan;3$;79| (|x| |y| $)
(PROG (|theta|)
(RETURN
(SEQ (COND
((= |x| 0.0)
(COND
- ((< 0.0 |y|) (/ PI 2))
+ ((> |y| 0.0) (/ PI 2))
((< |y| 0.0) (- (/ PI 2)))
('T 0.0)))
('T
(SEQ (LETT |theta| (ATAN (FLOAT-SIGN 1.0 (/ |y| |x|)))
- |DFLOAT;atan;3$;76|)
+ |DFLOAT;atan;3$;79|)
(COND
((< |x| 0.0)
- (LETT |theta| (- PI |theta|) |DFLOAT;atan;3$;76|)))
+ (LETT |theta| (- PI |theta|) |DFLOAT;atan;3$;79|)))
(COND
((< |y| 0.0)
- (LETT |theta| (- |theta|) |DFLOAT;atan;3$;76|)))
+ (LETT |theta| (- |theta|) |DFLOAT;atan;3$;79|)))
(EXIT |theta|))))))))
-(DEFUN |DFLOAT;retract;$F;77| (|x| $)
- (PROG (#0=#:G1501)
+(DEFUN |DFLOAT;retract;$F;80| (|x| $)
+ (PROG (#0=#:G1504)
(RETURN
- (|DFLOAT;rationalApproximation;$2NniF;84| |x|
+ (|DFLOAT;rationalApproximation;$2NniF;87| |x|
(PROG1 (LETT #0# (- (FLOAT-DIGITS 0.0) 1)
- |DFLOAT;retract;$F;77|)
+ |DFLOAT;retract;$F;80|)
(|check-subtype| (NOT (< #0# 0)) '(|NonNegativeInteger|)
#0#))
(FLOAT-RADIX 0.0) $))))
-(DEFUN |DFLOAT;retractIfCan;$U;78| (|x| $)
- (PROG (#0=#:G1506)
+(DEFUN |DFLOAT;retractIfCan;$U;81| (|x| $)
+ (PROG (#0=#:G1509)
(RETURN
(CONS 0
- (|DFLOAT;rationalApproximation;$2NniF;84| |x|
+ (|DFLOAT;rationalApproximation;$2NniF;87| |x|
(PROG1 (LETT #0# (- (FLOAT-DIGITS 0.0) 1)
- |DFLOAT;retractIfCan;$U;78|)
+ |DFLOAT;retractIfCan;$U;81|)
(|check-subtype| (NOT (< #0# 0))
'(|NonNegativeInteger|) #0#))
(FLOAT-RADIX 0.0) $)))))
-(DEFUN |DFLOAT;retract;$I;79| (|x| $)
+(DEFUN |DFLOAT;retract;$I;82| (|x| $)
(PROG (|n|)
(RETURN
- (SEQ (LETT |n| (FIX |x|) |DFLOAT;retract;$I;79|)
+ (SEQ (LETT |n| (FIX |x|) |DFLOAT;retract;$I;82|)
(EXIT (COND
((= |x| (FLOAT |n| |$DoubleFloatMaximum|)) |n|)
('T (|error| "Not an integer"))))))))
-(DEFUN |DFLOAT;retractIfCan;$U;80| (|x| $)
+(DEFUN |DFLOAT;retractIfCan;$U;83| (|x| $)
(PROG (|n|)
(RETURN
- (SEQ (LETT |n| (FIX |x|) |DFLOAT;retractIfCan;$U;80|)
+ (SEQ (LETT |n| (FIX |x|) |DFLOAT;retractIfCan;$U;83|)
(EXIT (COND
((= |x| (FLOAT |n| |$DoubleFloatMaximum|))
(CONS 0 |n|))
('T (CONS 1 "failed"))))))))
-(DEFUN |DFLOAT;sign;$I;81| (|x| $)
- (|DFLOAT;retract;$I;79| (FLOAT-SIGN |x| 1.0) $))
+(DEFUN |DFLOAT;sign;$I;84| (|x| $)
+ (|DFLOAT;retract;$I;82| (FLOAT-SIGN |x| 1.0) $))
-(DEFUN |DFLOAT;abs;2$;82| (|x| $)
+(DEFUN |DFLOAT;abs;2$;85| (|x| $)
(DECLARE (IGNORE $))
(FLOAT-SIGN 1.0 |x|))
(DEFUN |DFLOAT;manexp| (|x| $)
- (PROG (|s| #0=#:G1527 |me| |two53|)
+ (PROG (|s| #0=#:G1530 |me| |two53|)
(RETURN
(SEQ (EXIT (COND
((ZEROP |x|) (CONS 0 0))
('T
- (SEQ (LETT |s| (|DFLOAT;sign;$I;81| |x| $)
+ (SEQ (LETT |s| (|DFLOAT;sign;$I;84| |x| $)
|DFLOAT;manexp|)
(LETT |x| (FLOAT-SIGN 1.0 |x|)
|DFLOAT;manexp|)
(COND
- ((< |$DoubleFloatMaximum| |x|)
+ ((> |x| |$DoubleFloatMaximum|)
(PROGN
(LETT #0#
(CONS
@@ -713,32 +733,32 @@
(- (QCDR |me|) (FLOAT-DIGITS 0.0))))))))
#0# (EXIT #0#)))))
-(DEFUN |DFLOAT;rationalApproximation;$2NniF;84| (|f| |d| |b| $)
- (PROG (|#G103| |nu| |ex| BASE #0=#:G1530 |de| |tol| |#G104| |q| |r|
- |p2| |q2| #1=#:G1539 |#G105| |#G106| |p0| |p1| |#G107|
- |#G108| |q0| |q1| |#G109| |#G110| |s| |t|)
+(DEFUN |DFLOAT;rationalApproximation;$2NniF;87| (|f| |d| |b| $)
+ (PROG (|#G109| |nu| |ex| BASE #0=#:G1533 |de| |tol| |#G110| |q| |r|
+ |p2| |q2| #1=#:G1542 |#G111| |#G112| |p0| |p1| |#G113|
+ |#G114| |q0| |q1| |#G115| |#G116| |s| |t|)
(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 |#G109| (|DFLOAT;manexp| |f| $)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ (LETT |nu| (QCAR |#G109|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ (LETT |ex| (QCDR |#G109|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ |#G109|)
(LETT BASE (FLOAT-RADIX 0.0)
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(EXIT (COND
((< |ex| 0)
(SEQ (LETT |de|
(EXPT BASE
(PROG1
(LETT #0# (- |ex|)
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(|check-subtype|
(NOT (< #0# 0))
'(|NonNegativeInteger|) #0#)))
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(EXIT
(COND
((< |b| 2)
@@ -746,37 +766,37 @@
('T
(SEQ
(LETT |tol| (EXPT |b| |d|)
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(LETT |s| |nu|
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(LETT |t| |de|
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(LETT |p0| 0
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(LETT |p1| 1
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(LETT |q0| 1
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(LETT |q1| 0
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(EXIT
(SEQ G190 NIL
(SEQ
(PROGN
- (LETT |#G104|
+ (LETT |#G110|
(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;87|)
+ (LETT |q| (QCAR |#G110|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ (LETT |r| (QCDR |#G110|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ |#G110|)
(LETT |p2|
(+ (* |q| |p1|) |p0|)
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(LETT |q2|
(+ (* |q| |q1|) |q0|)
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(COND
((OR (EQL |r| 0)
(<
@@ -785,44 +805,44 @@
(- (* |nu| |q2|)
(* |de| |p2|)))
(|getShellEntry| $
- 141))
+ 145))
(* |de| (ABS |p2|))))
(EXIT
(PROGN
(LETT #1#
(SPADCALL |p2| |q2|
(|getShellEntry| $
- 139))
- |DFLOAT;rationalApproximation;$2NniF;84|)
+ 143))
+ |DFLOAT;rationalApproximation;$2NniF;87|)
(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 |#G111| |p1|
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ (LETT |#G112| |p2|
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ (LETT |p0| |#G111|
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ (LETT |p1| |#G112|
+ |DFLOAT;rationalApproximation;$2NniF;87|))
(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 |#G113| |q1|
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ (LETT |#G114| |q2|
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ (LETT |q0| |#G113|
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ (LETT |q1| |#G114|
+ |DFLOAT;rationalApproximation;$2NniF;87|))
(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 |#G115| |t|
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ (LETT |#G116| |r|
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ (LETT |s| |#G115|
+ |DFLOAT;rationalApproximation;$2NniF;87|)
+ (LETT |t| |#G116|
+ |DFLOAT;rationalApproximation;$2NniF;87|))))
NIL (GO G190) G191
(EXIT NIL)))))))))
('T
@@ -833,35 +853,35 @@
(|check-subtype|
(NOT (< |ex| 0))
'(|NonNegativeInteger|) |ex|))))
- (|getShellEntry| $ 142)))))))
+ (|getShellEntry| $ 146)))))))
#1# (EXIT #1#)))))
-(DEFUN |DFLOAT;**;$F$;85| (|x| |r| $)
- (PROG (|n| |d| #0=#:G1549)
+(DEFUN |DFLOAT;**;$F$;88| (|x| |r| $)
+ (PROG (|n| |d| #0=#:G1552)
(RETURN
(SEQ (EXIT (COND
((ZEROP |x|)
(COND
- ((SPADCALL |r| (|getShellEntry| $ 143))
+ ((SPADCALL |r| (|getShellEntry| $ 147))
(|error| "0**0 is undefined"))
- ((SPADCALL |r| (|getShellEntry| $ 144))
+ ((SPADCALL |r| (|getShellEntry| $ 148))
(|error| "division by 0"))
('T 0.0)))
- ((OR (SPADCALL |r| (|getShellEntry| $ 143))
+ ((OR (SPADCALL |r| (|getShellEntry| $ 147))
(= |x| 1.0))
1.0)
('T
(COND
- ((SPADCALL |r| (|getShellEntry| $ 145)) |x|)
+ ((SPADCALL |r| (|getShellEntry| $ 149)) |x|)
('T
(SEQ (LETT |n|
(SPADCALL |r|
- (|getShellEntry| $ 146))
- |DFLOAT;**;$F$;85|)
+ (|getShellEntry| $ 150))
+ |DFLOAT;**;$F$;88|)
(LETT |d|
(SPADCALL |r|
- (|getShellEntry| $ 147))
- |DFLOAT;**;$F$;85|)
+ (|getShellEntry| $ 151))
+ |DFLOAT;**;$F$;88|)
(EXIT (COND
((MINUSP |x|)
(COND
@@ -871,23 +891,23 @@
(PROGN
(LETT #0#
(-
- (|DFLOAT;**;$F$;85|
+ (|DFLOAT;**;$F$;88|
(- |x|) |r| $))
- |DFLOAT;**;$F$;85|)
+ |DFLOAT;**;$F$;88|)
(GO #0#)))
('T
(PROGN
(LETT #0#
- (|DFLOAT;**;$F$;85|
+ (|DFLOAT;**;$F$;88|
(- |x|) |r| $)
- |DFLOAT;**;$F$;85|)
+ |DFLOAT;**;$F$;88|)
(GO #0#)))))
('T (|error| "negative root"))))
((EQL |d| 2)
- (EXPT (|DFLOAT;sqrt;2$;30| |x| $)
+ (EXPT (|DFLOAT;sqrt;2$;33| |x| $)
|n|))
('T
- (|DFLOAT;**;3$;33| |x|
+ (|DFLOAT;**;3$;36| |x|
(/
(FLOAT |n|
|$DoubleFloatMaximum|)
@@ -899,7 +919,7 @@
(DEFUN |DoubleFloat| ()
(PROG ()
(RETURN
- (PROG (#0=#:G1561)
+ (PROG (#0=#:G1564)
(RETURN
(COND
((LETT #0# (HGET |$ConstructorCache| '|DoubleFloat|)
@@ -920,7 +940,7 @@
(RETURN
(PROGN
(LETT |dv$| '(|DoubleFloat|) . #0=(|DoubleFloat|))
- (LETT $ (|newShell| 161) . #0#)
+ (LETT $ (|newShell| 165) . #0#)
(|setShellEntry| $ 0 |dv$|)
(|setShellEntry| $ 3
(LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
@@ -932,7 +952,7 @@
(LIST '#(NIL NIL NIL NIL NIL NIL (|OpenMathEncoding|)
(0 . |OMencodingXML|) (|String|) (|OpenMathDevice|)
(4 . |OMopenString|) (|Void|) (10 . |OMputObject|)
- (|DoubleFloat|) |DFLOAT;convert;2$;73| (15 . |OMputFloat|)
+ (|DoubleFloat|) |DFLOAT;convert;2$;76| (15 . |OMputFloat|)
(21 . |OMputEndObject|) (26 . |OMclose|)
|DFLOAT;OMwrite;$S;1| (|Boolean|) |DFLOAT;OMwrite;$BS;2|
|DFLOAT;OMwrite;Omd$V;3| |DFLOAT;OMwrite;Omd$BV;4|
@@ -941,89 +961,91 @@
(|PositiveInteger|) |DFLOAT;base;Pi;6| (|Integer|)
|DFLOAT;mantissa;$I;7| |DFLOAT;exponent;$I;8|
|DFLOAT;precision;Pi;9| (31 . |base|) (35 . =) (41 . *)
- (47 . |coerce|) |DFLOAT;log2;2$;37| (52 . *)
- |DFLOAT;wholePart;$I;71| |DFLOAT;bits;Pi;10|
+ (47 . |coerce|) |DFLOAT;log2;2$;40| (52 . *)
+ |DFLOAT;wholePart;$I;74| |DFLOAT;bits;Pi;10|
|DFLOAT;max;$;11| |DFLOAT;min;$;12| (58 . +) (64 . |One|)
(68 . -) |DFLOAT;order;$I;13|
(CONS IDENTITY
(FUNCALL (|dispatchFunction| |DFLOAT;One;$;15|) $))
- |DFLOAT;/;3$;62| |DFLOAT;exp1;$;16| |DFLOAT;pi;$;17|
+ |DFLOAT;/;3$;65| |DFLOAT;exp1;$;16| |DFLOAT;pi;$;17|
(|OutputForm|) (74 . |outputForm|) |DFLOAT;coerce;$Of;18|
(|InputForm|) (79 . |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;negative?;$B;63|
- |DFLOAT;zero?;$B;64| |DFLOAT;one?;$B;65| (|SingleInteger|)
- |DFLOAT;hash;$Si;66| (|Union| $ '"failed")
- |DFLOAT;recip;$U;67| |DFLOAT;differentiate;2$;68|
- (|DoubleFloatSpecialFunctions|) (84 . |Gamma|)
- |DFLOAT;Gamma;2$;69| (89 . |Beta|) |DFLOAT;Beta;3$;70|
- |DFLOAT;float;2IPi$;72| (|Float|) (95 . |convert|)
- |DFLOAT;convert;$F;74| (|Fraction| 26)
+ |DFLOAT;<;2$B;20| |DFLOAT;>;2$B;21| (84 . |not|)
+ |DFLOAT;<=;2$B;22| |DFLOAT;>=;2$B;23| |DFLOAT;-;2$;24|
+ |DFLOAT;+;3$;25| |DFLOAT;-;3$;26| |DFLOAT;*;3$;27|
+ |DFLOAT;*;I2$;28| |DFLOAT;max;3$;29| |DFLOAT;min;3$;30|
+ |DFLOAT;=;2$B;31| |DFLOAT;/;$I$;32| |DFLOAT;sqrt;2$;33|
+ |DFLOAT;log10;2$;34| |DFLOAT;**;$I$;35| |DFLOAT;**;3$;36|
+ |DFLOAT;coerce;I$;37| |DFLOAT;exp;2$;38|
+ |DFLOAT;log;2$;39| |DFLOAT;sin;2$;41| |DFLOAT;cos;2$;42|
+ |DFLOAT;tan;2$;43| |DFLOAT;cot;2$;44| |DFLOAT;sec;2$;45|
+ |DFLOAT;csc;2$;46| |DFLOAT;asin;2$;47| |DFLOAT;acos;2$;48|
+ |DFLOAT;atan;2$;49| |DFLOAT;acsc;2$;50|
+ |DFLOAT;acot;2$;51| |DFLOAT;asec;2$;52|
+ |DFLOAT;sinh;2$;53| |DFLOAT;cosh;2$;54|
+ |DFLOAT;tanh;2$;55| |DFLOAT;csch;2$;56|
+ |DFLOAT;coth;2$;57| |DFLOAT;sech;2$;58|
+ |DFLOAT;asinh;2$;59| |DFLOAT;acosh;2$;60|
+ |DFLOAT;atanh;2$;61| |DFLOAT;acsch;2$;62|
+ |DFLOAT;acoth;2$;63| |DFLOAT;asech;2$;64|
+ |DFLOAT;negative?;$B;66| |DFLOAT;zero?;$B;67|
+ |DFLOAT;one?;$B;68| (|SingleInteger|) |DFLOAT;hash;$Si;69|
+ (|Union| $ '"failed") |DFLOAT;recip;$U;70|
+ |DFLOAT;differentiate;2$;71|
+ (|DoubleFloatSpecialFunctions|) (89 . |Gamma|)
+ |DFLOAT;Gamma;2$;72| (94 . |Beta|) |DFLOAT;Beta;3$;73|
+ |DFLOAT;float;2IPi$;75| (|Float|) (100 . |convert|)
+ |DFLOAT;convert;$F;77| (|Fraction| 26)
(|NonNegativeInteger|)
- |DFLOAT;rationalApproximation;$2NniF;84|
- |DFLOAT;rationalApproximation;$NniF;75| (100 . |Zero|)
- |DFLOAT;abs;2$;82| |DFLOAT;atan;3$;76| (104 . |One|)
- |DFLOAT;retract;$F;77| (|Union| 112 '"failed")
- |DFLOAT;retractIfCan;$U;78| |DFLOAT;retract;$I;79|
- (|Union| 26 '"failed") |DFLOAT;retractIfCan;$U;80|
- |DFLOAT;sign;$I;81| (108 . *) (114 . **) (120 . |Zero|)
- (124 . |Zero|) (128 . <) (134 . -) (139 . **) (145 . <)
- (151 . **)
+ |DFLOAT;rationalApproximation;$2NniF;87|
+ |DFLOAT;rationalApproximation;$NniF;78| (105 . |Zero|)
+ |DFLOAT;abs;2$;85| |DFLOAT;atan;3$;79| (109 . |One|)
+ |DFLOAT;retract;$F;80| (|Union| 116 '"failed")
+ |DFLOAT;retractIfCan;$U;81| |DFLOAT;retract;$I;82|
+ (|Union| 26 '"failed") |DFLOAT;retractIfCan;$U;83|
+ |DFLOAT;sign;$I;84| (113 . *) (119 . **) (125 . |Zero|)
+ (129 . |Zero|) (133 . <) (139 . -) (144 . **) (150 . <)
+ (156 . **)
(|Record| (|:| |quotient| $) (|:| |remainder| $))
- (157 . |divide|) (163 . =) (169 . /) (175 . |abs|)
- (180 . *) (186 . |coerce|) (191 . |zero?|)
- (196 . |negative?|) (201 . |one?|) (206 . |numer|)
- (211 . |denom|) (216 . |odd?|) |DFLOAT;**;$F$;85|
- (|PatternMatchResult| 109 $) (|Pattern| 109)
- (|Factored| $) (|List| $) (|Union| 153 '"failed")
+ (162 . |divide|) (168 . =) (174 . /) (180 . |abs|)
+ (185 . *) (191 . |coerce|) (196 . |zero?|)
+ (201 . |negative?|) (206 . |one?|) (211 . |numer|)
+ (216 . |denom|) (221 . |odd?|) |DFLOAT;**;$F$;88|
+ (|PatternMatchResult| 113 $) (|Pattern| 113)
+ (|Factored| $) (|List| $) (|Union| 157 '"failed")
(|Record| (|:| |coef1| $) (|:| |coef2| $)
(|:| |generator| $))
(|Record| (|:| |coef1| $) (|:| |coef2| $))
- (|Union| 156 '"failed")
- (|Record| (|:| |coef| 153) (|:| |generator| $))
+ (|Union| 160 '"failed")
+ (|Record| (|:| |coef| 157) (|:| |generator| $))
(|SparseUnivariatePolynomial| $)
(|Record| (|:| |unit| $) (|:| |canonical| $)
(|:| |associate| $)))
- '#(~= 221 |zero?| 227 |wholePart| 232 |unitNormal| 237
- |unitCanonical| 242 |unit?| 247 |truncate| 252 |tanh| 257
- |tan| 262 |subtractIfCan| 267 |squareFreePart| 273
- |squareFree| 278 |sqrt| 283 |sizeLess?| 288 |sinh| 294
- |sin| 299 |sign| 304 |sech| 309 |sec| 314 |sample| 319
- |round| 323 |retractIfCan| 328 |retract| 338 |rem| 348
- |recip| 354 |rationalApproximation| 359 |quo| 372
- |principalIdeal| 378 |prime?| 383 |precision| 388
- |positive?| 392 |pi| 397 |patternMatch| 401 |order| 408
- |one?| 413 |nthRoot| 418 |norm| 424 |negative?| 429
- |multiEuclidean| 434 |min| 440 |max| 450 |mantissa| 460
- |log2| 465 |log10| 470 |log| 475 |lcm| 480 |latex| 491
- |inv| 496 |hash| 501 |gcdPolynomial| 506 |gcd| 512
- |fractionPart| 523 |floor| 528 |float| 533 |factor| 546
- |extendedEuclidean| 551 |exquo| 564 |expressIdealMember|
- 570 |exponent| 576 |exp1| 581 |exp| 585 |euclideanSize|
- 590 |divide| 595 |digits| 601 |differentiate| 605 |csch|
- 616 |csc| 621 |coth| 626 |cot| 631 |cosh| 636 |cos| 641
- |convert| 646 |coerce| 666 |characteristic| 696 |ceiling|
- 700 |bits| 705 |before?| 709 |base| 715 |atanh| 719 |atan|
- 724 |associates?| 735 |asinh| 741 |asin| 746 |asech| 751
- |asec| 756 |acsch| 761 |acsc| 766 |acoth| 771 |acot| 776
- |acosh| 781 |acos| 786 |abs| 791 |Zero| 796 |One| 800
- |OMwrite| 804 |Gamma| 828 D 833 |Beta| 844 >= 850 > 856 =
- 862 <= 868 < 874 / 880 - 892 + 903 ** 909 * 939)
+ '#(~= 226 |zero?| 232 |wholePart| 237 |unitNormal| 242
+ |unitCanonical| 247 |unit?| 252 |truncate| 257 |tanh| 262
+ |tan| 267 |subtractIfCan| 272 |squareFreePart| 278
+ |squareFree| 283 |sqrt| 288 |sizeLess?| 293 |sinh| 299
+ |sin| 304 |sign| 309 |sech| 314 |sec| 319 |sample| 324
+ |round| 328 |retractIfCan| 333 |retract| 343 |rem| 353
+ |recip| 359 |rationalApproximation| 364 |quo| 377
+ |principalIdeal| 383 |prime?| 388 |precision| 393
+ |positive?| 397 |pi| 402 |patternMatch| 406 |order| 413
+ |one?| 418 |nthRoot| 423 |norm| 429 |negative?| 434
+ |multiEuclidean| 439 |min| 445 |max| 455 |mantissa| 465
+ |log2| 470 |log10| 475 |log| 480 |lcm| 485 |latex| 496
+ |inv| 501 |hash| 506 |gcdPolynomial| 511 |gcd| 517
+ |fractionPart| 528 |floor| 533 |float| 538 |factor| 551
+ |extendedEuclidean| 556 |exquo| 569 |expressIdealMember|
+ 575 |exponent| 581 |exp1| 586 |exp| 590 |euclideanSize|
+ 595 |divide| 600 |digits| 606 |differentiate| 610 |csch|
+ 621 |csc| 626 |coth| 631 |cot| 636 |cosh| 641 |cos| 646
+ |convert| 651 |coerce| 671 |characteristic| 701 |ceiling|
+ 705 |bits| 710 |before?| 714 |base| 720 |atanh| 724 |atan|
+ 729 |associates?| 740 |asinh| 746 |asin| 751 |asech| 756
+ |asec| 761 |acsch| 766 |acsc| 771 |acoth| 776 |acot| 781
+ |acosh| 786 |acos| 791 |abs| 796 |Zero| 801 |One| 805
+ |OMwrite| 809 |Gamma| 833 D 838 |Beta| 849 >= 855 > 861 =
+ 867 <= 873 < 879 / 885 - 897 + 908 ** 914 * 944)
'((|approximate| . 0) (|canonicalsClosed| . 0)
(|canonicalUnitNormal| . 0) (|noZeroDivisors| . 0)
((|commutative| "*") . 0) (|rightUnitary| . 0)
@@ -1058,14 +1080,14 @@
(|PrincipalIdealDomain|)
(|UniqueFactorizationDomain|)
(|GcdDomain|) (|DivisionRing|)
- (|IntegralDomain|) (|Algebra| 112)
+ (|IntegralDomain|) (|Algebra| 116)
(|Algebra| $$) (|DifferentialRing|)
(|CharacteristicZero|) (|OrderedRing|)
- (|Module| 112) (|EntireRing|)
+ (|Module| 116) (|EntireRing|)
(|CommutativeRing|) (|Module| $$)
- (|BiModule| 112 112) (|BiModule| $$ $$)
+ (|BiModule| 116 116) (|BiModule| $$ $$)
(|Ring|) (|OrderedAbelianGroup|)
- (|RightModule| 112) (|LeftModule| 112)
+ (|RightModule| 116) (|LeftModule| 116)
(|LeftModule| $$) (|Rng|)
(|RightModule| $$)
(|OrderedCancellationAbelianMonoid|)
@@ -1073,17 +1095,17 @@
(|OrderedAbelianMonoid|)
(|CancellationAbelianMonoid|)
(|OrderedAbelianSemiGroup|)
- (|LinearSet| 112) (|LinearSet| $$)
+ (|LinearSet| 116) (|LinearSet| $$)
(|AbelianMonoid|) (|Monoid|)
- (|PatternMatchable| 109) (|OrderedSet|)
- (|LeftLinearSet| 112)
- (|RightLinearSet| 112)
+ (|PatternMatchable| 113) (|OrderedSet|)
+ (|LeftLinearSet| 116)
+ (|RightLinearSet| 116)
(|LeftLinearSet| $$)
(|RightLinearSet| $$)
(|AbelianSemiGroup|) (|SemiGroup|)
(|LeftLinearSet| 26)
(|TranscendentalFunctionCategory|)
- (|RetractableTo| 112)
+ (|RetractableTo| 116)
(|RetractableTo| 26) (|RealConstant|)
(|SetCategory|) (|ConvertibleTo| 51)
(|ElementaryFunctionCategory|)
@@ -1091,79 +1113,79 @@
(|HyperbolicFunctionCategory|)
(|ArcTrigonometricFunctionCategory|)
(|TrigonometricFunctionCategory|)
- (|OpenMath|) (|ConvertibleTo| 151)
+ (|OpenMath|) (|ConvertibleTo| 155)
(|RadicalCategory|)
- (|ConvertibleTo| 109)
+ (|ConvertibleTo| 113)
(|ConvertibleTo| 13)
- (|CoercibleFrom| 112)
+ (|CoercibleFrom| 116)
(|CoercibleFrom| $$)
(|CoercibleFrom| 26) (|BasicType|)
(|CoercibleTo| 48))
- (|makeByteWordVec2| 160
+ (|makeByteWordVec2| 164
'(0 6 0 7 2 9 0 8 6 10 1 9 11 0 12 2 9
11 0 13 15 1 9 11 0 16 1 9 11 0 17 0
26 0 30 2 24 19 0 0 31 2 24 0 24 0 32
1 0 0 26 33 2 0 0 24 0 35 2 26 0 0 0
40 0 26 0 41 2 26 0 0 0 42 1 48 0 13
- 49 1 51 0 13 52 1 103 13 13 104 2 103
- 13 13 13 106 1 109 0 13 110 0 26 0
- 116 0 24 0 119 2 26 0 26 0 127 2 26 0
- 0 113 128 0 112 0 129 0 113 0 130 2
- 26 19 0 0 131 1 26 0 0 132 2 24 0 0
- 113 133 2 113 19 0 0 134 2 113 0 0
- 113 135 2 26 136 0 0 137 2 26 19 0 0
- 138 2 112 0 26 26 139 1 26 0 0 140 2
- 26 0 113 0 141 1 112 0 26 142 1 112
- 19 0 143 1 112 19 0 144 1 112 19 0
- 145 1 112 26 0 146 1 112 26 0 147 1
- 26 19 0 148 2 0 19 0 0 1 1 0 19 0 96
- 1 0 26 0 36 1 0 160 0 1 1 0 0 0 1 1 0
- 19 0 1 1 0 0 0 1 1 0 0 0 85 1 0 0 0
- 73 2 0 100 0 0 1 1 0 0 0 1 1 0 152 0
- 1 1 0 0 0 64 2 0 19 0 0 1 1 0 0 0 83
- 1 0 0 0 71 1 0 26 0 126 1 0 0 0 88 1
- 0 0 0 75 0 0 0 1 1 0 0 0 1 1 0 121 0
- 122 1 0 124 0 125 1 0 112 0 120 1 0
- 26 0 123 2 0 0 0 0 1 1 0 100 0 101 2
- 0 112 0 113 115 3 0 112 0 113 113 114
- 2 0 0 0 0 1 1 0 158 153 1 1 0 19 0 1
- 0 0 24 29 1 0 19 0 1 0 0 0 47 3 0 150
- 0 151 150 1 1 0 26 0 43 1 0 19 0 97 2
- 0 0 0 26 1 1 0 0 0 1 1 0 19 0 95 2 0
- 154 153 0 1 0 0 0 39 2 0 0 0 0 61 0 0
- 0 38 2 0 0 0 0 60 1 0 26 0 27 1 0 0 0
- 34 1 0 0 0 65 1 0 0 0 70 1 0 0 153 1
- 2 0 0 0 0 1 1 0 8 0 1 1 0 0 0 1 1 0
- 98 0 99 2 0 159 159 159 1 1 0 0 153 1
- 2 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 3 0 0
- 26 26 24 108 2 0 0 26 26 1 1 0 152 0
- 1 2 0 155 0 0 1 3 0 157 0 0 0 1 2 0
- 100 0 0 1 2 0 154 153 0 1 1 0 26 0 28
- 0 0 0 46 1 0 0 0 69 1 0 113 0 1 2 0
- 136 0 0 1 0 0 24 1 1 0 0 0 102 2 0 0
- 0 113 1 1 0 0 0 86 1 0 0 0 76 1 0 0 0
- 87 1 0 0 0 74 1 0 0 0 84 1 0 0 0 72 1
- 0 51 0 53 1 0 151 0 1 1 0 109 0 111 1
- 0 13 0 14 1 0 0 112 1 1 0 0 26 68 1 0
- 0 112 1 1 0 0 0 1 1 0 0 26 68 1 0 48
- 0 50 0 0 113 1 1 0 0 0 1 0 0 24 37 2
- 0 19 0 0 1 0 0 24 25 1 0 0 0 91 2 0 0
- 0 0 118 1 0 0 0 79 2 0 19 0 0 1 1 0 0
- 0 89 1 0 0 0 77 1 0 0 0 94 1 0 0 0 82
- 1 0 0 0 92 1 0 0 0 80 1 0 0 0 93 1 0
- 0 0 81 1 0 0 0 90 1 0 0 0 78 1 0 0 0
- 117 0 0 0 23 0 0 0 44 2 0 11 9 0 21 3
- 0 11 9 0 19 22 1 0 8 0 18 2 0 8 0 19
- 20 1 0 0 0 105 1 0 0 0 1 2 0 0 0 113
- 1 2 0 0 0 0 107 2 0 19 0 0 1 2 0 19 0
- 0 1 2 0 19 0 0 62 2 0 19 0 0 1 2 0 19
- 0 0 54 2 0 0 0 26 63 2 0 0 0 0 45 2 0
- 0 0 0 57 1 0 0 0 55 2 0 0 0 0 56 2 0
- 0 0 0 67 2 0 0 0 112 149 2 0 0 0 26
- 66 2 0 0 0 113 1 2 0 0 0 24 1 2 0 0
- 112 0 1 2 0 0 0 112 1 2 0 0 0 0 58 2
- 0 0 26 0 59 2 0 0 113 0 1 2 0 0 24 0
- 35)))))
+ 49 1 51 0 13 52 1 19 0 0 56 1 107 13
+ 13 108 2 107 13 13 13 110 1 113 0 13
+ 114 0 26 0 120 0 24 0 123 2 26 0 26 0
+ 131 2 26 0 0 117 132 0 116 0 133 0
+ 117 0 134 2 26 19 0 0 135 1 26 0 0
+ 136 2 24 0 0 117 137 2 117 19 0 0 138
+ 2 117 0 0 117 139 2 26 140 0 0 141 2
+ 26 19 0 0 142 2 116 0 26 26 143 1 26
+ 0 0 144 2 26 0 117 0 145 1 116 0 26
+ 146 1 116 19 0 147 1 116 19 0 148 1
+ 116 19 0 149 1 116 26 0 150 1 116 26
+ 0 151 1 26 19 0 152 2 0 19 0 0 1 1 0
+ 19 0 100 1 0 26 0 36 1 0 164 0 1 1 0
+ 0 0 1 1 0 19 0 1 1 0 0 0 1 1 0 0 0 89
+ 1 0 0 0 77 2 0 104 0 0 1 1 0 0 0 1 1
+ 0 156 0 1 1 0 0 0 68 2 0 19 0 0 1 1 0
+ 0 0 87 1 0 0 0 75 1 0 26 0 130 1 0 0
+ 0 92 1 0 0 0 79 0 0 0 1 1 0 0 0 1 1 0
+ 125 0 126 1 0 128 0 129 1 0 116 0 124
+ 1 0 26 0 127 2 0 0 0 0 1 1 0 104 0
+ 105 2 0 116 0 117 119 3 0 116 0 117
+ 117 118 2 0 0 0 0 1 1 0 162 157 1 1 0
+ 19 0 1 0 0 24 29 1 0 19 0 1 0 0 0 47
+ 3 0 154 0 155 154 1 1 0 26 0 43 1 0
+ 19 0 101 2 0 0 0 26 1 1 0 0 0 1 1 0
+ 19 0 99 2 0 158 157 0 1 0 0 0 39 2 0
+ 0 0 0 65 0 0 0 38 2 0 0 0 0 64 1 0 26
+ 0 27 1 0 0 0 34 1 0 0 0 69 1 0 0 0 74
+ 1 0 0 157 1 2 0 0 0 0 1 1 0 8 0 1 1 0
+ 0 0 1 1 0 102 0 103 2 0 163 163 163 1
+ 1 0 0 157 1 2 0 0 0 0 1 1 0 0 0 1 1 0
+ 0 0 1 3 0 0 26 26 24 112 2 0 0 26 26
+ 1 1 0 156 0 1 2 0 159 0 0 1 3 0 161 0
+ 0 0 1 2 0 104 0 0 1 2 0 158 157 0 1 1
+ 0 26 0 28 0 0 0 46 1 0 0 0 73 1 0 117
+ 0 1 2 0 140 0 0 1 0 0 24 1 1 0 0 0
+ 106 2 0 0 0 117 1 1 0 0 0 90 1 0 0 0
+ 80 1 0 0 0 91 1 0 0 0 78 1 0 0 0 88 1
+ 0 0 0 76 1 0 51 0 53 1 0 155 0 1 1 0
+ 113 0 115 1 0 13 0 14 1 0 0 116 1 1 0
+ 0 26 72 1 0 0 116 1 1 0 0 0 1 1 0 0
+ 26 72 1 0 48 0 50 0 0 117 1 1 0 0 0 1
+ 0 0 24 37 2 0 19 0 0 1 0 0 24 25 1 0
+ 0 0 95 2 0 0 0 0 122 1 0 0 0 83 2 0
+ 19 0 0 1 1 0 0 0 93 1 0 0 0 81 1 0 0
+ 0 98 1 0 0 0 86 1 0 0 0 96 1 0 0 0 84
+ 1 0 0 0 97 1 0 0 0 85 1 0 0 0 94 1 0
+ 0 0 82 1 0 0 0 121 0 0 0 23 0 0 0 44
+ 2 0 11 9 0 21 3 0 11 9 0 19 22 1 0 8
+ 0 18 2 0 8 0 19 20 1 0 0 0 109 1 0 0
+ 0 1 2 0 0 0 117 1 2 0 0 0 0 111 2 0
+ 19 0 0 58 2 0 19 0 0 55 2 0 19 0 0 66
+ 2 0 19 0 0 57 2 0 19 0 0 54 2 0 0 0
+ 26 67 2 0 0 0 0 45 2 0 0 0 0 61 1 0 0
+ 0 59 2 0 0 0 0 60 2 0 0 0 0 71 2 0 0
+ 0 116 153 2 0 0 0 26 70 2 0 0 0 117 1
+ 2 0 0 0 24 1 2 0 0 116 0 1 2 0 0 0
+ 116 1 2 0 0 0 0 62 2 0 0 26 0 63 2 0
+ 0 117 0 1 2 0 0 24 0 35)))))
'|lookupComplete|))
(MAKEPROP '|DoubleFloat| 'NILADIC T)