diff options
Diffstat (limited to 'src/algebra/fr.spad.pamphlet')
| -rw-r--r-- | src/algebra/fr.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/fr.spad.pamphlet b/src/algebra/fr.spad.pamphlet index a77e5370..babaa801 100644 --- a/src/algebra/fr.spad.pamphlet +++ b/src/algebra/fr.spad.pamphlet @@ -187,7 +187,7 @@ Factored(R: IntegralDomain): Exports == Implementation where -- l := concat(convert(rec.fctr)@InputForm, l) -- l := concat(convert(rec.fctr)@InputForm ** rec.xpnt, l) empty? l => convert(unit x)@InputForm - if unit x ~= 1 then l := concat(convert(unit x)@InputForm,l) + if not one? unit x then l := concat(convert(unit x)@InputForm,l) empty? rest l => first l binary(convert(_*::Symbol)@InputForm, l)@InputForm |