diff options
Diffstat (limited to 'src/algebra/gbintern.spad.pamphlet')
| -rw-r--r-- | src/algebra/gbintern.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/gbintern.spad.pamphlet b/src/algebra/gbintern.spad.pamphlet index 2c3d430f..830c34ea 100644 --- a/src/algebra/gbintern.spad.pamphlet +++ b/src/algebra/gbintern.spad.pamphlet @@ -124,7 +124,7 @@ GroebnerInternalPackage(Dom, Expon, VarSet, Dpol): T == C where basPols:= updatF(hMonic(first Pol1),virtualDegree(first Pol1),[]) Pol1:= rest(Pol1) D:= nil - while _^ null Pol1 repeat + while not null Pol1 repeat h:= hMonic(first(Pol1)) Pol1:= rest(Pol1) toth := virtualDegree h @@ -137,7 +137,7 @@ GroebnerInternalPackage(Dom, Expon, VarSet, Dpol): T == C where -------- loop redPols := [x.pol for x in basPols] - while _^ null D repeat + while not null D repeat D0:= first D s:= hMonic(sPol(D0)) D:= rest(D) @@ -261,7 +261,7 @@ GroebnerInternalPackage(Dom, Expon, VarSet, Dpol): T == C where redPo(s: Dpol, F: List(Dpol)) == m:Dom := 1 Fh := F - while _^ ( s = 0 or null F ) repeat + while not ( s = 0 or null F ) repeat f1:= first(F) s1:= degree(s) e: Union(Expon, "failed") @@ -291,8 +291,8 @@ GroebnerInternalPackage(Dom, Expon, VarSet, Dpol): T == C where ---------------------------- - --- crit B - true, if eik is a multiple of eh and eik ^equal - --- lcm(eh,ei) and eik ^equal lcm(eh,ek) + --- crit B - true, if eik is a multiple of eh and eik not equal + --- lcm(eh,ei) and eik not equal lcm(eh,ek) critB(eh:Expon, eik:Expon, ei:Expon, ek:Expon) == critM(eh, eik) and (eik ~= sup(eh, ei)) and (eik ~= sup(eh, ek)) |