aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/DFLOAT.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/DFLOAT.lsp')
-rw-r--r--src/algebra/strap/DFLOAT.lsp1161
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)
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 18:32:51 +0000