diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-31 13:56:20 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-31 13:56:20 +0000 |
| commit | e8df02fd0970cad96e174ffb5b7707081266f371 (patch) | |
| tree | 5e5322ecc176e9e8bb2bc5caad00409a0a687f42 /src/algebra/pleqn.spad.pamphlet | |
| parent | 3c58b07e75e2c6cc1cd57d2902aa305335161e5e (diff) | |
| download | open-axiom-e8df02fd0970cad96e174ffb5b7707081266f371.tar.gz | |
* algebra/boolean.spad.pamphlet (Boolean): Remove definition of
operator ^.
* algebra/aggcat.spad.pamphlet (BitAggregate): Likewise.
* algebra/color.spad.pamphlet: Replace use of '^' as logical
negation by 'not'.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/gaussfac.spad.pamphlet: Likewise.
* algebra/gbeuclid.spad.pamphlet: Likewise.
* algebra/gbintern.spad.pamphlet: Likewise.
* algebra/ghensel.spad.pamphlet: Likewise.
* algebra/groebsol.spad.pamphlet: Likewise.
* algebra/ideal.spad.pamphlet: Likewise.
* algebra/idecomp.spad.pamphlet: Likewise.
* algebra/indexedp.spad.pamphlet: Likewise.
* algebra/listgcd.spad.pamphlet: Likewise.
* algebra/mfinfact.spad.pamphlet: Likewise.
* algebra/modgcd.spad.pamphlet: Likewise.
* algebra/multfact.spad.pamphlet: Likewise.
* algebra/multsqfr.spad.pamphlet: Likewise.
* algebra/newpoint.spad.pamphlet: Likewise.
* algebra/npcoef.spad.pamphlet: Likewise.
* algebra/permgrps.spad.pamphlet: Likewise.
* algebra/pgcd.spad.pamphlet: Likewise.
* algebra/pleqn.spad.pamphlet: Likewise.
* algebra/qalgset.spad.pamphlet: Likewise.
* algebra/radeigen.spad.pamphlet: Likewise.
* algebra/rep2.spad.pamphlet: Likewise.
* algebra/solverad.spad.pamphlet: Likewise.
* algebra/space.spad.pamphlet: Likewise.
* algebra/view2D.spad.pamphlet: Likewise.
* algebra/strap/: Update cached Lisp translateion
* share/algebra/: Update databases.
Diffstat (limited to 'src/algebra/pleqn.spad.pamphlet')
| -rw-r--r-- | src/algebra/pleqn.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/pleqn.spad.pamphlet b/src/algebra/pleqn.spad.pamphlet index f5653815..fa296d65 100644 --- a/src/algebra/pleqn.spad.pamphlet +++ b/src/algebra/pleqn.spad.pamphlet @@ -449,7 +449,7 @@ ParametricLinearEquations(R,Var,Expon,GR): test:=hasoln(zro, [rc.det]) -- zroideal:=ideal(zro) -- inRadical? (p, zroideal) => "incompatible or covered" - ^test.sysok => "incompatible or covered" + not test.sysok => "incompatible or covered" -- The next line is WRONG! cannot replace zro by test.z0 -- zro:=groebner$gb (cons(*/test.n0, test.z0)) zro:=groebner$gb (cons(p,zro)) @@ -549,7 +549,7 @@ ParametricLinearEquations(R,Var,Expon,GR): zro:=groebner$gb [*/x for x in psbf] inconsistent? zro => [false, zro, nzro] nzro:=[redPol$rp (p,zro) for p in nzro] - nzro:=[p for p in nzro | ^(ground? p)] + nzro:=[p for p in nzro | not (ground? p)] [true, zro, nzro] @@ -596,7 +596,7 @@ ParametricLinearEquations(R,Var,Expon,GR): minset lset == empty? lset => lset - [x for x in lset | ^(overset?(x,lset))] + [x for x in lset | not (overset?(x,lset))] sqfree p == */[j.factor for j in factors(squareFree p)] |