diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-31 13:56:20 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-31 13:56:20 +0000 |
commit | e8df02fd0970cad96e174ffb5b7707081266f371 (patch) | |
tree | 5e5322ecc176e9e8bb2bc5caad00409a0a687f42 /src/algebra/gbeuclid.spad.pamphlet | |
parent | 3c58b07e75e2c6cc1cd57d2902aa305335161e5e (diff) | |
download | open-axiom-e8df02fd0970cad96e174ffb5b7707081266f371.tar.gz |
* algebra/boolean.spad.pamphlet (Boolean): Remove definition of
operator ^.
* algebra/aggcat.spad.pamphlet (BitAggregate): Likewise.
* algebra/color.spad.pamphlet: Replace use of '^' as logical
negation by 'not'.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/gaussfac.spad.pamphlet: Likewise.
* algebra/gbeuclid.spad.pamphlet: Likewise.
* algebra/gbintern.spad.pamphlet: Likewise.
* algebra/ghensel.spad.pamphlet: Likewise.
* algebra/groebsol.spad.pamphlet: Likewise.
* algebra/ideal.spad.pamphlet: Likewise.
* algebra/idecomp.spad.pamphlet: Likewise.
* algebra/indexedp.spad.pamphlet: Likewise.
* algebra/listgcd.spad.pamphlet: Likewise.
* algebra/mfinfact.spad.pamphlet: Likewise.
* algebra/modgcd.spad.pamphlet: Likewise.
* algebra/multfact.spad.pamphlet: Likewise.
* algebra/multsqfr.spad.pamphlet: Likewise.
* algebra/newpoint.spad.pamphlet: Likewise.
* algebra/npcoef.spad.pamphlet: Likewise.
* algebra/permgrps.spad.pamphlet: Likewise.
* algebra/pgcd.spad.pamphlet: Likewise.
* algebra/pleqn.spad.pamphlet: Likewise.
* algebra/qalgset.spad.pamphlet: Likewise.
* algebra/radeigen.spad.pamphlet: Likewise.
* algebra/rep2.spad.pamphlet: Likewise.
* algebra/solverad.spad.pamphlet: Likewise.
* algebra/space.spad.pamphlet: Likewise.
* algebra/view2D.spad.pamphlet: Likewise.
* algebra/strap/: Update cached Lisp translateion
* share/algebra/: Update databases.
Diffstat (limited to 'src/algebra/gbeuclid.spad.pamphlet')
-rw-r--r-- | src/algebra/gbeuclid.spad.pamphlet | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/gbeuclid.spad.pamphlet b/src/algebra/gbeuclid.spad.pamphlet index 660e9230..47857e87 100644 --- a/src/algebra/gbeuclid.spad.pamphlet +++ b/src/algebra/gbeuclid.spad.pamphlet @@ -189,7 +189,7 @@ EuclideanGroebnerBasisPackage(Dom, Expon, VarSet, Dpol): T == C where H:= Pol Pol1:= rest(Pol1) D:= nil - while ^null Pol1 repeat + while not null Pol1 repeat h:= first(Pol1) Pol1:= rest(Pol1) en:= degree(h) @@ -214,7 +214,7 @@ EuclideanGroebnerBasisPackage(Dom, Expon, VarSet, Dpol): T == C where -------- loop - while ^null D repeat + while not null D repeat D0:= first D ep:=esPol(D0) D:= rest(D) @@ -235,7 +235,7 @@ EuclideanGroebnerBasisPackage(Dom, Expon, VarSet, Dpol): T == C where #2.lcmfij) or (( #1.lcmfij = #2.lcmfij ) and ( sizeLess?(#1.lcmcij,#2.lcmcij)) ), dd1)), ecritBonD(eh,D)) Pol:= cons(eh,eupdatF(eh,Pol)) - ^ecrithinH(eh,H) or + not ecrithinH(eh,H) or ((e = degree(first(H))) and (leadingCoefficient(eh) = leadingCoefficient(first(H)) ) ) => if xx2 = 1 then ala:= prindINFO(D0,ep,eh,#H, #D, xx) @@ -420,15 +420,15 @@ EuclideanGroebnerBasisPackage(Dom, Expon, VarSet, Dpol): T == C where true ---------------------------- - --- 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) ecritB(eh:Expon, ch: Dom, ei:Expon, ci: Dom, ek:Expon, ck: Dom) == eik:= sup(ei, ek) cik:= lcm(ci, ck) ecritM(eh, ch, eik, cik) and - ^ecritM(eik, cik, sup(ei, eh), lcm(ci, ch)) and - ^ecritM(eik, cik, sup(ek, eh), lcm(ck, ch)) + not ecritM(eik, cik, sup(ei, eh), lcm(ci, ch)) and + not ecritM(eik, cik, sup(ek, eh), lcm(ck, ch)) ------------------------------- |