diff options
Diffstat (limited to 'src/algebra/syssolp.spad.pamphlet')
| -rw-r--r-- | src/algebra/syssolp.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/syssolp.spad.pamphlet b/src/algebra/syssolp.spad.pamphlet index 8fd97610..3fb9ba0a 100644 --- a/src/algebra/syssolp.spad.pamphlet +++ b/src/algebra/syssolp.spad.pamphlet @@ -153,7 +153,7 @@ SystemSolvePackage(R): Cat == Cap where 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/[not zero?(redPol(fq,pr pretend List(dmp))$gb) for fq in lq]] [[retract pushdown(pf,lvv)$push for pf in pr] for pr in parRes] |