diff options
Diffstat (limited to 'src/algebra/polycat.spad.pamphlet')
-rw-r--r-- | src/algebra/polycat.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet index 9f86558a..0847febd 100644 --- a/src/algebra/polycat.spad.pamphlet +++ b/src/algebra/polycat.spad.pamphlet @@ -181,8 +181,7 @@ FiniteAbelianMonoidRing(R:Ring, E:OrderedAbelianMonoid): Category == zero? x => 0 r:=leadingCoefficient x x:=reductum x --- while not zero? x and not one? r repeat - while not zero? x and not (r = 1) repeat + while not zero? x and not one? r repeat r:=gcd(r,leadingCoefficient x) x:=reductum x r @@ -375,8 +374,7 @@ PolynomialCategory(R:Ring, E:OrderedAbelianMonoidSup, VarSet:OrderedSet): isTimes p == empty?(lv := variables p) or not monomial? p => "failed" l := [monomial(1, v, degree(p, v)) for v in lv] --- one?(r := leadingCoefficient p) => - ((r := leadingCoefficient p) = 1) => + one?(r := leadingCoefficient p) => empty? rest lv => "failed" l concat(r::%, l) |