aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/constant.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/constant.spad.pamphlet')
-rw-r--r--src/algebra/constant.spad.pamphlet3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/constant.spad.pamphlet b/src/algebra/constant.spad.pamphlet
index 8cab8cc9..5672e9af 100644
--- a/src/algebra/constant.spad.pamphlet
+++ b/src/algebra/constant.spad.pamphlet
@@ -85,8 +85,7 @@ InnerAlgebraicNumber(): Exports == Implementation where
a,b:%
differentiate(x:%):% == 0
zero? a == zero? numer a
--- one? a == one? numer a and one? denom a
- one? a == (numer a = 1) and (denom a = 1)
+ one? a == one? numer a and one? denom a
x:% / y:% == mainRatDenom(x /$Rep y)
x:% ** n:Integer ==
n < 0 => mainRatDenom (x **$Rep n)