From e007c1c9b02538f76a17eb630f5b6db8ef131c6d Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 5 Feb 2011 16:12:41 +0000 Subject: * interp/g-opt.boot ($VMsideEffectFreeOperators): Include inverse hyperbolic functions. * interp/lisp-backend.boot: Expand them. * algebra/sf.spad.pamphlet: Use them. --- src/algebra/strap/DFLOAT.lsp | 720 +++++++++++++++++++++++-------------------- 1 file changed, 381 insertions(+), 339 deletions(-) (limited to 'src/algebra/strap') diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp index 3f9d2dcb..21ed3bb1 100644 --- a/src/algebra/strap/DFLOAT.lsp +++ b/src/algebra/strap/DFLOAT.lsp @@ -15,356 +15,377 @@ |%Void|) |DFLOAT;OMwrite;Omd$BV;4|)) -(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;checkComplex|)) - -(PUT '|DFLOAT;checkComplex| '|SPADreplace| 'C-TO-R) - (DECLAIM (FTYPE (FUNCTION (|%Shell|) (|%IntegerSection| 1)) - |DFLOAT;base;Pi;6|)) + |DFLOAT;base;Pi;5|)) -(PUT '|DFLOAT;base;Pi;6| '|SPADreplace| '|%fbase|) +(PUT '|DFLOAT;base;Pi;5| '|SPADreplace| '|%fbase|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|) - |DFLOAT;mantissa;$I;7|)) + |DFLOAT;mantissa;$I;6|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|) - |DFLOAT;exponent;$I;8|)) + |DFLOAT;exponent;$I;7|)) (DECLAIM (FTYPE (FUNCTION (|%Shell|) (|%IntegerSection| 1)) - |DFLOAT;precision;Pi;9|)) + |DFLOAT;precision;Pi;8|)) -(PUT '|DFLOAT;precision;Pi;9| '|SPADreplace| '|%fprec|) +(PUT '|DFLOAT;precision;Pi;8| '|SPADreplace| '|%fprec|) (DECLAIM (FTYPE (FUNCTION (|%Shell|) (|%IntegerSection| 1)) - |DFLOAT;bits;Pi;10|)) + |DFLOAT;bits;Pi;9|)) -(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;max;$;11|)) +(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;max;$;10|)) -(PUT '|DFLOAT;max;$;11| '|SPADreplace| '|%fmaxval|) +(PUT '|DFLOAT;max;$;10| '|SPADreplace| '|%fmaxval|) -(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;min;$;12|)) +(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;min;$;11|)) -(PUT '|DFLOAT;min;$;12| '|SPADreplace| '|%fminval|) +(PUT '|DFLOAT;min;$;11| '|SPADreplace| '|%fminval|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|) - |DFLOAT;order;$I;13|)) + |DFLOAT;order;$I;12|)) (DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) - |DFLOAT;Zero;$;14|)) + |DFLOAT;Zero;$;13|)) -(PUT '|DFLOAT;Zero;$;14| '|SPADreplace| '(XLAM NIL (|%i2f| 0))) +(PUT '|DFLOAT;Zero;$;13| '|SPADreplace| '(XLAM NIL (|%i2f| 0))) -(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;One;$;15|)) +(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;One;$;14|)) -(PUT '|DFLOAT;One;$;15| '|SPADreplace| '(XLAM NIL (|%i2f| 1))) +(PUT '|DFLOAT;One;$;14| '|SPADreplace| '(XLAM NIL (|%i2f| 1))) (DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) - |DFLOAT;exp1;$;16|)) + |DFLOAT;exp1;$;15|)) -(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;pi;$;17|)) +(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;pi;$;16|)) -(PUT '|DFLOAT;pi;$;17| '|SPADreplace| '|%fcstpi|) +(PUT '|DFLOAT;pi;$;16| '|SPADreplace| '|%fcstpi|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Thing|) - |DFLOAT;coerce;$Of;18|)) + |DFLOAT;coerce;$Of;17|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Thing|) - |DFLOAT;convert;$If;19|)) + |DFLOAT;convert;$If;18|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%Boolean|) - |DFLOAT;<;2$B;20|)) + |DFLOAT;<;2$B;19|)) -(PUT '|DFLOAT;<;2$B;20| '|SPADreplace| '|%flt|) +(PUT '|DFLOAT;<;2$B;19| '|SPADreplace| '|%flt|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%Boolean|) - |DFLOAT;>;2$B;21|)) + |DFLOAT;>;2$B;20|)) -(PUT '|DFLOAT;>;2$B;21| '|SPADreplace| '|%fgt|) +(PUT '|DFLOAT;>;2$B;20| '|SPADreplace| '|%fgt|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%Boolean|) - |DFLOAT;<=;2$B;22|)) + |DFLOAT;<=;2$B;21|)) -(PUT '|DFLOAT;<=;2$B;22| '|SPADreplace| '|%fle|) +(PUT '|DFLOAT;<=;2$B;21| '|SPADreplace| '|%fle|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%Boolean|) - |DFLOAT;>=;2$B;23|)) + |DFLOAT;>=;2$B;22|)) -(PUT '|DFLOAT;>=;2$B;23| '|SPADreplace| '|%fge|) +(PUT '|DFLOAT;>=;2$B;22| '|SPADreplace| '|%fge|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;-;2$;24|)) + |DFLOAT;-;2$;23|)) -(PUT '|DFLOAT;-;2$;24| '|SPADreplace| '|%fneg|) +(PUT '|DFLOAT;-;2$;23| '|SPADreplace| '|%fneg|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;+;3$;25|)) + |DFLOAT;+;3$;24|)) -(PUT '|DFLOAT;+;3$;25| '|SPADreplace| '|%fadd|) +(PUT '|DFLOAT;+;3$;24| '|SPADreplace| '|%fadd|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;-;3$;26|)) + |DFLOAT;-;3$;25|)) -(PUT '|DFLOAT;-;3$;26| '|SPADreplace| '|%fsub|) +(PUT '|DFLOAT;-;3$;25| '|SPADreplace| '|%fsub|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;*;3$;27|)) + |DFLOAT;*;3$;26|)) -(PUT '|DFLOAT;*;3$;27| '|SPADreplace| '|%fmul|) +(PUT '|DFLOAT;*;3$;26| '|SPADreplace| '|%fmul|) (DECLAIM (FTYPE (FUNCTION (|%Integer| |%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;*;I2$;28|)) + |DFLOAT;*;I2$;27|)) -(PUT '|DFLOAT;*;I2$;28| '|SPADreplace| '*) +(PUT '|DFLOAT;*;I2$;27| '|SPADreplace| '|%imulf|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;max;3$;29|)) + |DFLOAT;max;3$;28|)) -(PUT '|DFLOAT;max;3$;29| '|SPADreplace| '|%fmax|) +(PUT '|DFLOAT;max;3$;28| '|SPADreplace| '|%fmax|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;min;3$;30|)) + |DFLOAT;min;3$;29|)) -(PUT '|DFLOAT;min;3$;30| '|SPADreplace| '|%fmin|) +(PUT '|DFLOAT;min;3$;29| '|SPADreplace| '|%fmin|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%Boolean|) - |DFLOAT;=;2$B;31|)) + |DFLOAT;=;2$B;30|)) -(PUT '|DFLOAT;=;2$B;31| '|SPADreplace| '|%feq|) +(PUT '|DFLOAT;=;2$B;30| '|SPADreplace| '|%feq|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Integer| |%Shell|) |%DoubleFloat|) - |DFLOAT;/;$I$;32|)) + |DFLOAT;/;$I$;31|)) -(PUT '|DFLOAT;/;$I$;32| '|SPADreplace| '/) +(PUT '|DFLOAT;/;$I$;31| '|SPADreplace| '|%fdivi|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;sqrt;2$;33|)) + |DFLOAT;sqrt;2$;32|)) + +(PUT '|DFLOAT;sqrt;2$;32| '|SPADreplace| '|%fsqrt|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;log10;2$;34|)) + |DFLOAT;log10;2$;33|)) + +(PUT '|DFLOAT;log10;2$;33| '|SPADreplace| '|%flog10|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Integer| |%Shell|) |%DoubleFloat|) - |DFLOAT;**;$I$;35|)) + |DFLOAT;**;$I$;34|)) -(PUT '|DFLOAT;**;$I$;35| '|SPADreplace| 'EXPT) +(PUT '|DFLOAT;**;$I$;34| '|SPADreplace| '|%fpowi|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;**;3$;36|)) + |DFLOAT;**;3$;35|)) + +(PUT '|DFLOAT;**;3$;35| '|SPADreplace| '|%fpowf|) (DECLAIM (FTYPE (FUNCTION (|%Integer| |%Shell|) |%DoubleFloat|) - |DFLOAT;coerce;I$;37|)) + |DFLOAT;coerce;I$;36|)) -(PUT '|DFLOAT;coerce;I$;37| '|SPADreplace| '|%i2f|) +(PUT '|DFLOAT;coerce;I$;36| '|SPADreplace| '|%i2f|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;exp;2$;38|)) + |DFLOAT;exp;2$;37|)) -(PUT '|DFLOAT;exp;2$;38| '|SPADreplace| 'EXP) +(PUT '|DFLOAT;exp;2$;37| '|SPADreplace| '|%fexp|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;log;2$;39|)) + |DFLOAT;log;2$;38|)) + +(PUT '|DFLOAT;log;2$;38| '|SPADreplace| '|%flog|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;log2;2$;40|)) + |DFLOAT;log2;2$;39|)) + +(PUT '|DFLOAT;log2;2$;39| '|SPADreplace| '|%flog2|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;sin;2$;41|)) + |DFLOAT;sin;2$;40|)) -(PUT '|DFLOAT;sin;2$;41| '|SPADreplace| '|%fsin|) +(PUT '|DFLOAT;sin;2$;40| '|SPADreplace| '|%fsin|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;cos;2$;42|)) + |DFLOAT;cos;2$;41|)) -(PUT '|DFLOAT;cos;2$;42| '|SPADreplace| '|%fcos|) +(PUT '|DFLOAT;cos;2$;41| '|SPADreplace| '|%fcos|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;tan;2$;43|)) + |DFLOAT;tan;2$;42|)) -(PUT '|DFLOAT;tan;2$;43| '|SPADreplace| '|%ftan|) +(PUT '|DFLOAT;tan;2$;42| '|SPADreplace| '|%ftan|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;cot;2$;44|)) + |DFLOAT;cot;2$;43|)) -(PUT '|DFLOAT;cot;2$;44| '|SPADreplace| '|%fcot|) +(PUT '|DFLOAT;cot;2$;43| '|SPADreplace| '|%fcot|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;sec;2$;45|)) + |DFLOAT;sec;2$;44|)) -(PUT '|DFLOAT;sec;2$;45| '|SPADreplace| '|%fsec|) +(PUT '|DFLOAT;sec;2$;44| '|SPADreplace| '|%fsec|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;csc;2$;46|)) + |DFLOAT;csc;2$;45|)) -(PUT '|DFLOAT;csc;2$;46| '|SPADreplace| '|%fcsc|) +(PUT '|DFLOAT;csc;2$;45| '|SPADreplace| '|%fcsc|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;asin;2$;47|)) + |DFLOAT;asin;2$;46|)) + +(PUT '|DFLOAT;asin;2$;46| '|SPADreplace| '|%fasin|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;acos;2$;48|)) + |DFLOAT;acos;2$;47|)) + +(PUT '|DFLOAT;acos;2$;47| '|SPADreplace| '|%facos|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;atan;2$;49|)) + |DFLOAT;atan;2$;48|)) -(PUT '|DFLOAT;atan;2$;49| '|SPADreplace| '|%fatan|) +(PUT '|DFLOAT;atan;2$;48| '|SPADreplace| '|%fatan|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;acsc;2$;50|)) + |DFLOAT;acsc;2$;49|)) + +(PUT '|DFLOAT;acsc;2$;49| '|SPADreplace| '|%facsc|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;acot;2$;51|)) + |DFLOAT;acot;2$;50|)) -(PUT '|DFLOAT;acot;2$;51| '|SPADreplace| '|%facot|) +(PUT '|DFLOAT;acot;2$;50| '|SPADreplace| '|%facot|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;asec;2$;52|)) + |DFLOAT;asec;2$;51|)) + +(PUT '|DFLOAT;asec;2$;51| '|SPADreplace| '|%fasec|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;sinh;2$;53|)) + |DFLOAT;sinh;2$;52|)) -(PUT '|DFLOAT;sinh;2$;53| '|SPADreplace| '|%fsinh|) +(PUT '|DFLOAT;sinh;2$;52| '|SPADreplace| '|%fsinh|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;cosh;2$;54|)) + |DFLOAT;cosh;2$;53|)) -(PUT '|DFLOAT;cosh;2$;54| '|SPADreplace| '|%fcosh|) +(PUT '|DFLOAT;cosh;2$;53| '|SPADreplace| '|%fcosh|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;tanh;2$;55|)) + |DFLOAT;tanh;2$;54|)) -(PUT '|DFLOAT;tanh;2$;55| '|SPADreplace| '|%ftanh|) +(PUT '|DFLOAT;tanh;2$;54| '|SPADreplace| '|%ftanh|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;csch;2$;56|)) + |DFLOAT;csch;2$;55|)) -(PUT '|DFLOAT;csch;2$;56| '|SPADreplace| '|%fcsch|) +(PUT '|DFLOAT;csch;2$;55| '|SPADreplace| '|%fcsch|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;coth;2$;57|)) + |DFLOAT;coth;2$;56|)) -(PUT '|DFLOAT;coth;2$;57| '|SPADreplace| '|%fcoth|) +(PUT '|DFLOAT;coth;2$;56| '|SPADreplace| '|%fcoth|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;sech;2$;58|)) + |DFLOAT;sech;2$;57|)) -(PUT '|DFLOAT;sech;2$;58| '|SPADreplace| '|%fsech|) +(PUT '|DFLOAT;sech;2$;57| '|SPADreplace| '|%fsech|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;asinh;2$;59|)) + |DFLOAT;asinh;2$;58|)) -(PUT '|DFLOAT;asinh;2$;59| '|SPADreplace| '|%fasinh|) +(PUT '|DFLOAT;asinh;2$;58| '|SPADreplace| '|%fasinh|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;acosh;2$;60|)) + |DFLOAT;acosh;2$;59|)) + +(PUT '|DFLOAT;acosh;2$;59| '|SPADreplace| '|%facosh|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;atanh;2$;61|)) + |DFLOAT;atanh;2$;60|)) + +(PUT '|DFLOAT;atanh;2$;60| '|SPADreplace| '|%fatanh|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;acsch;2$;62|)) + |DFLOAT;acsch;2$;61|)) -(PUT '|DFLOAT;acsch;2$;62| '|SPADreplace| '|%facsch|) +(PUT '|DFLOAT;acsch;2$;61| '|SPADreplace| '|%facsch|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;acoth;2$;63|)) + |DFLOAT;acoth;2$;62|)) + +(PUT '|DFLOAT;acoth;2$;62| '|SPADreplace| '|%facoth|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;asech;2$;64|)) + |DFLOAT;asech;2$;63|)) + +(PUT '|DFLOAT;asech;2$;63| '|SPADreplace| '|%fasech|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;/;3$;65|)) + |DFLOAT;/;3$;64|)) -(PUT '|DFLOAT;/;3$;65| '|SPADreplace| '|%fdiv|) +(PUT '|DFLOAT;/;3$;64| '|SPADreplace| '|%fdiv|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Boolean|) - |DFLOAT;negative?;$B;66|)) + |DFLOAT;negative?;$B;65|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Boolean|) - |DFLOAT;zero?;$B;67|)) + |DFLOAT;zero?;$B;66|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Boolean|) - |DFLOAT;one?;$B;68|)) + |DFLOAT;one?;$B;67|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Short|) - |DFLOAT;hash;$Si;69|)) + |DFLOAT;hash;$Si;68|)) -(PUT '|DFLOAT;hash;$Si;69| '|SPADreplace| '|%hash|) +(PUT '|DFLOAT;hash;$Si;68| '|SPADreplace| '|%hash|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Pair|) - |DFLOAT;recip;$U;70|)) + |DFLOAT;recip;$U;69|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;differentiate;2$;71|)) + |DFLOAT;differentiate;2$;70|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;Gamma;2$;72|)) + |DFLOAT;Gamma;2$;71|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;Beta;3$;73|)) + |DFLOAT;Beta;3$;72|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|) - |DFLOAT;wholePart;$I;74|)) + |DFLOAT;wholePart;$I;73|)) -(PUT '|DFLOAT;wholePart;$I;74| '|SPADreplace| '|%ftrunc|) +(PUT '|DFLOAT;wholePart;$I;73| '|SPADreplace| '|%ftrunc|) (DECLAIM (FTYPE (FUNCTION (|%Integer| |%Integer| (|%IntegerSection| 1) |%Shell|) |%DoubleFloat|) - |DFLOAT;float;2IPi$;75|)) + |DFLOAT;float;2IPi$;74|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;convert;2$;76|)) + |DFLOAT;convert;2$;75|)) -(PUT '|DFLOAT;convert;2$;76| '|SPADreplace| '(XLAM (|x|) |x|)) +(PUT '|DFLOAT;convert;2$;75| '|SPADreplace| '(XLAM (|x|) |x|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Thing|) - |DFLOAT;convert;$F;77|)) + |DFLOAT;convert;$F;76|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| (|%IntegerSection| 0) |%Shell|) |%Thing|) - |DFLOAT;rationalApproximation;$NniF;78|)) + |DFLOAT;rationalApproximation;$NniF;77|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;atan;3$;79|)) + |DFLOAT;atan;3$;78|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Thing|) - |DFLOAT;retract;$F;80|)) + |DFLOAT;retract;$F;79|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Pair|) - |DFLOAT;retractIfCan;$U;81|)) + |DFLOAT;retractIfCan;$U;80|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|) - |DFLOAT;retract;$I;82|)) + |DFLOAT;retract;$I;81|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Pair|) - |DFLOAT;retractIfCan;$U;83|)) + |DFLOAT;retractIfCan;$U;82|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Integer|) - |DFLOAT;sign;$I;84|)) + |DFLOAT;sign;$I;83|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|) - |DFLOAT;abs;2$;85|)) + |DFLOAT;abs;2$;84|)) -(PUT '|DFLOAT;abs;2$;85| '|SPADreplace| '|%fabs|) +(PUT '|DFLOAT;abs;2$;84| '|SPADreplace| '|%fabs|) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Pair|) |DFLOAT;manexp|)) @@ -373,25 +394,25 @@ (|%DoubleFloat| (|%IntegerSection| 0) (|%IntegerSection| 0) |%Shell|) |%Thing|) - |DFLOAT;rationalApproximation;$2NniF;87|)) + |DFLOAT;rationalApproximation;$2NniF;86|)) (DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Thing| |%Shell|) |%DoubleFloat|) - |DFLOAT;**;$F$;88|)) + |DFLOAT;**;$F$;87|)) -(PUT '|DFLOAT;exp1;$;16| '|SPADreplace| +(PUT '|DFLOAT;exp1;$;15| '|SPADreplace| '(XLAM NIL (|%fdiv| (|%i2f| 534625820200) (|%i2f| 196677847971)))) -(PUT '|DFLOAT;negative?;$B;66| '|SPADreplace| +(PUT '|DFLOAT;negative?;$B;65| '|SPADreplace| '(XLAM (|x|) (|%flt| |x| (|%i2f| 0)))) -(PUT '|DFLOAT;zero?;$B;67| '|SPADreplace| +(PUT '|DFLOAT;zero?;$B;66| '|SPADreplace| '(XLAM (|x|) (|%feq| |x| (|%i2f| 0)))) -(PUT '|DFLOAT;one?;$B;68| '|SPADreplace| +(PUT '|DFLOAT;one?;$B;67| '|SPADreplace| '(XLAM (|x|) (|%feq| |x| (|%i2f| 1)))) -(PUT '|DFLOAT;differentiate;2$;71| '|SPADreplace| +(PUT '|DFLOAT;differentiate;2$;70| '|SPADreplace| '(XLAM (|x|) (|%i2f| 0))) (DEFUN |DFLOAT;OMwrite;$S;1| (|x| $) @@ -425,202 +446,222 @@ (EXIT (COND (|wholeObj| (SPADCALL |dev| (|getShellEntry| $ 16))))))) -(DEFUN |DFLOAT;checkComplex| (|x| $) - (DECLARE (IGNORE $)) - (C-TO-R |x|)) - -(DEFUN |DFLOAT;base;Pi;6| ($) (DECLARE (IGNORE $)) 2) +(DEFUN |DFLOAT;base;Pi;5| ($) (DECLARE (IGNORE $)) 2) -(DEFUN |DFLOAT;mantissa;$I;7| (|x| $) (CAR (|DFLOAT;manexp| |x| $))) +(DEFUN |DFLOAT;mantissa;$I;6| (|x| $) (CAR (|DFLOAT;manexp| |x| $))) -(DEFUN |DFLOAT;exponent;$I;8| (|x| $) (CDR (|DFLOAT;manexp| |x| $))) +(DEFUN |DFLOAT;exponent;$I;7| (|x| $) (CDR (|DFLOAT;manexp| |x| $))) -(DEFUN |DFLOAT;precision;Pi;9| ($) (DECLARE (IGNORE $)) 53) +(DEFUN |DFLOAT;precision;Pi;8| ($) (DECLARE (IGNORE $)) 53) -(DEFUN |DFLOAT;bits;Pi;10| ($) +(DEFUN |DFLOAT;bits;Pi;9| ($) (COND ((EQL 2 2) 53) ((EQL 2 16) (* 4 53)) - (T (LET ((#0=#:G1406 + (T (LET ((#0=#:G1405 (TRUNCATE (SPADCALL 53 - (|DFLOAT;log2;2$;40| - (FLOAT 2 |$DoubleFloatMaximum|) $) + (C-TO-R (LOG (FLOAT 2 |$DoubleFloatMaximum|) + 2)) (|getShellEntry| $ 32))))) (|check-subtype| (AND (NOT (MINUSP #0#)) (PLUSP #0#)) '(|PositiveInteger|) #0#))))) -(DEFUN |DFLOAT;max;$;11| ($) +(DEFUN |DFLOAT;max;$;10| ($) (DECLARE (IGNORE $)) |$DoubleFloatMaximum|) -(DEFUN |DFLOAT;min;$;12| ($) +(DEFUN |DFLOAT;min;$;11| ($) (DECLARE (IGNORE $)) |$DoubleFloatMinimum|) -(DEFUN |DFLOAT;order;$I;13| (|a| $) - (- (+ 53 (|DFLOAT;exponent;$I;8| |a| $)) 1)) +(DEFUN |DFLOAT;order;$I;12| (|a| $) + (- (+ 53 (|DFLOAT;exponent;$I;7| |a| $)) 1)) -(DEFUN |DFLOAT;Zero;$;14| ($) (DECLARE (IGNORE $)) 0.0) +(DEFUN |DFLOAT;Zero;$;13| ($) (DECLARE (IGNORE $)) 0.0) -(DEFUN |DFLOAT;One;$;15| ($) (DECLARE (IGNORE $)) 1.0) +(DEFUN |DFLOAT;One;$;14| ($) (DECLARE (IGNORE $)) 1.0) -(DEFUN |DFLOAT;exp1;$;16| ($) +(DEFUN |DFLOAT;exp1;$;15| ($) (DECLARE (IGNORE $)) (/ (FLOAT 534625820200 |$DoubleFloatMaximum|) (FLOAT 196677847971 |$DoubleFloatMaximum|))) -(DEFUN |DFLOAT;pi;$;17| ($) +(DEFUN |DFLOAT;pi;$;16| ($) (DECLARE (IGNORE $)) (COERCE PI '|%DoubleFloat|)) -(DEFUN |DFLOAT;coerce;$Of;18| (|x| $) +(DEFUN |DFLOAT;coerce;$Of;17| (|x| $) (SPADCALL |x| (|getShellEntry| $ 48))) -(DEFUN |DFLOAT;convert;$If;19| (|x| $) +(DEFUN |DFLOAT;convert;$If;18| (|x| $) (SPADCALL |x| (|getShellEntry| $ 51))) -(DEFUN |DFLOAT;<;2$B;20| (|x| |y| $) (DECLARE (IGNORE $)) (< |x| |y|)) +(DEFUN |DFLOAT;<;2$B;19| (|x| |y| $) (DECLARE (IGNORE $)) (< |x| |y|)) -(DEFUN |DFLOAT;>;2$B;21| (|x| |y| $) (DECLARE (IGNORE $)) (< |y| |x|)) +(DEFUN |DFLOAT;>;2$B;20| (|x| |y| $) (DECLARE (IGNORE $)) (< |y| |x|)) -(DEFUN |DFLOAT;<=;2$B;22| (|x| |y| $) +(DEFUN |DFLOAT;<=;2$B;21| (|x| |y| $) (DECLARE (IGNORE $)) (<= |x| |y|)) -(DEFUN |DFLOAT;>=;2$B;23| (|x| |y| $) +(DEFUN |DFLOAT;>=;2$B;22| (|x| |y| $) (DECLARE (IGNORE $)) (>= |x| |y|)) -(DEFUN |DFLOAT;-;2$;24| (|x| $) (DECLARE (IGNORE $)) (- |x|)) +(DEFUN |DFLOAT;-;2$;23| (|x| $) (DECLARE (IGNORE $)) (- |x|)) -(DEFUN |DFLOAT;+;3$;25| (|x| |y| $) (DECLARE (IGNORE $)) (+ |x| |y|)) +(DEFUN |DFLOAT;+;3$;24| (|x| |y| $) (DECLARE (IGNORE $)) (+ |x| |y|)) -(DEFUN |DFLOAT;-;3$;26| (|x| |y| $) (DECLARE (IGNORE $)) (- |x| |y|)) +(DEFUN |DFLOAT;-;3$;25| (|x| |y| $) (DECLARE (IGNORE $)) (- |x| |y|)) -(DEFUN |DFLOAT;*;3$;27| (|x| |y| $) (DECLARE (IGNORE $)) (* |x| |y|)) +(DEFUN |DFLOAT;*;3$;26| (|x| |y| $) (DECLARE (IGNORE $)) (* |x| |y|)) -(DEFUN |DFLOAT;*;I2$;28| (|i| |x| $) (DECLARE (IGNORE $)) (* |i| |x|)) +(DEFUN |DFLOAT;*;I2$;27| (|i| |x| $) (DECLARE (IGNORE $)) (* |i| |x|)) -(DEFUN |DFLOAT;max;3$;29| (|x| |y| $) +(DEFUN |DFLOAT;max;3$;28| (|x| |y| $) (DECLARE (IGNORE $)) (MAX |x| |y|)) -(DEFUN |DFLOAT;min;3$;30| (|x| |y| $) +(DEFUN |DFLOAT;min;3$;29| (|x| |y| $) (DECLARE (IGNORE $)) (MIN |x| |y|)) -(DEFUN |DFLOAT;=;2$B;31| (|x| |y| $) (DECLARE (IGNORE $)) (= |x| |y|)) +(DEFUN |DFLOAT;=;2$B;30| (|x| |y| $) (DECLARE (IGNORE $)) (= |x| |y|)) -(DEFUN |DFLOAT;/;$I$;32| (|x| |i| $) (DECLARE (IGNORE $)) (/ |x| |i|)) +(DEFUN |DFLOAT;/;$I$;31| (|x| |i| $) (DECLARE (IGNORE $)) (/ |x| |i|)) -(DEFUN |DFLOAT;sqrt;2$;33| (|x| $) (C-TO-R (SQRT |x|))) +(DEFUN |DFLOAT;sqrt;2$;32| (|x| $) + (DECLARE (IGNORE $)) + (C-TO-R (SQRT |x|))) -(DEFUN |DFLOAT;log10;2$;34| (|x| $) (C-TO-R (|log| |x|))) +(DEFUN |DFLOAT;log10;2$;33| (|x| $) + (DECLARE (IGNORE $)) + (C-TO-R (LOG |x| 10))) -(DEFUN |DFLOAT;**;$I$;35| (|x| |i| $) +(DEFUN |DFLOAT;**;$I$;34| (|x| |i| $) (DECLARE (IGNORE $)) (EXPT |x| |i|)) -(DEFUN |DFLOAT;**;3$;36| (|x| |y| $) (C-TO-R (EXPT |x| |y|))) +(DEFUN |DFLOAT;**;3$;35| (|x| |y| $) + (DECLARE (IGNORE $)) + (C-TO-R (EXPT |x| |y|))) -(DEFUN |DFLOAT;coerce;I$;37| (|i| $) +(DEFUN |DFLOAT;coerce;I$;36| (|i| $) (DECLARE (IGNORE $)) (FLOAT |i| |$DoubleFloatMaximum|)) -(DEFUN |DFLOAT;exp;2$;38| (|x| $) (DECLARE (IGNORE $)) (EXP |x|)) +(DEFUN |DFLOAT;exp;2$;37| (|x| $) (DECLARE (IGNORE $)) (EXP |x|)) -(DEFUN |DFLOAT;log;2$;39| (|x| $) (C-TO-R (LN |x|))) +(DEFUN |DFLOAT;log;2$;38| (|x| $) + (DECLARE (IGNORE $)) + (C-TO-R (LOG |x|))) -(DEFUN |DFLOAT;log2;2$;40| (|x| $) (C-TO-R (LOG2 |x|))) +(DEFUN |DFLOAT;log2;2$;39| (|x| $) + (DECLARE (IGNORE $)) + (C-TO-R (LOG |x| 2))) -(DEFUN |DFLOAT;sin;2$;41| (|x| $) (DECLARE (IGNORE $)) (SIN |x|)) +(DEFUN |DFLOAT;sin;2$;40| (|x| $) (DECLARE (IGNORE $)) (SIN |x|)) -(DEFUN |DFLOAT;cos;2$;42| (|x| $) (DECLARE (IGNORE $)) (COS |x|)) +(DEFUN |DFLOAT;cos;2$;41| (|x| $) (DECLARE (IGNORE $)) (COS |x|)) -(DEFUN |DFLOAT;tan;2$;43| (|x| $) (DECLARE (IGNORE $)) (TAN |x|)) +(DEFUN |DFLOAT;tan;2$;42| (|x| $) (DECLARE (IGNORE $)) (TAN |x|)) -(DEFUN |DFLOAT;cot;2$;44| (|x| $) (DECLARE (IGNORE $)) (COT |x|)) +(DEFUN |DFLOAT;cot;2$;43| (|x| $) (DECLARE (IGNORE $)) (COT |x|)) -(DEFUN |DFLOAT;sec;2$;45| (|x| $) (DECLARE (IGNORE $)) (SEC |x|)) +(DEFUN |DFLOAT;sec;2$;44| (|x| $) (DECLARE (IGNORE $)) (SEC |x|)) -(DEFUN |DFLOAT;csc;2$;46| (|x| $) (DECLARE (IGNORE $)) (CSC |x|)) +(DEFUN |DFLOAT;csc;2$;45| (|x| $) (DECLARE (IGNORE $)) (CSC |x|)) -(DEFUN |DFLOAT;asin;2$;47| (|x| $) (C-TO-R (ASIN |x|))) +(DEFUN |DFLOAT;asin;2$;46| (|x| $) + (DECLARE (IGNORE $)) + (C-TO-R (ASIN |x|))) -(DEFUN |DFLOAT;acos;2$;48| (|x| $) (C-TO-R (ACOS |x|))) +(DEFUN |DFLOAT;acos;2$;47| (|x| $) + (DECLARE (IGNORE $)) + (C-TO-R (ACOS |x|))) -(DEFUN |DFLOAT;atan;2$;49| (|x| $) (DECLARE (IGNORE $)) (ATAN |x|)) +(DEFUN |DFLOAT;atan;2$;48| (|x| $) (DECLARE (IGNORE $)) (ATAN |x|)) -(DEFUN |DFLOAT;acsc;2$;50| (|x| $) (C-TO-R (ACSC |x|))) +(DEFUN |DFLOAT;acsc;2$;49| (|x| $) + (DECLARE (IGNORE $)) + (C-TO-R (ACSC |x|))) -(DEFUN |DFLOAT;acot;2$;51| (|x| $) (DECLARE (IGNORE $)) (ACOT |x|)) +(DEFUN |DFLOAT;acot;2$;50| (|x| $) (DECLARE (IGNORE $)) (ACOT |x|)) -(DEFUN |DFLOAT;asec;2$;52| (|x| $) (C-TO-R (ASEC |x|))) +(DEFUN |DFLOAT;asec;2$;51| (|x| $) + (DECLARE (IGNORE $)) + (C-TO-R (ASEC |x|))) -(DEFUN |DFLOAT;sinh;2$;53| (|x| $) (DECLARE (IGNORE $)) (SINH |x|)) +(DEFUN |DFLOAT;sinh;2$;52| (|x| $) (DECLARE (IGNORE $)) (SINH |x|)) -(DEFUN |DFLOAT;cosh;2$;54| (|x| $) (DECLARE (IGNORE $)) (COSH |x|)) +(DEFUN |DFLOAT;cosh;2$;53| (|x| $) (DECLARE (IGNORE $)) (COSH |x|)) -(DEFUN |DFLOAT;tanh;2$;55| (|x| $) (DECLARE (IGNORE $)) (TANH |x|)) +(DEFUN |DFLOAT;tanh;2$;54| (|x| $) (DECLARE (IGNORE $)) (TANH |x|)) -(DEFUN |DFLOAT;csch;2$;56| (|x| $) (DECLARE (IGNORE $)) (CSCH |x|)) +(DEFUN |DFLOAT;csch;2$;55| (|x| $) (DECLARE (IGNORE $)) (CSCH |x|)) -(DEFUN |DFLOAT;coth;2$;57| (|x| $) (DECLARE (IGNORE $)) (COTH |x|)) +(DEFUN |DFLOAT;coth;2$;56| (|x| $) (DECLARE (IGNORE $)) (COTH |x|)) -(DEFUN |DFLOAT;sech;2$;58| (|x| $) (DECLARE (IGNORE $)) (SECH |x|)) +(DEFUN |DFLOAT;sech;2$;57| (|x| $) (DECLARE (IGNORE $)) (SECH |x|)) -(DEFUN |DFLOAT;asinh;2$;59| (|x| $) (DECLARE (IGNORE $)) (ASINH |x|)) +(DEFUN |DFLOAT;asinh;2$;58| (|x| $) (DECLARE (IGNORE $)) (ASINH |x|)) -(DEFUN |DFLOAT;acosh;2$;60| (|x| $) (C-TO-R (ACOSH |x|))) +(DEFUN |DFLOAT;acosh;2$;59| (|x| $) + (DECLARE (IGNORE $)) + (C-TO-R (ACOSH |x|))) -(DEFUN |DFLOAT;atanh;2$;61| (|x| $) (C-TO-R (ATANH |x|))) +(DEFUN |DFLOAT;atanh;2$;60| (|x| $) + (DECLARE (IGNORE $)) + (C-TO-R (ATANH |x|))) -(DEFUN |DFLOAT;acsch;2$;62| (|x| $) (DECLARE (IGNORE $)) (ACSCH |x|)) +(DEFUN |DFLOAT;acsch;2$;61| (|x| $) (DECLARE (IGNORE $)) (ACSCH |x|)) -(DEFUN |DFLOAT;acoth;2$;63| (|x| $) (C-TO-R (ACOTH |x|))) +(DEFUN |DFLOAT;acoth;2$;62| (|x| $) + (DECLARE (IGNORE $)) + (C-TO-R (ACOTH |x|))) -(DEFUN |DFLOAT;asech;2$;64| (|x| $) (C-TO-R (ASECH |x|))) +(DEFUN |DFLOAT;asech;2$;63| (|x| $) (DECLARE (IGNORE $)) (ASECH |x|)) -(DEFUN |DFLOAT;/;3$;65| (|x| |y| $) (DECLARE (IGNORE $)) (/ |x| |y|)) +(DEFUN |DFLOAT;/;3$;64| (|x| |y| $) (DECLARE (IGNORE $)) (/ |x| |y|)) -(DEFUN |DFLOAT;negative?;$B;66| (|x| $) +(DEFUN |DFLOAT;negative?;$B;65| (|x| $) (DECLARE (IGNORE $)) (MINUSP |x|)) -(DEFUN |DFLOAT;zero?;$B;67| (|x| $) (DECLARE (IGNORE $)) (ZEROP |x|)) +(DEFUN |DFLOAT;zero?;$B;66| (|x| $) (DECLARE (IGNORE $)) (ZEROP |x|)) -(DEFUN |DFLOAT;one?;$B;68| (|x| $) (DECLARE (IGNORE $)) (= |x| 1.0)) +(DEFUN |DFLOAT;one?;$B;67| (|x| $) (DECLARE (IGNORE $)) (= |x| 1.0)) -(DEFUN |DFLOAT;hash;$Si;69| (|x| $) (DECLARE (IGNORE $)) (SXHASH |x|)) +(DEFUN |DFLOAT;hash;$Si;68| (|x| $) (DECLARE (IGNORE $)) (SXHASH |x|)) -(DEFUN |DFLOAT;recip;$U;70| (|x| $) +(DEFUN |DFLOAT;recip;$U;69| (|x| $) (COND ((ZEROP |x|) (CONS 1 "failed")) (T (CONS 0 (/ 1.0 |x|))))) -(DEFUN |DFLOAT;differentiate;2$;71| (|x| $) (DECLARE (IGNORE $)) 0.0) +(DEFUN |DFLOAT;differentiate;2$;70| (|x| $) (DECLARE (IGNORE $)) 0.0) -(DEFUN |DFLOAT;Gamma;2$;72| (|x| $) +(DEFUN |DFLOAT;Gamma;2$;71| (|x| $) (SPADCALL |x| (|getShellEntry| $ 106))) -(DEFUN |DFLOAT;Beta;3$;73| (|x| |y| $) +(DEFUN |DFLOAT;Beta;3$;72| (|x| |y| $) (SPADCALL |x| |y| (|getShellEntry| $ 108))) -(DEFUN |DFLOAT;wholePart;$I;74| (|x| $) +(DEFUN |DFLOAT;wholePart;$I;73| (|x| $) (DECLARE (IGNORE $)) (TRUNCATE |x|)) -(DEFUN |DFLOAT;float;2IPi$;75| (|ma| |ex| |b| $) +(DEFUN |DFLOAT;float;2IPi$;74| (|ma| |ex| |b| $) (* |ma| (EXPT (FLOAT |b| |$DoubleFloatMaximum|) |ex|))) -(DEFUN |DFLOAT;convert;2$;76| (|x| $) (DECLARE (IGNORE $)) |x|) +(DEFUN |DFLOAT;convert;2$;75| (|x| $) (DECLARE (IGNORE $)) |x|) -(DEFUN |DFLOAT;convert;$F;77| (|x| $) +(DEFUN |DFLOAT;convert;$F;76| (|x| $) (SPADCALL |x| (|getShellEntry| $ 112))) -(DEFUN |DFLOAT;rationalApproximation;$NniF;78| (|x| |d| $) - (|DFLOAT;rationalApproximation;$2NniF;87| |x| |d| 10 $)) +(DEFUN |DFLOAT;rationalApproximation;$NniF;77| (|x| |d| $) + (|DFLOAT;rationalApproximation;$2NniF;86| |x| |d| 10 $)) -(DEFUN |DFLOAT;atan;3$;79| (|x| |y| $) +(DEFUN |DFLOAT;atan;3$;78| (|x| |y| $) (PROG (|theta|) (RETURN (SEQ (COND @@ -630,7 +671,7 @@ ((MINUSP |y|) (- (/ (COERCE PI '|%DoubleFloat|) 2))) (T 0.0))) (T (SEQ (LETT |theta| (ATAN (ABS (/ |y| |x|))) - |DFLOAT;atan;3$;79|) + |DFLOAT;atan;3$;78|) (COND ((MINUSP |x|) (SETQ |theta| @@ -638,63 +679,63 @@ (COND ((MINUSP |y|) (SETQ |theta| (- |theta|)))) (EXIT |theta|)))))))) -(DEFUN |DFLOAT;retract;$F;80| (|x| $) - (|DFLOAT;rationalApproximation;$2NniF;87| |x| - (LET ((#0=#:G1489 (- 53 1))) +(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;81| (|x| $) +(DEFUN |DFLOAT;retractIfCan;$U;80| (|x| $) (CONS 0 - (|DFLOAT;rationalApproximation;$2NniF;87| |x| - (LET ((#0=#:G1497 (- 53 1))) + (|DFLOAT;rationalApproximation;$2NniF;86| |x| + (LET ((#0=#:G1496 (- 53 1))) (|check-subtype| (NOT (MINUSP #0#)) '(|NonNegativeInteger|) #0#)) 2 $))) -(DEFUN |DFLOAT;retract;$I;82| (|x| $) +(DEFUN |DFLOAT;retract;$I;81| (|x| $) (PROG (|n|) (RETURN (COND ((= |x| - (FLOAT (LETT |n| (TRUNCATE |x|) |DFLOAT;retract;$I;82|) + (FLOAT (LETT |n| (TRUNCATE |x|) |DFLOAT;retract;$I;81|) |$DoubleFloatMaximum|)) |n|) (T (|error| "Not an integer")))))) -(DEFUN |DFLOAT;retractIfCan;$U;83| (|x| $) +(DEFUN |DFLOAT;retractIfCan;$U;82| (|x| $) (PROG (|n|) (RETURN (COND ((= |x| (FLOAT (LETT |n| (TRUNCATE |x|) - |DFLOAT;retractIfCan;$U;83|) + |DFLOAT;retractIfCan;$U;82|) |$DoubleFloatMaximum|)) (CONS 0 |n|)) (T (CONS 1 "failed")))))) -(DEFUN |DFLOAT;sign;$I;84| (|x| $) - (|DFLOAT;retract;$I;82| (FLOAT-SIGN |x| 1.0) $)) +(DEFUN |DFLOAT;sign;$I;83| (|x| $) + (|DFLOAT;retract;$I;81| (FLOAT-SIGN |x| 1.0) $)) -(DEFUN |DFLOAT;abs;2$;85| (|x| $) (DECLARE (IGNORE $)) (ABS |x|)) +(DEFUN |DFLOAT;abs;2$;84| (|x| $) (DECLARE (IGNORE $)) (ABS |x|)) (DEFUN |DFLOAT;manexp| (|x| $) (PROG (|s| |me| |two53|) (RETURN (SEQ (COND ((ZEROP |x|) (CONS 0 0)) - (T (SEQ (LETT |s| (|DFLOAT;sign;$I;84| |x| $) + (T (SEQ (LETT |s| (|DFLOAT;sign;$I;83| |x| $) |DFLOAT;manexp|) (SETQ |x| (ABS |x|)) (COND ((< |$DoubleFloatMaximum| |x|) (RETURN-FROM |DFLOAT;manexp| (CONS (+ (* |s| - (|DFLOAT;mantissa;$I;7| + (|DFLOAT;mantissa;$I;6| |$DoubleFloatMaximum| $)) 1) - (|DFLOAT;exponent;$I;8| + (|DFLOAT;exponent;$I;7| |$DoubleFloatMaximum| $))))) (LETT |me| (MANEXP |x|) |DFLOAT;manexp|) (LETT |two53| (EXPT 2 53) |DFLOAT;manexp|) @@ -702,15 +743,15 @@ (TRUNCATE (* |two53| (CAR |me|)))) (- (CDR |me|) 53)))))))))) -(DEFUN |DFLOAT;rationalApproximation;$2NniF;87| (|f| |d| |b| $) - (PROG (BASE |de| |tol| |s| |t| |p0| |p1| |q0| |q1| |#G107| |q| |r| - |p2| |q2| |#G108| |#G109| |#G110| |#G111| |#G112| - |#G113|) +(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* ((|#G106| (|DFLOAT;manexp| |f| $)) (|nu| (CAR |#G106|)) - (|ex| (CDR |#G106|))) - (SEQ |#G106| - (LETT BASE 2 |DFLOAT;rationalApproximation;$2NniF;87|) + (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 @@ -721,52 +762,52 @@ (|getShellEntry| $ 134))) (T (SEQ (LETT |de| (EXPT BASE - (LET ((#0=#:G1525 (- |ex|))) + (LET ((#0=#:G1524 (- |ex|))) (|check-subtype| (NOT (MINUSP #0#)) '(|NonNegativeInteger|) #0#))) - |DFLOAT;rationalApproximation;$2NniF;87|) + |DFLOAT;rationalApproximation;$2NniF;86|) (EXIT (COND ((< |b| 2) (|error| "base must be > 1")) (T (SEQ (LETT |tol| (EXPT |b| |d|) - |DFLOAT;rationalApproximation;$2NniF;87|) + |DFLOAT;rationalApproximation;$2NniF;86|) (LETT |s| |nu| - |DFLOAT;rationalApproximation;$2NniF;87|) + |DFLOAT;rationalApproximation;$2NniF;86|) (LETT |t| |de| - |DFLOAT;rationalApproximation;$2NniF;87|) + |DFLOAT;rationalApproximation;$2NniF;86|) (LETT |p0| 0 - |DFLOAT;rationalApproximation;$2NniF;87|) + |DFLOAT;rationalApproximation;$2NniF;86|) (LETT |p1| 1 - |DFLOAT;rationalApproximation;$2NniF;87|) + |DFLOAT;rationalApproximation;$2NniF;86|) (LETT |q0| 1 - |DFLOAT;rationalApproximation;$2NniF;87|) + |DFLOAT;rationalApproximation;$2NniF;86|) (LETT |q1| 0 - |DFLOAT;rationalApproximation;$2NniF;87|) + |DFLOAT;rationalApproximation;$2NniF;86|) (EXIT (LOOP (COND (NIL (RETURN NIL)) (T (SEQ - (LETT |#G107| + (LETT |#G106| (MULTIPLE-VALUE-CALL #'CONS (TRUNCATE |s| |t|)) - |DFLOAT;rationalApproximation;$2NniF;87|) - (LETT |q| (CAR |#G107|) - |DFLOAT;rationalApproximation;$2NniF;87|) - (LETT |r| (CDR |#G107|) - |DFLOAT;rationalApproximation;$2NniF;87|) - |#G107| + |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;87|) + |DFLOAT;rationalApproximation;$2NniF;86|) (LETT |q2| (+ (* |q| |q1|) |q0|) - |DFLOAT;rationalApproximation;$2NniF;87|) + |DFLOAT;rationalApproximation;$2NniF;86|) (COND ((OR (ZEROP |r|) (< @@ -778,32 +819,32 @@ 143)) (* |de| (ABS |p2|)))) (RETURN-FROM - |DFLOAT;rationalApproximation;$2NniF;87| + |DFLOAT;rationalApproximation;$2NniF;86| (SPADCALL |p2| |q2| (|getShellEntry| $ 141))))) - (LETT |#G108| |p1| - |DFLOAT;rationalApproximation;$2NniF;87|) - (LETT |#G109| |p2| - |DFLOAT;rationalApproximation;$2NniF;87|) - (SETQ |p0| |#G108|) - (SETQ |p1| |#G109|) - (LETT |#G110| |q1| - |DFLOAT;rationalApproximation;$2NniF;87|) - (LETT |#G111| |q2| - |DFLOAT;rationalApproximation;$2NniF;87|) - (SETQ |q0| |#G110|) - (SETQ |q1| |#G111|) + (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 |#G112| |t| - |DFLOAT;rationalApproximation;$2NniF;87|) - (LETT |#G113| |r| - |DFLOAT;rationalApproximation;$2NniF;87|) - (SETQ |s| |#G112|) - (SETQ |t| |#G113|))))))))))))))))))))) - -(DEFUN |DFLOAT;**;$F$;88| (|x| |r| $) + (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| $) (PROG (|n| |d|) (RETURN (SEQ (COND @@ -818,35 +859,36 @@ 1.0) ((SPADCALL |r| (|getShellEntry| $ 147)) |x|) (T (SEQ (LETT |n| (SPADCALL |r| (|getShellEntry| $ 148)) - |DFLOAT;**;$F$;88|) + |DFLOAT;**;$F$;87|) (LETT |d| (SPADCALL |r| (|getShellEntry| $ 149)) - |DFLOAT;**;$F$;88|) + |DFLOAT;**;$F$;87|) (EXIT (COND ((MINUSP |x|) (COND ((ODDP |d|) (COND ((ODDP |n|) - (RETURN-FROM |DFLOAT;**;$F$;88| + (RETURN-FROM |DFLOAT;**;$F$;87| (- - (|DFLOAT;**;$F$;88| (- |x|) |r| + (|DFLOAT;**;$F$;87| (- |x|) |r| $)))) (T - (RETURN-FROM |DFLOAT;**;$F$;88| - (|DFLOAT;**;$F$;88| (- |x|) |r| + (RETURN-FROM |DFLOAT;**;$F$;87| + (|DFLOAT;**;$F$;87| (- |x|) |r| $))))) (T (|error| "negative root")))) ((EQL |d| 2) - (EXPT (|DFLOAT;sqrt;2$;33| |x| $) |n|)) - (T (|DFLOAT;**;3$;36| |x| - (/ - (FLOAT |n| |$DoubleFloatMaximum|) - (FLOAT |d| |$DoubleFloatMaximum|)) - $))))))))))) + (EXPT (C-TO-R (SQRT |x|)) |n|)) + (T (C-TO-R (EXPT |x| + (/ + (FLOAT |n| + |$DoubleFloatMaximum|) + (FLOAT |d| + |$DoubleFloatMaximum|)))))))))))))) (DEFUN |DoubleFloat| () (DECLARE (SPECIAL |$ConstructorCache|)) - (PROG (#0=#:G1556) + (PROG (#0=#:G1555) (RETURN (COND ((SETQ #0# (HGET |$ConstructorCache| '|DoubleFloat|)) @@ -873,63 +915,63 @@ (LIST '#(NIL NIL NIL NIL NIL NIL (|OpenMathEncoding|) (0 . |OMencodingXML|) (|String|) (|OpenMathDevice|) (4 . |OMopenString|) (|Void|) (10 . |OMputObject|) - (|DoubleFloat|) |DFLOAT;convert;2$;76| (15 . |OMputFloat|) + (|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;6| (|Integer|) - |DFLOAT;mantissa;$I;7| |DFLOAT;exponent;$I;8| - |DFLOAT;precision;Pi;9| (31 . =) (37 . *) - |DFLOAT;log2;2$;40| (43 . *) |DFLOAT;wholePart;$I;74| - |DFLOAT;bits;Pi;10| |DFLOAT;max;$;11| |DFLOAT;min;$;12| - (49 . +) (55 . |One|) (59 . -) |DFLOAT;order;$I;13| + (|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;$;14|) $)) + (FUNCALL (|dispatchFunction| |DFLOAT;Zero;$;13|) $)) (CONS IDENTITY - (FUNCALL (|dispatchFunction| |DFLOAT;One;$;15|) $)) - |DFLOAT;/;3$;65| |DFLOAT;exp1;$;16| |DFLOAT;pi;$;17| - (|OutputForm|) (69 . |outputForm|) |DFLOAT;coerce;$Of;18| - (|InputForm|) (74 . |convert|) |DFLOAT;convert;$If;19| - |DFLOAT;<;2$B;20| |DFLOAT;>;2$B;21| |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| (79 . |coerce|) - |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| + (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$;72| (89 . |Beta|) |DFLOAT;Beta;3$;73| - |DFLOAT;float;2IPi$;75| (|Float|) (95 . |convert|) - |DFLOAT;convert;$F;77| (|Fraction| 25) + |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;87| - |DFLOAT;rationalApproximation;$NniF;78| |DFLOAT;abs;2$;85| - |DFLOAT;atan;3$;79| (100 . |One|) |DFLOAT;retract;$F;80| - (|Union| 114 '"failed") |DFLOAT;retractIfCan;$U;81| - |DFLOAT;retract;$I;82| (|Union| 25 '"failed") - |DFLOAT;retractIfCan;$U;83| |DFLOAT;sign;$I;84| (104 . *) + |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$;88| |DFLOAT;coerce;I$;37| + (218 . |odd?|) |DFLOAT;**;$F$;87| |DFLOAT;coerce;I$;36| (|PatternMatchResult| 111 $) (|Pattern| 111) (|Factored| $) (|List| $) (|Union| 156 '"failed") (|Record| (|:| |coef1| $) (|:| |coef2| $) -- cgit v1.2.3