aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/sf.spad.pamphlet
diff options
context:
space:
mode:
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