diff options
Diffstat (limited to 'src/algebra/gbeuclid.spad.pamphlet')
| -rw-r--r-- | src/algebra/gbeuclid.spad.pamphlet | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/algebra/gbeuclid.spad.pamphlet b/src/algebra/gbeuclid.spad.pamphlet index 963e210b..5b708afc 100644 --- a/src/algebra/gbeuclid.spad.pamphlet +++ b/src/algebra/gbeuclid.spad.pamphlet @@ -389,9 +389,8 @@ EuclideanGroebnerBasisPackage(Dom, Expon, VarSet, Dpol): T == C where ds:= degree s lf1:= leadingCoefficient(f1) ls:= leadingCoefficient(s) - e: Union(Expon, "failed") - (((e:= subtractIfCan(ds, degree f1)) case "failed" ) or sizeLess?(ls, lf1) ) => - eRed(s, rest(H), Hh) + e := subtractIfCan(ds, degree f1) + ((e case nothing) or sizeLess?(ls, lf1) ) => eRed(s, rest(H), Hh) sdf1:= divide(ls, lf1) q1:= sdf1.quotient sdf1.remainder = 0 => @@ -414,9 +413,8 @@ EuclideanGroebnerBasisPackage(Dom, Expon, VarSet, Dpol): T == C where --- crit M - true, if lcm#2 multiple of lcm#1 ecritM(e1: Expon, c1: Dom, e2: Expon, c2: Dom) == - en: Union(Expon, "failed") - ((en:=subtractIfCan(e2, e1)) case "failed") or - ((c2 exquo c1) case "failed") => false + en := subtractIfCan(e2, e1) + (en case nothing) or ((c2 exquo c1) case "failed") => false true ---------------------------- |