aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/sf.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-06-01 06:10:07 +0000
committerdos-reis <gdr@axiomatics.org>2009-06-01 06:10:07 +0000
commit78dd44d657fa65a8029d996aaf7ac05d2133f509 (patch)
treed5e4072febd7a48afbc1d2c48c2be4f4a3539638 /src/algebra/sf.spad.pamphlet
parent803d7a62fb91bb4083a0aaaaa20749574292e967 (diff)
downloadopen-axiom-78dd44d657fa65a8029d996aaf7ac05d2133f509.tar.gz
* interp/compiler.boot (compGreaterThan): New. Compile
greater-than expressions. * interp/parse.boot (parseGreaterThan): Remove. * algebra/data.spad.pamphlet (Byte): Implement all comparison functions. * algebra/integer.spad.pamphlet (Integer): Likewise. * algebra/sf.spad.pamphlet (DoubleFloat): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/string.spad.pamphlet (Character): Likewise.
Diffstat (limited to 'src/algebra/sf.spad.pamphlet')
-rw-r--r--src/algebra/sf.spad.pamphlet3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/algebra/sf.spad.pamphlet b/src/algebra/sf.spad.pamphlet
index 35c59b87..507957ad 100644
--- a/src/algebra/sf.spad.pamphlet
+++ b/src/algebra/sf.spad.pamphlet
@@ -342,6 +342,9 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath,
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 == (-x)$Lisp
x + y == (x+y)$Lisp
x:% - y:% == (x-y)$Lisp