diff options
Diffstat (limited to 'src/algebra/polset.spad.pamphlet')
| -rw-r--r-- | src/algebra/polset.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/polset.spad.pamphlet b/src/algebra/polset.spad.pamphlet index 5f20c1c8..74d4383c 100644 --- a/src/algebra/polset.spad.pamphlet +++ b/src/algebra/polset.spad.pamphlet @@ -395,7 +395,7 @@ GeneralPolynomialSet(R,E,VarSet,P) : Exports == Implementation where empty() == [] - parts ps == + members ps == ps pretend LP map (f : PtoP, ps : $) : $ == @@ -408,7 +408,7 @@ GeneralPolynomialSet(R,E,VarSet,P) : Exports == Implementation where member?(p,members(ps))$LP ps1 = ps2 == - {p for p in parts(ps1)} =$(Set P) {p for p in parts(ps2)} + {p for p in members(ps1)} =$(Set P) {p for p in members(ps2)} coerce(ps:$) : OutputForm == lp : List(P) := sort(infRittWu?,members(ps))$(List P) |