diff options
Diffstat (limited to 'src/algebra/ideal.spad.pamphlet')
-rw-r--r-- | src/algebra/ideal.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/ideal.spad.pamphlet b/src/algebra/ideal.spad.pamphlet index 311be81b..936b9d0c 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" + not zero? n => "failed" ((g:=oldpoly reductum q) case "failed") => "failed" monomial(leadingCoefficient q,selectsecond dq)$DPoly + (g::DPoly) @@ -379,7 +379,7 @@ PolynomialIdeals(F,Expon,VarSet,DPoly) : C == T vec2.i:=1 g:nPoly:=0$nPoly pol:=0$P - while f~=0 repeat + while not zero? f repeat df:=degree(f-reductum f,lvint) lcf:=leadingCoefficient f pol:=pol+monompol(df,lcf,lvint) @@ -400,7 +400,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 not zero? q repeat dq:=degree q lcq:=leadingCoefficient q q:=reductum q @@ -417,7 +417,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|not zero? f],false] groebnerIdeal(Id:List DPoly) : Ideal == [Id,true] |