diff options
Diffstat (limited to 'src/algebra/expr.spad.pamphlet')
-rw-r--r-- | src/algebra/expr.spad.pamphlet | 3 |
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 |