diff options
Diffstat (limited to 'src/algebra/qalgset.spad.pamphlet')
| -rw-r--r-- | src/algebra/qalgset.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/qalgset.spad.pamphlet b/src/algebra/qalgset.spad.pamphlet index 400aba47..30e121fe 100644 --- a/src/algebra/qalgset.spad.pamphlet +++ b/src/algebra/qalgset.spad.pamphlet @@ -189,7 +189,7 @@ QuasiAlgebraicSet(R, Var,Expon,Dpoly) : C == T minset lset == empty? lset => lset - [s for s in lset | ^(overset?(s,lset))] + [s for s in lset | not (overset?(s,lset))] overset?(p,qlist) == empty? qlist => false |