aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--src/algebra/sf.spad.pamphlet33
-rw-r--r--src/algebra/strap/DFLOAT.lsp331
-rw-r--r--src/interp/g-opt.boot2
-rw-r--r--src/interp/g-util.boot2
4 files changed, 193 insertions, 175 deletions
diff --git a/src/algebra/sf.spad.pamphlet b/src/algebra/sf.spad.pamphlet
index 5e5e8f14..c1a29b22 100644
--- a/src/algebra/sf.spad.pamphlet
+++ b/src/algebra/sf.spad.pamphlet
@@ -279,6 +279,17 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath,
== add
MER ==> Record(MANTISSA:Integer,EXPONENT:Integer)
+ import %fmul: (%,%) -> % from Foreign Builtin
+ import %fadd: (%,%) -> % from Foreign Builtin
+ import %fsub: (%,%) -> % from Foreign Builtin
+ import %fdiv: (%,%) -> % from Foreign Builtin
+ import %fmin: (%,%) -> % from Foreign Builtin
+ import %fmax: (%,%) -> % from Foreign Builtin
+ import %feq: (%,%) -> Boolean from Foreign Builtin
+ import %flt: (%,%) -> Boolean from Foreign Builtin
+ import %fle: (%,%) -> Boolean from Foreign Builtin
+ import %fgt: (%,%) -> Boolean from Foreign Builtin
+ import %fge: (%,%) -> Boolean from Foreign Builtin
manexp: % -> MER
@@ -341,18 +352,18 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath,
pi() == PI$Lisp
coerce(x:%):OutputForm == outputForm x
convert(x:%):InputForm == convert(x pretend DoubleFloat)$InputForm
- x < y == (x<y)$Lisp
- x > y == (x > y)$Lisp -- help inliner
- x <= y == (x <= y)$Lisp -- ditto
- x >= y == (x >= y)$Lisp -- ditto
+ x < y == %flt(x,y)
+ x > y == %fgt(x,y)
+ x <= y == %fle(x,y)
+ x >= y == %fge(x,y)
- x == (-x)$Lisp
- x + y == (x+y)$Lisp
- x:% - y:% == (x-y)$Lisp
- x:% * y:% == (x*y)$Lisp
+ x + y == %fadd(x,y)
+ x:% - y:% == %fsub(x,y)
+ x:% * y:% == %fmul(x,y)
i:Integer * x:% == (i*x)$Lisp
- max(x,y) == MAX(x,y)$Lisp
- min(x,y) == MIN(x,y)$Lisp
- x = y == (x=y)$Lisp
+ max(x,y) == %fmax(x,y)
+ min(x,y) == %fmin(x,y)
+ x = y == %feq(x,y)
x:% / i:Integer == (x/i)$Lisp
sqrt x == checkComplex SQRT(x)$Lisp
log10 x == checkComplex log(x)$Lisp
@@ -386,7 +397,7 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath,
acsch x == ACSCH(x)$Lisp
acoth x == checkComplex ACOTH(x)$Lisp
asech x == checkComplex ASECH(x)$Lisp
- x:% / y:% == (x/y)$Lisp
+ x:% / y:% == %fdiv(x,y)
negative? x == MINUSP(x)$Lisp
zero? x == ZEROP(x)$Lisp
one? x == x = 1
diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp
index a3eca772..89d19692 100644
--- a/src/algebra/strap/DFLOAT.lsp
+++ b/src/algebra/strap/DFLOAT.lsp
@@ -67,6 +67,11 @@
(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|)
|DFLOAT;exp1;$;16|))
+(PUT '|DFLOAT;exp1;$;16| '|SPADreplace|
+ '(XLAM NIL
+ (|%fdiv| (FLOAT 534625820200 |$DoubleFloatMaximum|)
+ (FLOAT 196677847971 |$DoubleFloatMaximum|))))
+
(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%DoubleFloat|) |DFLOAT;pi;$;17|))
(PUT '|DFLOAT;pi;$;17| '|SPADreplace| '(XLAM NIL PI))
@@ -81,26 +86,25 @@
|%Boolean|)
|DFLOAT;<;2$B;20|))
-(PUT '|DFLOAT;<;2$B;20| '|SPADreplace| '<)
+(PUT '|DFLOAT;<;2$B;20| '|SPADreplace| '|%flt|)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%Boolean|)
|DFLOAT;>;2$B;21|))
-(PUT '|DFLOAT;>;2$B;21| '|SPADreplace| '>)
+(PUT '|DFLOAT;>;2$B;21| '|SPADreplace| '|%fgt|)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%Boolean|)
|DFLOAT;<=;2$B;22|))
-(PUT '|DFLOAT;<=;2$B;22| '|SPADreplace|
- '(XLAM (|x| |y|) (|%not| (> |x| |y|))))
+(PUT '|DFLOAT;<=;2$B;22| '|SPADreplace| '|%fle|)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%Boolean|)
|DFLOAT;>=;2$B;23|))
-(PUT '|DFLOAT;>=;2$B;23| '|SPADreplace| '>=)
+(PUT '|DFLOAT;>=;2$B;23| '|SPADreplace| '|%fge|)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%DoubleFloat|)
|DFLOAT;-;2$;24|))
@@ -111,19 +115,19 @@
|%DoubleFloat|)
|DFLOAT;+;3$;25|))
-(PUT '|DFLOAT;+;3$;25| '|SPADreplace| '+)
+(PUT '|DFLOAT;+;3$;25| '|SPADreplace| '|%fadd|)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
|DFLOAT;-;3$;26|))
-(PUT '|DFLOAT;-;3$;26| '|SPADreplace| '-)
+(PUT '|DFLOAT;-;3$;26| '|SPADreplace| '|%fsub|)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
|DFLOAT;*;3$;27|))
-(PUT '|DFLOAT;*;3$;27| '|SPADreplace| '*)
+(PUT '|DFLOAT;*;3$;27| '|SPADreplace| '|%fmul|)
(DECLAIM (FTYPE (FUNCTION (|%Integer| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
@@ -135,19 +139,19 @@
|%DoubleFloat|)
|DFLOAT;max;3$;29|))
-(PUT '|DFLOAT;max;3$;29| '|SPADreplace| 'MAX)
+(PUT '|DFLOAT;max;3$;29| '|SPADreplace| '|%fmax|)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%DoubleFloat|)
|DFLOAT;min;3$;30|))
-(PUT '|DFLOAT;min;3$;30| '|SPADreplace| 'MIN)
+(PUT '|DFLOAT;min;3$;30| '|SPADreplace| '|%fmin|)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%DoubleFloat| |%Shell|)
|%Boolean|)
|DFLOAT;=;2$B;31|))
-(PUT '|DFLOAT;=;2$B;31| '|SPADreplace| '=)
+(PUT '|DFLOAT;=;2$B;31| '|SPADreplace| '|%feq|)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Integer| |%Shell|)
|%DoubleFloat|)
@@ -296,7 +300,7 @@
|%DoubleFloat|)
|DFLOAT;/;3$;65|))
-(PUT '|DFLOAT;/;3$;65| '|SPADreplace| '/)
+(PUT '|DFLOAT;/;3$;65| '|SPADreplace| '|%fdiv|)
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Boolean|)
|DFLOAT;negative?;$B;66|))
@@ -311,7 +315,8 @@
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Boolean|)
|DFLOAT;one?;$B;68|))
-(PUT '|DFLOAT;one?;$B;68| '|SPADreplace| '(XLAM (|x|) (= |x| 1.0)))
+(PUT '|DFLOAT;one?;$B;68| '|SPADreplace|
+ '(XLAM (|x|) (|%feq| |x| 1.0)))
(DECLAIM (FTYPE (FUNCTION (|%DoubleFloat| |%Shell|) |%Short|)
|DFLOAT;hash;$Si;69|))
@@ -489,6 +494,7 @@
(FLOAT 1 |$DoubleFloatMaximum|))
(DEFUN |DFLOAT;exp1;$;16| ($)
+ (DECLARE (IGNORE $))
(/ (FLOAT 534625820200 |$DoubleFloatMaximum|)
(FLOAT 196677847971 |$DoubleFloatMaximum|)))
@@ -506,7 +512,7 @@
(DEFUN |DFLOAT;<=;2$B;22| (|x| |y| $)
(DECLARE (IGNORE $))
- (NOT (> |x| |y|)))
+ (<= |x| |y|))
(DEFUN |DFLOAT;>=;2$B;23| (|x| |y| $)
(DECLARE (IGNORE $))
@@ -620,10 +626,10 @@
(DEFUN |DFLOAT;differentiate;2$;71| (|x| $) (DECLARE (IGNORE $)) 0.0)
(DEFUN |DFLOAT;Gamma;2$;72| (|x| $)
- (SPADCALL |x| (|getShellEntry| $ 107)))
+ (SPADCALL |x| (|getShellEntry| $ 106)))
(DEFUN |DFLOAT;Beta;3$;73| (|x| |y| $)
- (SPADCALL |x| |y| (|getShellEntry| $ 109)))
+ (SPADCALL |x| |y| (|getShellEntry| $ 108)))
(DEFUN |DFLOAT;wholePart;$I;74| (|x| $)
(DECLARE (IGNORE $))
@@ -635,7 +641,7 @@
(DEFUN |DFLOAT;convert;2$;76| (|x| $) (DECLARE (IGNORE $)) |x|)
(DEFUN |DFLOAT;convert;$F;77| (|x| $)
- (SPADCALL |x| (|getShellEntry| $ 113)))
+ (SPADCALL |x| (|getShellEntry| $ 112)))
(DEFUN |DFLOAT;rationalApproximation;$NniF;78| (|x| |d| $)
(|DFLOAT;rationalApproximation;$2NniF;87| |x| |d| 10 $))
@@ -752,7 +758,7 @@
(EXPT BASE
(|check-subtype| (>= |ex| 0)
'(|NonNegativeInteger|) |ex|)))
- (|getShellEntry| $ 136)))
+ (|getShellEntry| $ 135)))
('T
(SEQ (LETT |de|
(EXPT BASE
@@ -805,14 +811,14 @@
(- (* |nu| |q2|)
(* |de| |p2|)))
(|getShellEntry| $
- 145))
+ 144))
(* |de| (ABS |p2|))))
(EXIT
(PROGN
(LETT #0#
(SPADCALL |p2| |q2|
(|getShellEntry| $
- 143))
+ 142))
|DFLOAT;rationalApproximation;$2NniF;87|)
(GO #0#)))))
(LETT |#G111| |p1|
@@ -851,25 +857,25 @@
(SEQ (EXIT (COND
((ZEROP |x|)
(COND
- ((SPADCALL |r| (|getShellEntry| $ 147))
+ ((SPADCALL |r| (|getShellEntry| $ 146))
(|error| "0**0 is undefined"))
- ((SPADCALL |r| (|getShellEntry| $ 148))
+ ((SPADCALL |r| (|getShellEntry| $ 147))
(|error| "division by 0"))
('T 0.0)))
- ((OR (SPADCALL |r| (|getShellEntry| $ 147))
+ ((OR (SPADCALL |r| (|getShellEntry| $ 146))
(= |x| 1.0))
1.0)
('T
(COND
- ((SPADCALL |r| (|getShellEntry| $ 149)) |x|)
+ ((SPADCALL |r| (|getShellEntry| $ 148)) |x|)
('T
(SEQ (LETT |n|
(SPADCALL |r|
- (|getShellEntry| $ 150))
+ (|getShellEntry| $ 149))
|DFLOAT;**;$F$;88|)
(LETT |d|
(SPADCALL |r|
- (|getShellEntry| $ 151))
+ (|getShellEntry| $ 150))
|DFLOAT;**;$F$;88|)
(EXIT (COND
((MINUSP |x|)
@@ -925,7 +931,7 @@
((NOT #0#) (HREM |$ConstructorCache| '|DoubleFloat|)))))))))))
(DEFUN |DoubleFloat;| ()
- (LET ((|dv$| (LIST '|DoubleFloat|)) ($ (|newShell| 165))
+ (LET ((|dv$| (LIST '|DoubleFloat|)) ($ (|newShell| 164))
(|pv$| (|buildPredVector| 0 0 NIL)))
(|setShellEntry| $ 0 |dv$|)
(|setShellEntry| $ 3 |pv$|)
@@ -954,82 +960,81 @@
|DFLOAT;/;3$;65| |DFLOAT;exp1;$;16| |DFLOAT;pi;$;17|
(|OutputForm|) (70 . |outputForm|) |DFLOAT;coerce;$Of;18|
(|InputForm|) (75 . |convert|) |DFLOAT;convert;$If;19|
- |DFLOAT;<;2$B;20| |DFLOAT;>;2$B;21| (80 . |not|)
- |DFLOAT;<=;2$B;22| |DFLOAT;>=;2$B;23| |DFLOAT;-;2$;24|
- |DFLOAT;+;3$;25| |DFLOAT;-;3$;26| |DFLOAT;*;3$;27|
- |DFLOAT;*;I2$;28| |DFLOAT;max;3$;29| |DFLOAT;min;3$;30|
- |DFLOAT;=;2$B;31| |DFLOAT;/;$I$;32| |DFLOAT;sqrt;2$;33|
- |DFLOAT;log10;2$;34| |DFLOAT;**;$I$;35| |DFLOAT;**;3$;36|
- |DFLOAT;coerce;I$;37| |DFLOAT;exp;2$;38|
- |DFLOAT;log;2$;39| |DFLOAT;sin;2$;41| |DFLOAT;cos;2$;42|
- |DFLOAT;tan;2$;43| |DFLOAT;cot;2$;44| |DFLOAT;sec;2$;45|
- |DFLOAT;csc;2$;46| |DFLOAT;asin;2$;47| |DFLOAT;acos;2$;48|
- |DFLOAT;atan;2$;49| |DFLOAT;acsc;2$;50|
- |DFLOAT;acot;2$;51| |DFLOAT;asec;2$;52|
- |DFLOAT;sinh;2$;53| |DFLOAT;cosh;2$;54|
- |DFLOAT;tanh;2$;55| |DFLOAT;csch;2$;56|
- |DFLOAT;coth;2$;57| |DFLOAT;sech;2$;58|
- |DFLOAT;asinh;2$;59| |DFLOAT;acosh;2$;60|
- |DFLOAT;atanh;2$;61| |DFLOAT;acsch;2$;62|
- |DFLOAT;acoth;2$;63| |DFLOAT;asech;2$;64|
- |DFLOAT;negative?;$B;66| |DFLOAT;zero?;$B;67|
- |DFLOAT;one?;$B;68| (|SingleInteger|) |DFLOAT;hash;$Si;69|
- (|Union| $ '"failed") |DFLOAT;recip;$U;70|
- |DFLOAT;differentiate;2$;71|
- (|DoubleFloatSpecialFunctions|) (85 . |Gamma|)
- |DFLOAT;Gamma;2$;72| (90 . |Beta|) |DFLOAT;Beta;3$;73|
- |DFLOAT;float;2IPi$;75| (|Float|) (96 . |convert|)
+ |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| |DFLOAT;coerce;I$;37|
+ |DFLOAT;exp;2$;38| |DFLOAT;log;2$;39| |DFLOAT;sin;2$;41|
+ |DFLOAT;cos;2$;42| |DFLOAT;tan;2$;43| |DFLOAT;cot;2$;44|
+ |DFLOAT;sec;2$;45| |DFLOAT;csc;2$;46| |DFLOAT;asin;2$;47|
+ |DFLOAT;acos;2$;48| |DFLOAT;atan;2$;49|
+ |DFLOAT;acsc;2$;50| |DFLOAT;acot;2$;51|
+ |DFLOAT;asec;2$;52| |DFLOAT;sinh;2$;53|
+ |DFLOAT;cosh;2$;54| |DFLOAT;tanh;2$;55|
+ |DFLOAT;csch;2$;56| |DFLOAT;coth;2$;57|
+ |DFLOAT;sech;2$;58| |DFLOAT;asinh;2$;59|
+ |DFLOAT;acosh;2$;60| |DFLOAT;atanh;2$;61|
+ |DFLOAT;acsch;2$;62| |DFLOAT;acoth;2$;63|
+ |DFLOAT;asech;2$;64| |DFLOAT;negative?;$B;66|
+ |DFLOAT;zero?;$B;67| |DFLOAT;one?;$B;68| (|SingleInteger|)
+ |DFLOAT;hash;$Si;69| (|Union| $ '"failed")
+ |DFLOAT;recip;$U;70| |DFLOAT;differentiate;2$;71|
+ (|DoubleFloatSpecialFunctions|) (80 . |Gamma|)
+ |DFLOAT;Gamma;2$;72| (85 . |Beta|) |DFLOAT;Beta;3$;73|
+ |DFLOAT;float;2IPi$;75| (|Float|) (91 . |convert|)
|DFLOAT;convert;$F;77| (|Fraction| 26)
(|NonNegativeInteger|)
|DFLOAT;rationalApproximation;$2NniF;87|
- |DFLOAT;rationalApproximation;$NniF;78| (101 . |Zero|)
- |DFLOAT;abs;2$;85| |DFLOAT;atan;3$;79| (105 . |One|)
- |DFLOAT;retract;$F;80| (|Union| 115 '"failed")
+ |DFLOAT;rationalApproximation;$NniF;78| (96 . |Zero|)
+ |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| 26 '"failed") |DFLOAT;retractIfCan;$U;83|
- |DFLOAT;sign;$I;84| (109 . *) (115 . **) (121 . |Zero|)
- (125 . |Zero|) (129 . >=) (135 . **) (141 . |coerce|)
- (146 . -) (151 . <) (157 . **)
+ |DFLOAT;sign;$I;84| (104 . *) (110 . **) (116 . |Zero|)
+ (120 . |Zero|) (124 . >=) (130 . **) (136 . |coerce|)
+ (141 . -) (146 . <) (152 . **)
(|Record| (|:| |quotient| $) (|:| |remainder| $))
- (163 . |divide|) (169 . =) (175 . /) (181 . |abs|)
- (186 . *) (192 . <) (198 . |zero?|) (203 . |negative?|)
- (208 . |one?|) (213 . |numer|) (218 . |denom|)
- (223 . |odd?|) |DFLOAT;**;$F$;88|
- (|PatternMatchResult| 112 $) (|Pattern| 112)
- (|Factored| $) (|List| $) (|Union| 157 '"failed")
+ (158 . |divide|) (164 . =) (170 . /) (176 . |abs|)
+ (181 . *) (187 . <) (193 . |zero?|) (198 . |negative?|)
+ (203 . |one?|) (208 . |numer|) (213 . |denom|)
+ (218 . |odd?|) |DFLOAT;**;$F$;88|
+ (|PatternMatchResult| 111 $) (|Pattern| 111)
+ (|Factored| $) (|List| $) (|Union| 156 '"failed")
(|Record| (|:| |coef1| $) (|:| |coef2| $)
(|:| |generator| $))
(|Record| (|:| |coef1| $) (|:| |coef2| $))
- (|Union| 160 '"failed")
- (|Record| (|:| |coef| 157) (|:| |generator| $))
+ (|Union| 159 '"failed")
+ (|Record| (|:| |coef| 156) (|:| |generator| $))
(|SparseUnivariatePolynomial| $)
(|Record| (|:| |unit| $) (|:| |canonical| $)
(|:| |associate| $)))
- '#(~= 228 |zero?| 234 |wholePart| 239 |unitNormal| 244
- |unitCanonical| 249 |unit?| 254 |truncate| 259 |tanh| 264
- |tan| 269 |subtractIfCan| 274 |squareFreePart| 280
- |squareFree| 285 |sqrt| 290 |sizeLess?| 295 |sinh| 301
- |sin| 306 |sign| 311 |sech| 316 |sec| 321 |sample| 326
- |round| 330 |retractIfCan| 335 |retract| 345 |rem| 355
- |recip| 361 |rationalApproximation| 366 |quo| 379
- |principalIdeal| 385 |prime?| 390 |precision| 395
- |positive?| 399 |pi| 404 |patternMatch| 408 |order| 415
- |one?| 420 |nthRoot| 425 |norm| 431 |negative?| 436
- |multiEuclidean| 441 |min| 447 |max| 457 |mantissa| 467
- |log2| 472 |log10| 477 |log| 482 |lcm| 487 |latex| 498
- |inv| 503 |hash| 508 |gcdPolynomial| 513 |gcd| 519
- |fractionPart| 530 |floor| 535 |float| 540 |factor| 553
- |extendedEuclidean| 558 |exquo| 571 |expressIdealMember|
- 577 |exponent| 583 |exp1| 588 |exp| 592 |euclideanSize|
- 597 |divide| 602 |digits| 608 |differentiate| 612 |csch|
- 623 |csc| 628 |coth| 633 |cot| 638 |cosh| 643 |cos| 648
- |convert| 653 |coerce| 673 |characteristic| 703 |ceiling|
- 707 |bits| 712 |before?| 716 |base| 722 |atanh| 726 |atan|
- 731 |associates?| 742 |asinh| 748 |asin| 753 |asech| 758
- |asec| 763 |acsch| 768 |acsc| 773 |acoth| 778 |acot| 783
- |acosh| 788 |acos| 793 |abs| 798 |Zero| 803 |One| 807
- |OMwrite| 811 |Gamma| 835 D 840 |Beta| 851 >= 857 > 863 =
- 869 <= 875 < 881 / 887 - 899 + 910 ** 916 * 946)
+ '#(~= 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)
@@ -1064,14 +1069,14 @@
(|PrincipalIdealDomain|)
(|UniqueFactorizationDomain|)
(|GcdDomain|) (|DivisionRing|)
- (|IntegralDomain|) (|Algebra| 115)
+ (|IntegralDomain|) (|Algebra| 114)
(|Algebra| $$) (|DifferentialRing|)
(|CharacteristicZero|) (|OrderedRing|)
- (|Module| 115) (|EntireRing|)
+ (|Module| 114) (|EntireRing|)
(|CommutativeRing|) (|Module| $$)
- (|BiModule| 115 115) (|BiModule| $$ $$)
+ (|BiModule| 114 114) (|BiModule| $$ $$)
(|Ring|) (|OrderedAbelianGroup|)
- (|RightModule| 115) (|LeftModule| 115)
+ (|RightModule| 114) (|LeftModule| 114)
(|LeftModule| $$) (|Rng|)
(|RightModule| $$)
(|OrderedCancellationAbelianMonoid|)
@@ -1079,17 +1084,17 @@
(|OrderedAbelianMonoid|)
(|CancellationAbelianMonoid|)
(|OrderedAbelianSemiGroup|)
- (|LinearSet| 115) (|LinearSet| $$)
+ (|LinearSet| 114) (|LinearSet| $$)
(|AbelianMonoid|) (|Monoid|)
- (|PatternMatchable| 112) (|OrderedSet|)
- (|LeftLinearSet| 115)
- (|RightLinearSet| 115)
+ (|PatternMatchable| 111) (|OrderedSet|)
+ (|LeftLinearSet| 114)
+ (|RightLinearSet| 114)
(|LeftLinearSet| $$)
(|RightLinearSet| $$)
(|AbelianSemiGroup|) (|SemiGroup|)
(|LeftLinearSet| 26)
(|TranscendentalFunctionCategory|)
- (|RetractableTo| 115)
+ (|RetractableTo| 114)
(|RetractableTo| 26) (|RealConstant|)
(|SetCategory|) (|ConvertibleTo| 50)
(|ElementaryFunctionCategory|)
@@ -1097,79 +1102,79 @@
(|HyperbolicFunctionCategory|)
(|ArcTrigonometricFunctionCategory|)
(|TrigonometricFunctionCategory|)
- (|OpenMath|) (|ConvertibleTo| 155)
+ (|OpenMath|) (|ConvertibleTo| 154)
(|RadicalCategory|)
- (|ConvertibleTo| 112)
+ (|ConvertibleTo| 111)
(|ConvertibleTo| 13)
- (|CoercibleFrom| 115)
+ (|CoercibleFrom| 114)
(|CoercibleFrom| $$)
(|CoercibleFrom| 26) (|BasicType|)
(|CoercibleTo| 47))
- (|makeByteWordVec2| 164
+ (|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
24 19 0 0 30 2 24 0 24 0 31 1 0 0 26
32 2 0 0 24 0 34 2 26 0 0 0 39 0 26 0
40 2 26 0 0 0 41 1 47 0 13 48 1 50 0
- 13 51 1 19 0 0 55 1 106 13 13 107 2
- 106 13 13 13 109 1 112 0 13 113 0 26
- 0 119 0 24 0 122 2 26 0 26 0 130 2 26
- 0 0 116 131 0 115 0 132 0 116 0 133 2
- 26 19 0 0 134 2 24 0 0 116 135 1 115
- 0 26 136 1 26 0 0 137 2 116 19 0 0
- 138 2 116 0 0 116 139 2 26 140 0 0
- 141 2 26 19 0 0 142 2 115 0 26 26 143
- 1 26 0 0 144 2 26 0 116 0 145 2 26 19
- 0 0 146 1 115 19 0 147 1 115 19 0 148
- 1 115 19 0 149 1 115 26 0 150 1 115
- 26 0 151 1 26 19 0 152 2 0 19 0 0 1 1
- 0 19 0 99 1 0 26 0 35 1 0 164 0 1 1 0
- 0 0 1 1 0 19 0 1 1 0 0 0 1 1 0 0 0 88
- 1 0 0 0 76 2 0 103 0 0 1 1 0 0 0 1 1
- 0 156 0 1 1 0 0 0 67 2 0 19 0 0 1 1 0
- 0 0 86 1 0 0 0 74 1 0 26 0 129 1 0 0
- 0 91 1 0 0 0 78 0 0 0 1 1 0 0 0 1 1 0
- 124 0 125 1 0 127 0 128 1 0 115 0 123
- 1 0 26 0 126 2 0 0 0 0 1 1 0 103 0
- 104 2 0 115 0 116 118 3 0 115 0 116
- 116 117 2 0 0 0 0 1 1 0 162 157 1 1 0
- 19 0 1 0 0 24 29 1 0 19 0 1 0 0 0 46
- 3 0 154 0 155 154 1 1 0 26 0 42 1 0
- 19 0 100 2 0 0 0 26 1 1 0 0 0 1 1 0
- 19 0 98 2 0 158 157 0 1 0 0 0 38 2 0
- 0 0 0 64 0 0 0 37 2 0 0 0 0 63 1 0 26
- 0 27 1 0 0 0 33 1 0 0 0 68 1 0 0 0 73
- 1 0 0 157 1 2 0 0 0 0 1 1 0 8 0 1 1 0
- 0 0 1 1 0 101 0 102 2 0 163 163 163 1
- 1 0 0 157 1 2 0 0 0 0 1 1 0 0 0 1 1 0
- 0 0 1 3 0 0 26 26 24 111 2 0 0 26 26
- 1 1 0 156 0 1 2 0 159 0 0 1 3 0 161 0
- 0 0 1 2 0 103 0 0 1 2 0 158 157 0 1 1
- 0 26 0 28 0 0 0 45 1 0 0 0 72 1 0 116
- 0 1 2 0 140 0 0 1 0 0 24 1 1 0 0 0
- 105 2 0 0 0 116 1 1 0 0 0 89 1 0 0 0
- 79 1 0 0 0 90 1 0 0 0 77 1 0 0 0 87 1
- 0 0 0 75 1 0 50 0 52 1 0 155 0 1 1 0
- 112 0 114 1 0 13 0 14 1 0 0 115 1 1 0
- 0 26 71 1 0 0 115 1 1 0 0 0 1 1 0 0
- 26 71 1 0 47 0 49 0 0 116 1 1 0 0 0 1
- 0 0 24 36 2 0 19 0 0 1 0 0 24 25 1 0
- 0 0 94 2 0 0 0 0 121 1 0 0 0 82 2 0
- 19 0 0 1 1 0 0 0 92 1 0 0 0 80 1 0 0
- 0 97 1 0 0 0 85 1 0 0 0 95 1 0 0 0 83
- 1 0 0 0 96 1 0 0 0 84 1 0 0 0 93 1 0
- 0 0 81 1 0 0 0 120 0 0 0 23 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 108 1 0 0
- 0 1 2 0 0 0 116 1 2 0 0 0 0 110 2 0
- 19 0 0 57 2 0 19 0 0 54 2 0 19 0 0 65
- 2 0 19 0 0 56 2 0 19 0 0 53 2 0 0 0
- 26 66 2 0 0 0 0 44 2 0 0 0 0 60 1 0 0
- 0 58 2 0 0 0 0 59 2 0 0 0 0 70 2 0 0
- 0 115 153 2 0 0 0 26 69 2 0 0 0 116 1
- 2 0 0 0 24 1 2 0 0 115 0 1 2 0 0 0
- 115 1 2 0 0 0 0 61 2 0 0 26 0 62 2 0
- 0 116 0 1 2 0 0 24 0 34)))))
+ 13 51 1 105 13 13 106 2 105 13 13 13
+ 108 1 111 0 13 112 0 26 0 118 0 24 0
+ 121 2 26 0 26 0 129 2 26 0 0 115 130
+ 0 114 0 131 0 115 0 132 2 26 19 0 0
+ 133 2 24 0 0 115 134 1 114 0 26 135 1
+ 26 0 0 136 2 115 19 0 0 137 2 115 0 0
+ 115 138 2 26 139 0 0 140 2 26 19 0 0
+ 141 2 114 0 26 26 142 1 26 0 0 143 2
+ 26 0 115 0 144 2 26 19 0 0 145 1 114
+ 19 0 146 1 114 19 0 147 1 114 19 0
+ 148 1 114 26 0 149 1 114 26 0 150 1
+ 26 19 0 151 2 0 19 0 0 1 1 0 19 0 98
+ 1 0 26 0 35 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 26 0 128 1 0 0 0 90 1
+ 0 0 0 77 0 0 0 1 1 0 0 0 1 1 0 123 0
+ 124 1 0 126 0 127 1 0 114 0 122 1 0
+ 26 0 125 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 24 29 1 0 19 0 1 0 0 0 46 3 0 153
+ 0 154 153 1 1 0 26 0 42 1 0 19 0 99 2
+ 0 0 0 26 1 1 0 0 0 1 1 0 19 0 97 2 0
+ 157 156 0 1 0 0 0 38 2 0 0 0 0 63 0 0
+ 0 37 2 0 0 0 0 62 1 0 26 0 27 1 0 0 0
+ 33 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 26 26 24 110 2 0 0 26 26 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 26 0 28
+ 0 0 0 45 1 0 0 0 71 1 0 115 0 1 2 0
+ 139 0 0 1 0 0 24 1 1 0 0 0 104 2 0 0
+ 0 115 1 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 26 70 1 0
+ 0 114 1 1 0 0 0 1 1 0 0 26 70 1 0 47
+ 0 49 0 0 115 1 1 0 0 0 1 0 0 24 36 2
+ 0 19 0 0 1 0 0 24 25 1 0 0 0 93 2 0 0
+ 0 0 120 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
+ 119 0 0 0 23 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 1 0 0 0 1 2 0 0 0 115
+ 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 26 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 152 2 0 0
+ 0 26 68 2 0 0 0 115 1 2 0 0 0 24 1 2
+ 0 0 114 0 1 2 0 0 0 114 1 2 0 0 0 0
+ 60 2 0 0 26 0 61 2 0 0 115 0 1 2 0 0
+ 24 0 34)))))
'|lookupComplete|))
(MAKEPROP '|DoubleFloat| 'NILADIC T)
diff --git a/src/interp/g-opt.boot b/src/interp/g-opt.boot
index a582c8a2..249fbd1b 100644
--- a/src/interp/g-opt.boot
+++ b/src/interp/g-opt.boot
@@ -406,7 +406,7 @@ $VMsideEffectFreeOperators ==
%and %or %not %eq %ieq %ilt %ile %igt %ige %head %tail %integer?
%imul %iadd %isub %igcd %ilcm %ipow %imin %imax %ieven? %iodd? %iinc
%feq %flt %fle %fgt %fge %fmul %fadd %fsub %fexp %fmin %fmax %float?
- %fpow %nil %pair? %lconcat %llength %lfirst %lsecond %lthird
+ %fpow %fdiv %nil %pair? %lconcat %llength %lfirst %lsecond %lthird
%lreverse %lempty? %hash %ismall? %string?
%ceq %clt %cle %cgt %cge %c2i %i2c)
diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot
index d949a6fb..3e86213c 100644
--- a/src/interp/g-util.boot
+++ b/src/interp/g-util.boot
@@ -286,6 +286,8 @@ for x in [
['%float?,:'FLOATP],
-- binary float operations.
['%fadd, :"+"],
+ ['%fdiv, :"/"],
+ ['%feq, :"="],
['%fge, :">="],
['%fgt, :">"],
['%fle, :"<="],
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-16 07:26:34 +0000