diff options
Diffstat (limited to 'src/algebra/ideal.spad.pamphlet')
| -rw-r--r-- | src/algebra/ideal.spad.pamphlet | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/ideal.spad.pamphlet b/src/algebra/ideal.spad.pamphlet index f1ba1d61..980cba38 100644 --- a/src/algebra/ideal.spad.pamphlet +++ b/src/algebra/ideal.spad.pamphlet @@ -174,7 +174,7 @@ PolynomialIdeals(F,Expon,VarSet,DPoly) : C == T q=0$newPoly => 0$DPoly dq:newExpon:=degree q n:NNI:=selectfirst (dq) - n^=0 => "failed" + n~=0 => "failed" ((g:=oldpoly reductum q) case "failed") => "failed" monomial(leadingCoefficient q,selectsecond dq)$DPoly + (g::DPoly) @@ -218,7 +218,7 @@ PolynomialIdeals(F,Expon,VarSet,DPoly) : C == T lsubset : List List VarSet := sort(#(#1)>#(#2),subset(lv)) for subs in lsubset repeat ldif:List VarSet:= lv - for mvset in monvar while ldif ^=[] repeat + for mvset in monvar while ldif ~=[] repeat ldif:=setDifference(mvset,subs) if ^(empty? ldif) then return #subs 0 @@ -378,7 +378,7 @@ PolynomialIdeals(F,Expon,VarSet,DPoly) : C == T vec2.i:=1 g:nPoly:=0$nPoly pol:=0$P - while f^=0 repeat + while f~=0 repeat df:=degree(f-reductum f,lvint) lcf:=leadingCoefficient f pol:=pol+monompol(df,lcf,lvint) @@ -390,7 +390,7 @@ PolynomialIdeals(F,Expon,VarSet,DPoly) : C == T leq : List Equation P := [p = pol for p in npol for pol in reverse lp ] lf:=(groebner lf)$gp - while lf^=[] repeat + while lf~=[] repeat q:=lf.first dq:nExponent:=degree q n:=selectfirst (dq) @@ -399,7 +399,7 @@ PolynomialIdeals(F,Expon,VarSet,DPoly) : C == T solsn:List P:=[] for q in lf repeat g:Polynomial F :=0 - while q^=0 repeat + while q~=0 repeat dq:=degree q lcq:=leadingCoefficient q q:=reductum q @@ -416,7 +416,7 @@ PolynomialIdeals(F,Expon,VarSet,DPoly) : C == T empty? Idl => [0$DPoly] :: OutputForm Idl :: OutputForm - ideal(Id:List DPoly) :Ideal == [[f for f in Id|f^=0],false] + ideal(Id:List DPoly) :Ideal == [[f for f in Id|f~=0],false] groebnerIdeal(Id:List DPoly) : Ideal == [Id,true] |