diff options
Diffstat (limited to 'src/algebra/gbintern.spad.pamphlet')
| -rw-r--r-- | src/algebra/gbintern.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/gbintern.spad.pamphlet b/src/algebra/gbintern.spad.pamphlet index 77e72e6f..d6d37fd9 100644 --- a/src/algebra/gbintern.spad.pamphlet +++ b/src/algebra/gbintern.spad.pamphlet @@ -264,8 +264,8 @@ GroebnerInternalPackage(Dom, Expon, VarSet, Dpol): T == C where while not ( s = 0 or null F ) repeat f1:= first(F) s1:= degree(s) - e: Union(Expon, "failed") - (e:= subtractIfCan(s1, degree(f1))) case Expon => + e := subtractIfCan(s1, degree(f1)) + e case Expon => cc:=gcdCo(leadingCoefficient f1, leadingCoefficient s) s:=cc.co1*reductum(s) - monomial(cc.co2,e)*reductum(f1) m := m*cc.co1 @@ -286,8 +286,8 @@ GroebnerInternalPackage(Dom, Expon, VarSet, Dpol): T == C where --- crit M - true, if lcm#2 multiple of lcm#1 critM(e1: Expon, e2: Expon) == - en: Union(Expon, "failed") - (en:=subtractIfCan(e2, e1)) case Expon + en := subtractIfCan(e2, e1) + en case Expon ---------------------------- |