diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
| commit | 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch) | |
| tree | da9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/lingrob.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/lingrob.spad.pamphlet')
| -rw-r--r-- | src/algebra/lingrob.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/lingrob.spad.pamphlet b/src/algebra/lingrob.spad.pamphlet index 29e2b34f..290c39e6 100644 --- a/src/algebra/lingrob.spad.pamphlet +++ b/src/algebra/lingrob.spad.pamphlet @@ -115,7 +115,7 @@ LinGroebnerPackage(lv,F) : C == T ofirstmon:DPoly:=1$DPoly orecfmon:Record(poly:HDPoly, mult:F) := [1,1] i:NNI:=2 - while (firstmon:=choosemon(firstmon,ltresult))^=1 repeat + while (firstmon:=choosemon(firstmon,ltresult))~=1 repeat if (v:=firstmon exquo ofirstmon) case "failed" then recfmon:=rRedPol(transform firstmon,B) else @@ -213,7 +213,7 @@ LinGroebnerPackage(lv,F) : C == T part:List HDPoly :=[] for f in lr repeat g:=x::HDPoly * f - if redPo(g,mB).poly^=0 then part:=concat(g,part) + if redPo(g,mB).poly~=0 then part:=concat(g,part) concat(part,intcompBasis(x,part,mB)) ----- coordinate of f with respect to the basis B ----- @@ -221,7 +221,7 @@ LinGroebnerPackage(lv,F) : C == T coord(f:HDPoly,B:List HDPoly) : VF == ndim := #B vv:VF:=new(ndim,0$F)$VF - while f^=0 repeat + while f~=0 repeat rf := reductum f lf := f-rf lcf := leadingCoefficient f @@ -241,7 +241,7 @@ LinGroebnerPackage(lv,F) : C == T for x in reverse lvar repeat xx:=x ::DPoly mf:=xx*mf - if redPo(mf,nB).poly ^= 0 then return mf + if redPo(mf,nB).poly ~= 0 then return mf dx := degree(mf,x) mf := (mf exquo (xx ** dx))::DPoly mf @@ -272,7 +272,7 @@ LinGroebnerPackage(lv,F) : C == T ofirstmon:DPoly:=1$DPoly orecfmon:Record(poly:HDPoly, mult:F) := [1,1] lx:= lvar.last - while (firstmon:=choosemon(firstmon,ltresult))^=1 repeat + while (firstmon:=choosemon(firstmon,ltresult))~=1 repeat if (v:=firstmon exquo ofirstmon) case "failed" then recfmon:=rRedPol(transform(eval(firstmon,lx,nval)),B) else |