aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/expr.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/expr.spad.pamphlet')
-rw-r--r--src/algebra/expr.spad.pamphlet3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/expr.spad.pamphlet b/src/algebra/expr.spad.pamphlet
index 6c73da2a..fa8cfe82 100644
--- a/src/algebra/expr.spad.pamphlet
+++ b/src/algebra/expr.spad.pamphlet
@@ -85,8 +85,7 @@ Expression(R:OrderedSet): Exports == Implementation where
Rep := Fraction MP
0 == 0$Rep
1 == 1$Rep
--- one? x == one?(x)$Rep
- one? x == (x = 1)$Rep
+ one? x == one?(x)$Rep
zero? x == zero?(x)$Rep
- x:% == -$Rep x
n:Integer * x:% == n *$Rep x