diff options
author | dos-reis <gdr@axiomatics.org> | 2011-03-07 05:49:53 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-03-07 05:49:53 +0000 |
commit | a03b7716749e9fb997d99659967aa49ae6ca1569 (patch) | |
tree | f9ea530df62ac41622e2180077fb4d07aebd7d64 /src/algebra/strap/DFLOAT.lsp | |
parent | 13c00cb56547feb8cd6b5b3c6386a881072862f6 (diff) | |
download | open-axiom-a03b7716749e9fb997d99659967aa49ae6ca1569.tar.gz |
* interp/sys-utility.boot (getSystemModulePath): Use
systemAlgebraDirectory.
* interp/database.boot (pathToDatabase): Use systemDatabaseDirectory.
* algebra/integer.spad.pamphlet (Integer) [latex]: Tidy.
* algebra/string.spad.pamphlet (Character) [latex]: Likewise.
* algebra/Makefile.in: Rework bootstrapping set up.
(COMPILE_LISP): Remove.
(axiom_algebra_layer_strap): Likewise.
(axiom_algebra_layer_strap_objects): Likewise.
(axiom_algebra_bootstrap): Likewise.
(oa_strap_0_fasls): New.
(oa_strap_1_fasls): Likewise.
(oa_strap_2_fasls): Likewise.
(oa_strap_0_sources): Likewise.
(oa_strap_1_sources): Likewise.
(oa_strap_2_sources): Likewise.
* src/algerab/strap: Remove.
Diffstat (limited to 'src/algebra/strap/DFLOAT.lsp')
-rw-r--r-- | src/algebra/strap/DFLOAT.lsp | 1161 |
1 files changed, 0 insertions, 1161 deletions
diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp deleted file mode 100644 index 91085f61..00000000 --- a/src/algebra/strap/DFLOAT.lsp +++ /dev/null @@ -1,1161 +0,0 @@ - -(/VERSIONCHECK 2) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%String|) - |DFLOAT;OMwrite;$S;1|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Boolean| |%Shell|) - |%String|) - |DFLOAT;OMwrite;$BS;2|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%DoubleFloat| |%Shell|) |%Void|) - |DFLOAT;OMwrite;Omd$V;3|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%DoubleFloat| |%Boolean| |%Shell|) - |%Void|) - |DFLOAT;OMwrite;Omd$BV;4|)) - -(DECLAIM (FTYPE (FUNCTION (|%Shell|) (|%IntegerSection| 1)) - |DFLOAT;base;Pi;5|)) - -(PUT '|DFLOAT;base;Pi;5| '|SPADreplace| '|%fbase|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|) - |DFLOAT;mantissa;$I;6|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|) - |DFLOAT;exponent;$I;7|)) - -(DECLAIM (FTYPE (FUNCTION (|%Shell|) (|%IntegerSection| 1)) - |DFLOAT;precision;Pi;8|)) - -(PUT '|DFLOAT;precision;Pi;8| '|SPADreplace| '|%fprec|) - -(DECLAIM (FTYPE (FUNCTION (|%Shell|) (|%IntegerSection| 1)) - |DFLOAT;bits;Pi;9|)) - -(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;max;$;10|)) - -(PUT '|DFLOAT;max;$;10| '|SPADreplace| '|%fmaxval|) - -(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;min;$;11|)) - -(PUT '|DFLOAT;min;$;11| '|SPADreplace| '|%fminval|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|) - |DFLOAT;order;$I;12|)) - -(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) - |DFLOAT;Zero;$;13|)) - -(PUT '|DFLOAT;Zero;$;13| '|SPADreplace| '(XLAM NIL (|%i2f| 0))) - -(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;One;$;14|)) - -(PUT '|DFLOAT;One;$;14| '|SPADreplace| '(XLAM NIL (|%i2f| 1))) - -(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) - |DFLOAT;exp1;$;15|)) - -(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;pi;$;16|)) - -(PUT '|DFLOAT;pi;$;16| '|SPADreplace| '|%fcstpi|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Thing|) - |DFLOAT;coerce;$Of;17|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Thing|) - |DFLOAT;convert;$If;18|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%Boolean|) - |DFLOAT;<;2$B;19|)) - -(PUT '|DFLOAT;<;2$B;19| '|SPADreplace| '|%flt|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%Boolean|) - |DFLOAT;>;2$B;20|)) - -(PUT '|DFLOAT;>;2$B;20| '|SPADreplace| '|%fgt|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%Boolean|) - |DFLOAT;<=;2$B;21|)) - -(PUT '|DFLOAT;<=;2$B;21| '|SPADreplace| '|%fle|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%Boolean|) - |DFLOAT;>=;2$B;22|)) - -(PUT '|DFLOAT;>=;2$B;22| '|SPADreplace| '|%fge|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;-;2$;23|)) - -(PUT '|DFLOAT;-;2$;23| '|SPADreplace| '|%fneg|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%DoubleFloat|) - |DFLOAT;+;3$;24|)) - -(PUT '|DFLOAT;+;3$;24| '|SPADreplace| '|%fadd|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%DoubleFloat|) - |DFLOAT;-;3$;25|)) - -(PUT '|DFLOAT;-;3$;25| '|SPADreplace| '|%fsub|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%DoubleFloat|) - |DFLOAT;*;3$;26|)) - -(PUT '|DFLOAT;*;3$;26| '|SPADreplace| '|%fmul|) - -(DECLAIM (FTYPE (FUNCTION (|%Integer| |%DoubleFloat| |%Shell|) - |%DoubleFloat|) - |DFLOAT;*;I2$;27|)) - -(PUT '|DFLOAT;*;I2$;27| '|SPADreplace| '|%imulf|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%DoubleFloat|) - |DFLOAT;max;3$;28|)) - -(PUT '|DFLOAT;max;3$;28| '|SPADreplace| '|%fmax|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%DoubleFloat|) - |DFLOAT;min;3$;29|)) - -(PUT '|DFLOAT;min;3$;29| '|SPADreplace| '|%fmin|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%Boolean|) - |DFLOAT;=;2$B;30|)) - -(PUT '|DFLOAT;=;2$B;30| '|SPADreplace| '|%feq|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Integer| |%Shell|) - |%DoubleFloat|) - |DFLOAT;/;$I$;31|)) - -(PUT '|DFLOAT;/;$I$;31| '|SPADreplace| '|%fdivi|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;sqrt;2$;32|)) - -(PUT '|DFLOAT;sqrt;2$;32| '|SPADreplace| '|%fsqrt|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;log10;2$;33|)) - -(PUT '|DFLOAT;log10;2$;33| '|SPADreplace| '|%flog10|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Integer| |%Shell|) - |%DoubleFloat|) - |DFLOAT;**;$I$;34|)) - -(PUT '|DFLOAT;**;$I$;34| '|SPADreplace| '|%fpowi|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%DoubleFloat|) - |DFLOAT;**;3$;35|)) - -(PUT '|DFLOAT;**;3$;35| '|SPADreplace| '|%fpowf|) - -(DECLAIM (FTYPE (FUNCTION (|%Integer| |%Shell|) |%DoubleFloat|) - |DFLOAT;coerce;I$;36|)) - -(PUT '|DFLOAT;coerce;I$;36| '|SPADreplace| '|%i2f|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;exp;2$;37|)) - -(PUT '|DFLOAT;exp;2$;37| '|SPADreplace| '|%fexp|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;log;2$;38|)) - -(PUT '|DFLOAT;log;2$;38| '|SPADreplace| '|%flog|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;log2;2$;39|)) - -(PUT '|DFLOAT;log2;2$;39| '|SPADreplace| '|%flog2|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;sin;2$;40|)) - -(PUT '|DFLOAT;sin;2$;40| '|SPADreplace| '|%fsin|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;cos;2$;41|)) - -(PUT '|DFLOAT;cos;2$;41| '|SPADreplace| '|%fcos|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;tan;2$;42|)) - -(PUT '|DFLOAT;tan;2$;42| '|SPADreplace| '|%ftan|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;cot;2$;43|)) - -(PUT '|DFLOAT;cot;2$;43| '|SPADreplace| '|%fcot|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;sec;2$;44|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;csc;2$;45|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;asin;2$;46|)) - -(PUT '|DFLOAT;asin;2$;46| '|SPADreplace| '|%fasin|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;acos;2$;47|)) - -(PUT '|DFLOAT;acos;2$;47| '|SPADreplace| '|%facos|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;atan;2$;48|)) - -(PUT '|DFLOAT;atan;2$;48| '|SPADreplace| '|%fatan|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;acsc;2$;49|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;acot;2$;50|)) - -(PUT '|DFLOAT;acot;2$;50| '|SPADreplace| '|%facot|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;asec;2$;51|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;sinh;2$;52|)) - -(PUT '|DFLOAT;sinh;2$;52| '|SPADreplace| '|%fsinh|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;cosh;2$;53|)) - -(PUT '|DFLOAT;cosh;2$;53| '|SPADreplace| '|%fcosh|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;tanh;2$;54|)) - -(PUT '|DFLOAT;tanh;2$;54| '|SPADreplace| '|%ftanh|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;csch;2$;55|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;coth;2$;56|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;sech;2$;57|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;asinh;2$;58|)) - -(PUT '|DFLOAT;asinh;2$;58| '|SPADreplace| '|%fasinh|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;acosh;2$;59|)) - -(PUT '|DFLOAT;acosh;2$;59| '|SPADreplace| '|%facosh|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;atanh;2$;60|)) - -(PUT '|DFLOAT;atanh;2$;60| '|SPADreplace| '|%fatanh|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;acsch;2$;61|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;acoth;2$;62|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;asech;2$;63|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%DoubleFloat|) - |DFLOAT;/;3$;64|)) - -(PUT '|DFLOAT;/;3$;64| '|SPADreplace| '|%fdiv|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Boolean|) - |DFLOAT;negative?;$B;65|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Boolean|) - |DFLOAT;zero?;$B;66|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Boolean|) - |DFLOAT;one?;$B;67|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Short|) - |DFLOAT;hash;$Si;68|)) - -(PUT '|DFLOAT;hash;$Si;68| '|SPADreplace| '|%hash|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Pair|) - |DFLOAT;recip;$U;69|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;differentiate;2$;70|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;Gamma;2$;71|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%DoubleFloat|) - |DFLOAT;Beta;3$;72|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|) - |DFLOAT;wholePart;$I;73|)) - -(PUT '|DFLOAT;wholePart;$I;73| '|SPADreplace| '|%ftrunc|) - -(DECLAIM (FTYPE (FUNCTION - (|%Integer| |%Integer| (|%IntegerSection| 1) - |%Shell|) - |%DoubleFloat|) - |DFLOAT;float;2IPi$;74|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;convert;2$;75|)) - -(PUT '|DFLOAT;convert;2$;75| '|SPADreplace| '(XLAM (|x|) |x|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Thing|) - |DFLOAT;convert;$F;76|)) - -(DECLAIM (FTYPE (FUNCTION - (|%DoubleFloat| (|%IntegerSection| 0) |%Shell|) - |%Thing|) - |DFLOAT;rationalApproximation;$NniF;77|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) - |%DoubleFloat|) - |DFLOAT;atan;3$;78|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Thing|) - |DFLOAT;retract;$F;79|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Pair|) - |DFLOAT;retractIfCan;$U;80|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|) - |DFLOAT;retract;$I;81|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Pair|) - |DFLOAT;retractIfCan;$U;82|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|) - |DFLOAT;sign;$I;83|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;abs;2$;84|)) - -(PUT '|DFLOAT;abs;2$;84| '|SPADreplace| '|%fabs|) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Pair|) - |DFLOAT;manexp|)) - -(DECLAIM (FTYPE (FUNCTION - (|%DoubleFloat| (|%IntegerSection| 0) - (|%IntegerSection| 0) |%Shell|) - |%Thing|) - |DFLOAT;rationalApproximation;$2NniF;86|)) - -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Thing| |%Shell|) - |%DoubleFloat|) - |DFLOAT;**;$F$;87|)) - -(PUT '|DFLOAT;exp1;$;15| '|SPADreplace| - '(XLAM NIL (|%fdiv| (|%i2f| 534625820200) (|%i2f| 196677847971)))) - -(PUT '|DFLOAT;sec;2$;44| '|SPADreplace| - '(XLAM (|x|) (|%fdiv| (|%i2f| 1) (|%fcos| |x|)))) - -(PUT '|DFLOAT;csc;2$;45| '|SPADreplace| - '(XLAM (|x|) (|%fdiv| (|%i2f| 1) (|%fsin| |x|)))) - -(PUT '|DFLOAT;acsc;2$;49| '|SPADreplace| - '(XLAM (|x|) (|%fasin| (|%fdiv| (|%i2f| 1) |x|)))) - -(PUT '|DFLOAT;asec;2$;51| '|SPADreplace| - '(XLAM (|x|) (|%facos| (|%fdiv| (|%i2f| 1) |x|)))) - -(PUT '|DFLOAT;csch;2$;55| '|SPADreplace| - '(XLAM (|x|) (|%fdiv| (|%i2f| 1) (|%fsinh| |x|)))) - -(PUT '|DFLOAT;coth;2$;56| '|SPADreplace| - '(XLAM (|x|) (|%fdiv| (|%i2f| 1) (|%ftanh| |x|)))) - -(PUT '|DFLOAT;sech;2$;57| '|SPADreplace| - '(XLAM (|x|) (|%fdiv| (|%i2f| 1) (|%fcosh| |x|)))) - -(PUT '|DFLOAT;acsch;2$;61| '|SPADreplace| - '(XLAM (|x|) (|%fasinh| (|%fdiv| (|%i2f| 1) |x|)))) - -(PUT '|DFLOAT;acoth;2$;62| '|SPADreplace| - '(XLAM (|x|) (|%fatanh| (|%fdiv| (|%i2f| 1) |x|)))) - -(PUT '|DFLOAT;asech;2$;63| '|SPADreplace| - '(XLAM (|x|) (|%facosh| (|%fdiv| (|%i2f| 1) |x|)))) - -(PUT '|DFLOAT;negative?;$B;65| '|SPADreplace| - '(XLAM (|x|) (|%flt| |x| (|%i2f| 0)))) - -(PUT '|DFLOAT;zero?;$B;66| '|SPADreplace| - '(XLAM (|x|) (|%feq| |x| (|%i2f| 0)))) - -(PUT '|DFLOAT;one?;$B;67| '|SPADreplace| - '(XLAM (|x|) (|%feq| |x| (|%i2f| 1)))) - -(PUT '|DFLOAT;differentiate;2$;70| '|SPADreplace| - '(XLAM (|x|) (|%i2f| 0))) - -(DEFUN |DFLOAT;OMwrite;$S;1| (|x| $) - (LET* ((|s| "") (|sp| (OM-STRINGTOSTRINGPTR |s|)) - (|dev| (SPADCALL |sp| (SPADCALL (|shellEntry| $ 7)) - (|shellEntry| $ 10)))) - (SEQ (SPADCALL |dev| (|shellEntry| $ 12)) - (SPADCALL |dev| |x| (|shellEntry| $ 15)) - (SPADCALL |dev| (|shellEntry| $ 16)) - (SPADCALL |dev| (|shellEntry| $ 17)) - (SETQ |s| (OM-STRINGPTRTOSTRING |sp|)) (EXIT |s|)))) - -(DEFUN |DFLOAT;OMwrite;$BS;2| (|x| |wholeObj| $) - (LET* ((|s| "") (|sp| (OM-STRINGTOSTRINGPTR |s|)) - (|dev| (SPADCALL |sp| (SPADCALL (|shellEntry| $ 7)) - (|shellEntry| $ 10)))) - (SEQ (COND (|wholeObj| (SPADCALL |dev| (|shellEntry| $ 12)))) - (SPADCALL |dev| |x| (|shellEntry| $ 15)) - (COND (|wholeObj| (SPADCALL |dev| (|shellEntry| $ 16)))) - (SPADCALL |dev| (|shellEntry| $ 17)) - (SETQ |s| (OM-STRINGPTRTOSTRING |sp|)) (EXIT |s|)))) - -(DEFUN |DFLOAT;OMwrite;Omd$V;3| (|dev| |x| $) - (SEQ (SPADCALL |dev| (|shellEntry| $ 12)) - (SPADCALL |dev| |x| (|shellEntry| $ 15)) - (EXIT (SPADCALL |dev| (|shellEntry| $ 16))))) - -(DEFUN |DFLOAT;OMwrite;Omd$BV;4| (|dev| |x| |wholeObj| $) - (SEQ (COND (|wholeObj| (SPADCALL |dev| (|shellEntry| $ 12)))) - (SPADCALL |dev| |x| (|shellEntry| $ 15)) - (EXIT (COND (|wholeObj| (SPADCALL |dev| (|shellEntry| $ 16))))))) - -(DEFUN |DFLOAT;base;Pi;5| ($) (DECLARE (IGNORE $)) 2) - -(DEFUN |DFLOAT;mantissa;$I;6| (|x| $) (CAR (|DFLOAT;manexp| |x| $))) - -(DEFUN |DFLOAT;exponent;$I;7| (|x| $) (CDR (|DFLOAT;manexp| |x| $))) - -(DEFUN |DFLOAT;precision;Pi;8| ($) (DECLARE (IGNORE $)) 53) - -(DEFUN |DFLOAT;bits;Pi;9| ($) - (COND - ((EQL 2 2) 53) - ((EQL 2 16) (* 4 53)) - (T (LET ((#0=#:G1405 - (TRUNCATE - (SPADCALL 53 - (C-TO-R (LOG (FLOAT 2 |$DoubleFloatMaximum|) - 2)) - (|shellEntry| $ 32))))) - (|check-subtype| (AND (NOT (MINUSP #0#)) (PLUSP #0#)) - '(|PositiveInteger|) #0#))))) - -(DEFUN |DFLOAT;max;$;10| ($) - (DECLARE (IGNORE $)) - |$DoubleFloatMaximum|) - -(DEFUN |DFLOAT;min;$;11| ($) - (DECLARE (IGNORE $)) - |$DoubleFloatMinimum|) - -(DEFUN |DFLOAT;order;$I;12| (|a| $) - (- (+ 53 (|DFLOAT;exponent;$I;7| |a| $)) 1)) - -(DEFUN |DFLOAT;Zero;$;13| ($) (DECLARE (IGNORE $)) 0.0) - -(DEFUN |DFLOAT;One;$;14| ($) (DECLARE (IGNORE $)) 1.0) - -(DEFUN |DFLOAT;exp1;$;15| ($) - (DECLARE (IGNORE $)) - (/ (FLOAT 534625820200 |$DoubleFloatMaximum|) - (FLOAT 196677847971 |$DoubleFloatMaximum|))) - -(DEFUN |DFLOAT;pi;$;16| ($) - (DECLARE (IGNORE $)) - (COERCE PI '|%DoubleFloat|)) - -(DEFUN |DFLOAT;coerce;$Of;17| (|x| $) - (SPADCALL |x| (|shellEntry| $ 48))) - -(DEFUN |DFLOAT;convert;$If;18| (|x| $) - (SPADCALL |x| (|shellEntry| $ 51))) - -(DEFUN |DFLOAT;<;2$B;19| (|x| |y| $) (DECLARE (IGNORE $)) (< |x| |y|)) - -(DEFUN |DFLOAT;>;2$B;20| (|x| |y| $) (DECLARE (IGNORE $)) (< |y| |x|)) - -(DEFUN |DFLOAT;<=;2$B;21| (|x| |y| $) - (DECLARE (IGNORE $)) - (<= |x| |y|)) - -(DEFUN |DFLOAT;>=;2$B;22| (|x| |y| $) - (DECLARE (IGNORE $)) - (>= |x| |y|)) - -(DEFUN |DFLOAT;-;2$;23| (|x| $) (DECLARE (IGNORE $)) (- |x|)) - -(DEFUN |DFLOAT;+;3$;24| (|x| |y| $) (DECLARE (IGNORE $)) (+ |x| |y|)) - -(DEFUN |DFLOAT;-;3$;25| (|x| |y| $) (DECLARE (IGNORE $)) (- |x| |y|)) - -(DEFUN |DFLOAT;*;3$;26| (|x| |y| $) (DECLARE (IGNORE $)) (* |x| |y|)) - -(DEFUN |DFLOAT;*;I2$;27| (|i| |x| $) (DECLARE (IGNORE $)) (* |i| |x|)) - -(DEFUN |DFLOAT;max;3$;28| (|x| |y| $) - (DECLARE (IGNORE $)) - (MAX |x| |y|)) - -(DEFUN |DFLOAT;min;3$;29| (|x| |y| $) - (DECLARE (IGNORE $)) - (MIN |x| |y|)) - -(DEFUN |DFLOAT;=;2$B;30| (|x| |y| $) (DECLARE (IGNORE $)) (= |x| |y|)) - -(DEFUN |DFLOAT;/;$I$;31| (|x| |i| $) (DECLARE (IGNORE $)) (/ |x| |i|)) - -(DEFUN |DFLOAT;sqrt;2$;32| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R (SQRT |x|))) - -(DEFUN |DFLOAT;log10;2$;33| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R (LOG |x| 10))) - -(DEFUN |DFLOAT;**;$I$;34| (|x| |i| $) - (DECLARE (IGNORE $)) - (EXPT |x| |i|)) - -(DEFUN |DFLOAT;**;3$;35| (|x| |y| $) - (DECLARE (IGNORE $)) - (C-TO-R (EXPT |x| |y|))) - -(DEFUN |DFLOAT;coerce;I$;36| (|i| $) - (DECLARE (IGNORE $)) - (FLOAT |i| |$DoubleFloatMaximum|)) - -(DEFUN |DFLOAT;exp;2$;37| (|x| $) (DECLARE (IGNORE $)) (EXP |x|)) - -(DEFUN |DFLOAT;log;2$;38| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R (LOG |x|))) - -(DEFUN |DFLOAT;log2;2$;39| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R (LOG |x| 2))) - -(DEFUN |DFLOAT;sin;2$;40| (|x| $) (DECLARE (IGNORE $)) (SIN |x|)) - -(DEFUN |DFLOAT;cos;2$;41| (|x| $) (DECLARE (IGNORE $)) (COS |x|)) - -(DEFUN |DFLOAT;tan;2$;42| (|x| $) (DECLARE (IGNORE $)) (TAN |x|)) - -(DEFUN |DFLOAT;cot;2$;43| (|x| $) (DECLARE (IGNORE $)) (COT |x|)) - -(DEFUN |DFLOAT;sec;2$;44| (|x| $) - (DECLARE (IGNORE $)) - (/ 1.0 (COS |x|))) - -(DEFUN |DFLOAT;csc;2$;45| (|x| $) - (DECLARE (IGNORE $)) - (/ 1.0 (SIN |x|))) - -(DEFUN |DFLOAT;asin;2$;46| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R (ASIN |x|))) - -(DEFUN |DFLOAT;acos;2$;47| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R (ACOS |x|))) - -(DEFUN |DFLOAT;atan;2$;48| (|x| $) (DECLARE (IGNORE $)) (ATAN |x|)) - -(DEFUN |DFLOAT;acsc;2$;49| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R (ASIN (/ 1.0 |x|)))) - -(DEFUN |DFLOAT;acot;2$;50| (|x| $) (DECLARE (IGNORE $)) (ACOT |x|)) - -(DEFUN |DFLOAT;asec;2$;51| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R (ACOS (/ 1.0 |x|)))) - -(DEFUN |DFLOAT;sinh;2$;52| (|x| $) (DECLARE (IGNORE $)) (SINH |x|)) - -(DEFUN |DFLOAT;cosh;2$;53| (|x| $) (DECLARE (IGNORE $)) (COSH |x|)) - -(DEFUN |DFLOAT;tanh;2$;54| (|x| $) (DECLARE (IGNORE $)) (TANH |x|)) - -(DEFUN |DFLOAT;csch;2$;55| (|x| $) - (DECLARE (IGNORE $)) - (/ 1.0 (SINH |x|))) - -(DEFUN |DFLOAT;coth;2$;56| (|x| $) - (DECLARE (IGNORE $)) - (/ 1.0 (TANH |x|))) - -(DEFUN |DFLOAT;sech;2$;57| (|x| $) - (DECLARE (IGNORE $)) - (/ 1.0 (COSH |x|))) - -(DEFUN |DFLOAT;asinh;2$;58| (|x| $) (DECLARE (IGNORE $)) (ASINH |x|)) - -(DEFUN |DFLOAT;acosh;2$;59| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R (ACOSH |x|))) - -(DEFUN |DFLOAT;atanh;2$;60| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R (ATANH |x|))) - -(DEFUN |DFLOAT;acsch;2$;61| (|x| $) - (DECLARE (IGNORE $)) - (ASINH (/ 1.0 |x|))) - -(DEFUN |DFLOAT;acoth;2$;62| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R (ATANH (/ 1.0 |x|)))) - -(DEFUN |DFLOAT;asech;2$;63| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R (ACOSH (/ 1.0 |x|)))) - -(DEFUN |DFLOAT;/;3$;64| (|x| |y| $) (DECLARE (IGNORE $)) (/ |x| |y|)) - -(DEFUN |DFLOAT;negative?;$B;65| (|x| $) - (DECLARE (IGNORE $)) - (MINUSP |x|)) - -(DEFUN |DFLOAT;zero?;$B;66| (|x| $) (DECLARE (IGNORE $)) (ZEROP |x|)) - -(DEFUN |DFLOAT;one?;$B;67| (|x| $) (DECLARE (IGNORE $)) (= |x| 1.0)) - -(DEFUN |DFLOAT;hash;$Si;68| (|x| $) (DECLARE (IGNORE $)) (SXHASH |x|)) - -(DEFUN |DFLOAT;recip;$U;69| (|x| $) - (COND ((ZEROP |x|) (CONS 1 "failed")) (T (CONS 0 (/ 1.0 |x|))))) - -(DEFUN |DFLOAT;differentiate;2$;70| (|x| $) (DECLARE (IGNORE $)) 0.0) - -(DEFUN |DFLOAT;Gamma;2$;71| (|x| $) - (SPADCALL |x| (|shellEntry| $ 106))) - -(DEFUN |DFLOAT;Beta;3$;72| (|x| |y| $) - (SPADCALL |x| |y| (|shellEntry| $ 108))) - -(DEFUN |DFLOAT;wholePart;$I;73| (|x| $) - (DECLARE (IGNORE $)) - (TRUNCATE |x|)) - -(DEFUN |DFLOAT;float;2IPi$;74| (|ma| |ex| |b| $) - (* |ma| (EXPT (FLOAT |b| |$DoubleFloatMaximum|) |ex|))) - -(DEFUN |DFLOAT;convert;2$;75| (|x| $) (DECLARE (IGNORE $)) |x|) - -(DEFUN |DFLOAT;convert;$F;76| (|x| $) - (SPADCALL |x| (|shellEntry| $ 112))) - -(DEFUN |DFLOAT;rationalApproximation;$NniF;77| (|x| |d| $) - (|DFLOAT;rationalApproximation;$2NniF;86| |x| |d| 10 $)) - -(DEFUN |DFLOAT;atan;3$;78| (|x| |y| $) - (COND - ((ZEROP |x|) - (COND - ((PLUSP |y|) (/ (COERCE PI '|%DoubleFloat|) 2)) - ((MINUSP |y|) (- (/ (COERCE PI '|%DoubleFloat|) 2))) - (T 0.0))) - (T (LET ((|theta| (ATAN (ABS (/ |y| |x|))))) - (SEQ (COND - ((MINUSP |x|) - (SETQ |theta| (- (COERCE PI '|%DoubleFloat|) |theta|)))) - (COND ((MINUSP |y|) (SETQ |theta| (- |theta|)))) - (EXIT |theta|)))))) - -(DEFUN |DFLOAT;retract;$F;79| (|x| $) - (|DFLOAT;rationalApproximation;$2NniF;86| |x| - (LET ((#0=#:G1488 (- 53 1))) - (|check-subtype| (NOT (MINUSP #0#)) '(|NonNegativeInteger|) - #0#)) - 2 $)) - -(DEFUN |DFLOAT;retractIfCan;$U;80| (|x| $) - (CONS 0 - (|DFLOAT;rationalApproximation;$2NniF;86| |x| - (LET ((#0=#:G1496 (- 53 1))) - (|check-subtype| (NOT (MINUSP #0#)) - '(|NonNegativeInteger|) #0#)) - 2 $))) - -(DEFUN |DFLOAT;retract;$I;81| (|x| $) - (PROG (|n|) - (RETURN - (COND - ((= |x| - (FLOAT (LETT |n| (TRUNCATE |x|) |DFLOAT;retract;$I;81|) - |$DoubleFloatMaximum|)) - |n|) - (T (|error| "Not an integer")))))) - -(DEFUN |DFLOAT;retractIfCan;$U;82| (|x| $) - (PROG (|n|) - (RETURN - (COND - ((= |x| - (FLOAT (LETT |n| (TRUNCATE |x|) - |DFLOAT;retractIfCan;$U;82|) - |$DoubleFloatMaximum|)) - (CONS 0 |n|)) - (T (CONS 1 "failed")))))) - -(DEFUN |DFLOAT;sign;$I;83| (|x| $) - (|DFLOAT;retract;$I;81| (FLOAT-SIGN |x| 1.0) $)) - -(DEFUN |DFLOAT;abs;2$;84| (|x| $) (DECLARE (IGNORE $)) (ABS |x|)) - -(DEFUN |DFLOAT;manexp| (|x| $) - (PROG (|me| |two53|) - (RETURN - (COND - ((ZEROP |x|) (CONS 0 0)) - (T (LET ((|s| (|DFLOAT;sign;$I;83| |x| $))) - (SEQ (SETQ |x| (ABS |x|)) - (COND - ((< |$DoubleFloatMaximum| |x|) - (RETURN-FROM |DFLOAT;manexp| - (CONS (+ (* |s| - (|DFLOAT;mantissa;$I;6| - |$DoubleFloatMaximum| $)) - 1) - (|DFLOAT;exponent;$I;7| - |$DoubleFloatMaximum| $))))) - (LETT |me| (MANEXP |x|) |DFLOAT;manexp|) - (LETT |two53| (EXPT 2 53) |DFLOAT;manexp|) - (EXIT (CONS (* |s| (TRUNCATE (* |two53| (CAR |me|)))) - (- (CDR |me|) 53)))))))))) - -(DEFUN |DFLOAT;rationalApproximation;$2NniF;86| (|f| |d| |b| $) - (PROG (BASE |de| |tol| |s| |t| |p0| |p1| |q0| |q1| |#G106| |q| |r| - |p2| |q2| |#G107| |#G108| |#G109| |#G110| |#G111| - |#G112|) - (RETURN - (LET* ((|#G105| (|DFLOAT;manexp| |f| $)) (|nu| (CAR |#G105|)) - (|ex| (CDR |#G105|))) - (SEQ |#G105| - (LETT BASE 2 |DFLOAT;rationalApproximation;$2NniF;86|) - (EXIT (COND - ((NOT (MINUSP |ex|)) - (SPADCALL - (* |nu| - (EXPT BASE - (|check-subtype| (NOT (MINUSP |ex|)) - '(|NonNegativeInteger|) |ex|))) - (|shellEntry| $ 134))) - (T (SEQ (LETT |de| - (EXPT BASE - (LET ((#0=#:G1525 (- |ex|))) - (|check-subtype| - (NOT (MINUSP #0#)) - '(|NonNegativeInteger|) #0#))) - |DFLOAT;rationalApproximation;$2NniF;86|) - (EXIT (COND - ((< |b| 2) - (|error| "base must be > 1")) - (T - (SEQ - (LETT |tol| (EXPT |b| |d|) - |DFLOAT;rationalApproximation;$2NniF;86|) - (LETT |s| |nu| - |DFLOAT;rationalApproximation;$2NniF;86|) - (LETT |t| |de| - |DFLOAT;rationalApproximation;$2NniF;86|) - (LETT |p0| 0 - |DFLOAT;rationalApproximation;$2NniF;86|) - (LETT |p1| 1 - |DFLOAT;rationalApproximation;$2NniF;86|) - (LETT |q0| 1 - |DFLOAT;rationalApproximation;$2NniF;86|) - (LETT |q1| 0 - |DFLOAT;rationalApproximation;$2NniF;86|) - (EXIT - (LOOP - (COND - (NIL (RETURN NIL)) - (T - (SEQ - (LETT |#G106| - (MULTIPLE-VALUE-CALL - #'CONS - (TRUNCATE |s| |t|)) - |DFLOAT;rationalApproximation;$2NniF;86|) - (LETT |q| (CAR |#G106|) - |DFLOAT;rationalApproximation;$2NniF;86|) - (LETT |r| (CDR |#G106|) - |DFLOAT;rationalApproximation;$2NniF;86|) - |#G106| - (LETT |p2| - (+ (* |q| |p1|) |p0|) - |DFLOAT;rationalApproximation;$2NniF;86|) - (LETT |q2| - (+ (* |q| |q1|) |q0|) - |DFLOAT;rationalApproximation;$2NniF;86|) - (EXIT - (COND - ((OR (ZEROP |r|) - (< - (SPADCALL |tol| - (ABS - (- (* |nu| |q2|) - (* |de| |p2|))) - (|shellEntry| $ - 143)) - (* |de| (ABS |p2|)))) - (RETURN-FROM - |DFLOAT;rationalApproximation;$2NniF;86| - (SPADCALL |p2| |q2| - (|shellEntry| $ - 141)))) - (T - (SEQ - (LETT |#G107| |p1| - |DFLOAT;rationalApproximation;$2NniF;86|) - (LETT |#G108| |p2| - |DFLOAT;rationalApproximation;$2NniF;86|) - (SETQ |p0| |#G107|) - (SETQ |p1| |#G108|) - (LETT |#G109| |q1| - |DFLOAT;rationalApproximation;$2NniF;86|) - (LETT |#G110| |q2| - |DFLOAT;rationalApproximation;$2NniF;86|) - (SETQ |q0| |#G109|) - (SETQ |q1| |#G110|) - (EXIT - (PROGN - (LETT |#G111| |t| - |DFLOAT;rationalApproximation;$2NniF;86|) - (LETT |#G112| |r| - |DFLOAT;rationalApproximation;$2NniF;86|) - (SETQ |s| - |#G111|) - (SETQ |t| - |#G112|))))))))))))))))))))))))) - -(DEFUN |DFLOAT;**;$F$;87| (|x| |r| $) - (COND - ((ZEROP |x|) - (COND - ((SPADCALL |r| (|shellEntry| $ 145)) - (|error| "0**0 is undefined")) - ((SPADCALL |r| (|shellEntry| $ 146)) (|error| "division by 0")) - (T 0.0))) - ((OR (SPADCALL |r| (|shellEntry| $ 145)) (= |x| 1.0)) 1.0) - ((SPADCALL |r| (|shellEntry| $ 147)) |x|) - (T (LET ((|n| (SPADCALL |r| (|shellEntry| $ 148))) - (|d| (SPADCALL |r| (|shellEntry| $ 149)))) - (COND - ((MINUSP |x|) - (COND - ((ODDP |d|) - (COND - ((ODDP |n|) - (RETURN-FROM |DFLOAT;**;$F$;87| - (- (|DFLOAT;**;$F$;87| (- |x|) |r| $)))) - (T (RETURN-FROM |DFLOAT;**;$F$;87| - (|DFLOAT;**;$F$;87| (- |x|) |r| $))))) - (T (|error| "negative root")))) - ((EQL |d| 2) (EXPT (C-TO-R (SQRT |x|)) |n|)) - (T (C-TO-R (EXPT |x| - (/ (FLOAT |n| |$DoubleFloatMaximum|) - (FLOAT |d| |$DoubleFloatMaximum|)))))))))) - -(DEFUN |DoubleFloat| () - (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((#0=#:G1556 (HGET |$ConstructorCache| '|DoubleFloat|))) - (COND - (#0# (|CDRwithIncrement| (CDAR #0#))) - (T (UNWIND-PROTECT - (PROG1 (CDDAR (HPUT |$ConstructorCache| '|DoubleFloat| - (LIST (CONS NIL - (CONS 1 (|DoubleFloat;|)))))) - (SETQ #0# T)) - (COND - ((NOT #0#) (HREM |$ConstructorCache| '|DoubleFloat|)))))))) - -(DEFUN |DoubleFloat;| () - (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((|dv$| '(|DoubleFloat|)) ($ (|newShell| 164)) - (|pv$| (|buildPredVector| 0 0 NIL))) - (SETF (|shellEntry| $ 0) |dv$|) - (SETF (|shellEntry| $ 3) |pv$|) - (|haddProp| |$ConstructorCache| '|DoubleFloat| NIL (CONS 1 $)) - (|stuffDomainSlots| $) - $)) - -(MAKEPROP '|DoubleFloat| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL NIL (|OpenMathEncoding|) - (0 . |OMencodingXML|) (|String|) (|OpenMathDevice|) - (4 . |OMopenString|) (|Void|) (10 . |OMputObject|) - (|DoubleFloat|) |DFLOAT;convert;2$;75| (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| - (|PositiveInteger|) |DFLOAT;base;Pi;5| (|Integer|) - |DFLOAT;mantissa;$I;6| |DFLOAT;exponent;$I;7| - |DFLOAT;precision;Pi;8| (31 . =) (37 . *) - |DFLOAT;log2;2$;39| (43 . *) |DFLOAT;wholePart;$I;73| - |DFLOAT;bits;Pi;9| |DFLOAT;max;$;10| |DFLOAT;min;$;11| - (49 . +) (55 . |One|) (59 . -) |DFLOAT;order;$I;12| - (65 . |Zero|) - (CONS IDENTITY - (FUNCALL (|dispatchFunction| |DFLOAT;Zero;$;13|) $)) - (CONS IDENTITY - (FUNCALL (|dispatchFunction| |DFLOAT;One;$;14|) $)) - |DFLOAT;/;3$;64| |DFLOAT;exp1;$;15| |DFLOAT;pi;$;16| - (|OutputForm|) (69 . |outputForm|) |DFLOAT;coerce;$Of;17| - (|InputForm|) (74 . |convert|) |DFLOAT;convert;$If;18| - |DFLOAT;<;2$B;19| |DFLOAT;>;2$B;20| |DFLOAT;<=;2$B;21| - |DFLOAT;>=;2$B;22| |DFLOAT;-;2$;23| |DFLOAT;+;3$;24| - |DFLOAT;-;3$;25| |DFLOAT;*;3$;26| |DFLOAT;*;I2$;27| - |DFLOAT;max;3$;28| |DFLOAT;min;3$;29| |DFLOAT;=;2$B;30| - |DFLOAT;/;$I$;31| |DFLOAT;sqrt;2$;32| |DFLOAT;log10;2$;33| - |DFLOAT;**;$I$;34| |DFLOAT;**;3$;35| (79 . |coerce|) - |DFLOAT;exp;2$;37| |DFLOAT;log;2$;38| |DFLOAT;sin;2$;40| - |DFLOAT;cos;2$;41| |DFLOAT;tan;2$;42| |DFLOAT;cot;2$;43| - |DFLOAT;sec;2$;44| |DFLOAT;csc;2$;45| |DFLOAT;asin;2$;46| - |DFLOAT;acos;2$;47| |DFLOAT;atan;2$;48| - |DFLOAT;acsc;2$;49| |DFLOAT;acot;2$;50| - |DFLOAT;asec;2$;51| |DFLOAT;sinh;2$;52| - |DFLOAT;cosh;2$;53| |DFLOAT;tanh;2$;54| - |DFLOAT;csch;2$;55| |DFLOAT;coth;2$;56| - |DFLOAT;sech;2$;57| |DFLOAT;asinh;2$;58| - |DFLOAT;acosh;2$;59| |DFLOAT;atanh;2$;60| - |DFLOAT;acsch;2$;61| |DFLOAT;acoth;2$;62| - |DFLOAT;asech;2$;63| |DFLOAT;negative?;$B;65| - |DFLOAT;zero?;$B;66| |DFLOAT;one?;$B;67| (|SingleInteger|) - |DFLOAT;hash;$Si;68| (|Union| $ '"failed") - |DFLOAT;recip;$U;69| |DFLOAT;differentiate;2$;70| - (|DoubleFloatSpecialFunctions|) (84 . |Gamma|) - |DFLOAT;Gamma;2$;71| (89 . |Beta|) |DFLOAT;Beta;3$;72| - |DFLOAT;float;2IPi$;74| (|Float|) (95 . |convert|) - |DFLOAT;convert;$F;76| (|Fraction| 25) - (|NonNegativeInteger|) - |DFLOAT;rationalApproximation;$2NniF;86| - |DFLOAT;rationalApproximation;$NniF;77| |DFLOAT;abs;2$;84| - |DFLOAT;atan;3$;78| (100 . |One|) |DFLOAT;retract;$F;79| - (|Union| 114 '"failed") |DFLOAT;retractIfCan;$U;80| - |DFLOAT;retract;$I;81| (|Union| 25 '"failed") - |DFLOAT;retractIfCan;$U;82| |DFLOAT;sign;$I;83| (104 . *) - (110 . **) (116 . |Zero|) (120 . |Zero|) (124 . >=) - (130 . **) (136 . |coerce|) (141 . -) (146 . <) (152 . **) - (|Record| (|:| |quotient| $) (|:| |remainder| $)) - (158 . |divide|) (164 . =) (170 . /) (176 . |abs|) - (181 . *) (187 . <) (193 . |zero?|) (198 . |negative?|) - (203 . |one?|) (208 . |numer|) (213 . |denom|) - (218 . |odd?|) |DFLOAT;**;$F$;87| |DFLOAT;coerce;I$;36| - (|PatternMatchResult| 111 $) (|Pattern| 111) - (|Factored| $) (|List| $) (|Union| 156 '"failed") - (|Record| (|:| |coef1| $) (|:| |coef2| $) - (|:| |generator| $)) - (|Record| (|:| |coef1| $) (|:| |coef2| $)) - (|Union| 159 '"failed") - (|Record| (|:| |coef| 156) (|:| |generator| $)) - (|SparseUnivariatePolynomial| $) - (|Record| (|:| |unit| $) (|:| |canonical| $) - (|:| |associate| $))) - '#(~= 223 |zero?| 229 |wholePart| 234 |unitNormal| 239 - |unitCanonical| 244 |unit?| 249 |truncate| 254 |tanh| 259 - |tan| 264 |subtractIfCan| 269 |squareFreePart| 275 - |squareFree| 280 |sqrt| 285 |sizeLess?| 290 |sinh| 296 - |sin| 301 |sign| 306 |sech| 311 |sec| 316 |sample| 321 - |round| 325 |retractIfCan| 330 |retract| 340 |rem| 350 - |recip| 356 |rationalApproximation| 361 |quo| 374 - |principalIdeal| 380 |prime?| 385 |precision| 390 - |positive?| 394 |pi| 399 |patternMatch| 403 |order| 410 - |one?| 415 |nthRoot| 420 |norm| 426 |negative?| 431 - |multiEuclidean| 436 |min| 442 |max| 452 |mantissa| 462 - |log2| 467 |log10| 472 |log| 477 |lcm| 482 |latex| 493 - |inv| 498 |hash| 503 |gcdPolynomial| 508 |gcd| 514 - |fractionPart| 525 |floor| 530 |float| 535 |factor| 548 - |extendedEuclidean| 553 |exquo| 566 |expressIdealMember| - 572 |exponent| 578 |exp1| 583 |exp| 587 |euclideanSize| - 592 |divide| 597 |digits| 603 |differentiate| 607 |csch| - 618 |csc| 623 |coth| 628 |cot| 633 |cosh| 638 |cos| 643 - |convert| 648 |coerce| 668 |characteristic| 698 |ceiling| - 702 |bits| 707 |before?| 711 |base| 717 |atanh| 721 |atan| - 726 |associates?| 737 |asinh| 743 |asin| 748 |asech| 753 - |asec| 758 |acsch| 763 |acsc| 768 |acoth| 773 |acot| 778 - |acosh| 783 |acos| 788 |abs| 793 |Zero| 798 |One| 802 - |OMwrite| 806 |Gamma| 830 D 835 |Beta| 846 >= 852 > 858 = - 864 <= 870 < 876 / 882 - 894 + 905 ** 911 * 941) - '((|approximate| . 0) (|canonicalsClosed| . 0) - (|canonicalUnitNormal| . 0) (|noZeroDivisors| . 0) - ((|commutative| "*") . 0) (|rightUnitary| . 0) - (|leftUnitary| . 0) (|unitsKnown| . 0)) - (CONS (|makeByteWordVec2| 1 - '(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 - 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 - 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)) - (CONS '#(|FloatingPointSystem&| |RealNumberSystem&| - |Field&| |EuclideanDomain&| NIL - |UniqueFactorizationDomain&| |GcdDomain&| - |DivisionRing&| |IntegralDomain&| |Algebra&| - |Algebra&| NIL NIL |OrderedRing&| |Module&| - NIL NIL |Module&| NIL NIL |Ring&| NIL NIL NIL - NIL NIL NIL NIL |AbelianGroup&| NIL NIL NIL - NIL NIL |AbelianMonoid&| |Monoid&| NIL NIL NIL - NIL NIL NIL |AbelianSemiGroup&| |SemiGroup&| - NIL |DifferentialSpace&| |OrderedType&| - |SetCategory&| - |TranscendentalFunctionCategory&| - |DifferentialDomain&| |RetractableTo&| - |RetractableTo&| NIL |BasicType&| NIL - |ElementaryFunctionCategory&| NIL - |HyperbolicFunctionCategory&| - |ArcTrigonometricFunctionCategory&| - |TrigonometricFunctionCategory&| NIL NIL - |RadicalCategory&| NIL NIL NIL NIL NIL NIL - NIL) - (CONS '#((|FloatingPointSystem|) - (|RealNumberSystem|) (|Field|) - (|EuclideanDomain|) - (|PrincipalIdealDomain|) - (|UniqueFactorizationDomain|) - (|GcdDomain|) (|DivisionRing|) - (|IntegralDomain|) (|Algebra| 114) - (|Algebra| $$) (|DifferentialRing|) - (|CharacteristicZero|) (|OrderedRing|) - (|Module| 114) (|EntireRing|) - (|CommutativeRing|) (|Module| $$) - (|BiModule| 114 114) (|BiModule| $$ $$) - (|Ring|) (|OrderedAbelianGroup|) - (|RightModule| 114) (|LeftModule| 114) - (|LeftModule| $$) (|Rng|) - (|RightModule| $$) - (|OrderedCancellationAbelianMonoid|) - (|AbelianGroup|) - (|OrderedAbelianMonoid|) - (|CancellationAbelianMonoid|) - (|OrderedAbelianSemiGroup|) - (|LinearSet| 114) (|LinearSet| $$) - (|AbelianMonoid|) (|Monoid|) - (|PatternMatchable| 111) (|OrderedSet|) - (|LeftLinearSet| 114) - (|RightLinearSet| 114) - (|LeftLinearSet| $$) - (|RightLinearSet| $$) - (|AbelianSemiGroup|) (|SemiGroup|) - (|LeftLinearSet| 25) - (|DifferentialSpace|) (|OrderedType|) - (|SetCategory|) - (|TranscendentalFunctionCategory|) - (|DifferentialDomain| $$) - (|RetractableTo| 114) - (|RetractableTo| 25) (|RealConstant|) - (|BasicType|) (|ConvertibleTo| 50) - (|ElementaryFunctionCategory|) - (|ArcHyperbolicFunctionCategory|) - (|HyperbolicFunctionCategory|) - (|ArcTrigonometricFunctionCategory|) - (|TrigonometricFunctionCategory|) - (|OpenMath|) (|ConvertibleTo| 154) - (|RadicalCategory|) - (|ConvertibleTo| 111) - (|ConvertibleTo| 13) - (|CoercibleFrom| 114) - (|CoercibleFrom| $$) - (|CoercibleFrom| 25) (|Type|) - (|CoercibleTo| 47)) - (|makeByteWordVec2| 163 - '(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 2 - 23 19 0 0 29 2 23 0 23 0 30 2 0 0 23 - 0 32 2 25 0 0 0 37 0 25 0 38 2 25 0 0 - 0 39 0 25 0 41 1 47 0 13 48 1 50 0 13 - 51 1 0 0 25 70 1 105 13 13 106 2 105 - 13 13 13 108 1 111 0 13 112 0 23 0 - 120 2 25 0 25 0 128 2 25 0 0 115 129 - 0 114 0 130 0 115 0 131 2 25 19 0 0 - 132 2 23 0 0 115 133 1 114 0 25 134 1 - 25 0 0 135 2 115 19 0 0 136 2 115 0 0 - 115 137 2 25 138 0 0 139 2 25 19 0 0 - 140 2 114 0 25 25 141 1 25 0 0 142 2 - 25 0 115 0 143 2 25 19 0 0 144 1 114 - 19 0 145 1 114 19 0 146 1 114 19 0 - 147 1 114 25 0 148 1 114 25 0 149 1 - 25 19 0 150 2 0 19 0 0 1 1 0 19 0 98 - 1 0 25 0 33 1 0 163 0 1 1 0 0 0 1 1 0 - 19 0 1 1 0 0 0 1 1 0 0 0 87 1 0 0 0 - 75 2 0 102 0 0 1 1 0 0 0 1 1 0 155 0 - 1 1 0 0 0 66 2 0 19 0 0 1 1 0 0 0 85 - 1 0 0 0 73 1 0 25 0 127 1 0 0 0 90 1 - 0 0 0 77 0 0 0 1 1 0 0 0 1 1 0 122 0 - 123 1 0 125 0 126 1 0 114 0 121 1 0 - 25 0 124 2 0 0 0 0 1 1 0 102 0 103 2 - 0 114 0 115 117 3 0 114 0 115 115 116 - 2 0 0 0 0 1 1 0 161 156 1 1 0 19 0 1 - 0 0 23 28 1 0 19 0 1 0 0 0 46 3 0 153 - 0 154 153 1 1 0 25 0 40 1 0 19 0 99 2 - 0 0 0 25 1 1 0 0 0 1 1 0 19 0 97 2 0 - 157 156 0 1 0 0 0 36 2 0 0 0 0 63 0 0 - 0 35 2 0 0 0 0 62 1 0 25 0 26 1 0 0 0 - 31 1 0 0 0 67 1 0 0 0 72 1 0 0 156 1 - 2 0 0 0 0 1 1 0 8 0 1 1 0 0 0 1 1 0 - 100 0 101 2 0 162 162 162 1 1 0 0 156 - 1 2 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 3 0 - 0 25 25 23 110 2 0 0 25 25 1 1 0 155 - 0 1 2 0 158 0 0 1 3 0 160 0 0 0 1 2 0 - 102 0 0 1 2 0 157 156 0 1 1 0 25 0 27 - 0 0 0 45 1 0 0 0 71 1 0 115 0 1 2 0 - 138 0 0 1 0 0 23 1 2 0 0 0 115 1 1 0 - 0 0 104 1 0 0 0 88 1 0 0 0 78 1 0 0 0 - 89 1 0 0 0 76 1 0 0 0 86 1 0 0 0 74 1 - 0 50 0 52 1 0 154 0 1 1 0 111 0 113 1 - 0 13 0 14 1 0 0 114 1 1 0 0 25 152 1 - 0 0 114 1 1 0 0 0 1 1 0 0 25 152 1 0 - 47 0 49 0 0 115 1 1 0 0 0 1 0 0 23 34 - 2 0 19 0 0 1 0 0 23 24 1 0 0 0 93 2 0 - 0 0 0 119 1 0 0 0 81 2 0 19 0 0 1 1 0 - 0 0 91 1 0 0 0 79 1 0 0 0 96 1 0 0 0 - 84 1 0 0 0 94 1 0 0 0 82 1 0 0 0 95 1 - 0 0 0 83 1 0 0 0 92 1 0 0 0 80 1 0 0 - 0 118 0 0 0 42 0 0 0 43 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 107 2 0 0 0 115 1 1 0 0 - 0 1 2 0 0 0 0 109 2 0 19 0 0 56 2 0 - 19 0 0 54 2 0 19 0 0 64 2 0 19 0 0 55 - 2 0 19 0 0 53 2 0 0 0 25 65 2 0 0 0 0 - 44 2 0 0 0 0 59 1 0 0 0 57 2 0 0 0 0 - 58 2 0 0 0 0 69 2 0 0 0 114 151 2 0 0 - 0 25 68 2 0 0 0 115 1 2 0 0 0 23 1 2 - 0 0 114 0 1 2 0 0 0 114 1 2 0 0 0 0 - 60 2 0 0 25 0 61 2 0 0 115 0 1 2 0 0 - 23 0 32))))) - '|lookupComplete|)) - -(MAKEPROP '|DoubleFloat| 'NILADIC T) |