diff options
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)] |