diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
| commit | 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch) | |
| tree | da9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/syssolp.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/syssolp.spad.pamphlet')
| -rw-r--r-- | src/algebra/syssolp.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/syssolp.spad.pamphlet b/src/algebra/syssolp.spad.pamphlet index 2a7f1250..ef019257 100644 --- a/src/algebra/syssolp.spad.pamphlet +++ b/src/algebra/syssolp.spad.pamphlet @@ -146,13 +146,13 @@ SystemSolvePackage(R): Cat == Cap where push:=PushVariables(R,DP,OV,dmp) lq : L dmp lvv:L OV:=[variable(vv)::OV for vv in lv] - lq:=[pushup(df::dmp,lvv)$push for f in lf|(df:=denom f)^=1] + lq:=[pushup(df::dmp,lvv)$push for f in lf|(df:=denom f)~=1] lp:=[pushup(numer(f)::dmp,lvv)$push for f in lf] parRes:=groebSolve(lp,lvv)$GroebnerSolve(lv,P R,R) - if lq^=[] then + if lq~=[] then gb:=GroebnerInternalPackage(P R,DirectProduct(#lv,NNI),OV,dmp) parRes:=[pr for pr in parRes| - and/[(redPol(fq,pr pretend List(dmp))$gb) ^=0 + and/[(redPol(fq,pr pretend List(dmp))$gb) ~=0 for fq in lq]] [[retract pushdown(pf,lvv)$push for pf in pr] for pr in parRes] @@ -199,7 +199,7 @@ SystemSolvePackage(R): Cat == Cap where rec.particular case "failed" => "failed" rhs := rec.particular :: V F zeron:V F:=zero(#lv) - for p in rec.basis | p ^= zeron repeat + for p in rec.basis | p ~= zeron repeat sym := newInF(1) for i in 1..#lv repeat rhs.i := rhs.i + sym*p.i |