aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/ideal.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-04-03 04:23:42 +0000
committerdos-reis <gdr@axiomatics.org>2008-04-03 04:23:42 +0000
commit001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch)
treeda9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/ideal.spad.pamphlet
parenta7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff)
downloadopen-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/ideal.spad.pamphlet')
-rw-r--r--src/algebra/ideal.spad.pamphlet12
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]