diff options
Diffstat (limited to 'src/algebra/reclos.spad.pamphlet')
| -rw-r--r-- | src/algebra/reclos.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/reclos.spad.pamphlet b/src/algebra/reclos.spad.pamphlet index e5d2ece2..3aa33230 100644 --- a/src/algebra/reclos.spad.pamphlet +++ b/src/algebra/reclos.spad.pamphlet @@ -1137,11 +1137,11 @@ RealClosure(TheField): PUB == PRIV where x.outForm, x.order]$Rec) - nonNull(rep:Rec):$ == - degree(rep.val)=0 => leadingCoefficient(rep.val) - numberOfMonomials(rep.val) = 1 => rep - zero?(rep.val,rep.seg)$SEG => 0 - rep + nonNull(r:Rec):$ == + degree(r.val)=0 => leadingCoefficient(r.val) + numberOfMonomials(r.val) = 1 => r + zero?(r.val,r.seg)$SEG => 0 + r -- zero?(x) == -- x case TheField => zero?(x)$TheField |