diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-12 22:56:37 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-12 22:56:37 +0000 |
| commit | 6c75a87d8ee00d48a0f5703aa9c86591078a50d3 (patch) | |
| tree | 28ff587bbc4d759dd0e3f96b156700ff01ba8c53 /src/algebra/idecomp.spad.pamphlet | |
| parent | a2e3e641bdbcb6e77bbb572aea25a748a967abca (diff) | |
| download | open-axiom-6c75a87d8ee00d48a0f5703aa9c86591078a50d3.tar.gz | |
* src/algebra/: Systematically use not one? when comparing for
equality with 1.
Diffstat (limited to 'src/algebra/idecomp.spad.pamphlet')
| -rw-r--r-- | src/algebra/idecomp.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/idecomp.spad.pamphlet b/src/algebra/idecomp.spad.pamphlet index cec341b3..8dd14b10 100644 --- a/src/algebra/idecomp.spad.pamphlet +++ b/src/algebra/idecomp.spad.pamphlet @@ -145,7 +145,7 @@ IdealDecompositionPackage(vl,nv) : C == T -- take away nv, now doesn't lf:=Id.first pv:DPoly:=0 pw:DPoly:=0 - while degree(lf,y)~=1 repeat + while not one? degree(lf,y) repeat val:=random()$Z rem 23 pv:=px+val*py pw:=px-val*py @@ -296,7 +296,7 @@ IdealDecompositionPackage(vl,nv) : C == T -- take away nv, now doesn't is0dimprimary(J:FIdeal,truelist:List OV) : Boolean == element?(1,J) => true Jd:=generators(groebner J) - #(factors factor Jd.last)~=1 => return false + not one?(#(factors factor Jd.last)) => return false i:=subtractIfCan(#truelist,1) (i case "failed") => return true JR:=(reverse Jd);JM:=groebnerIdeal([JR.first]);JP:List(DPoly):=[] @@ -356,7 +356,7 @@ IdealDecompositionPackage(vl,nv) : C == T -- take away nv, now doesn't #Jd~=n => false for f in Jd repeat if not ismonic(f,lvint.i) then return false - if i<n and (degree univariate(f,lvint.i))~=1 then return false + if i<n and not one?(degree univariate(f,lvint.i)) then return false i:=i+1 g:=Jd.n #(lfact:=factors(factor g)) >1 => false |