diff options
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 |