diff options
Diffstat (limited to 'src/algebra/polset.spad.pamphlet')
| -rw-r--r-- | src/algebra/polset.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/polset.spad.pamphlet b/src/algebra/polset.spad.pamphlet index 74d4383c..2752335c 100644 --- a/src/algebra/polset.spad.pamphlet +++ b/src/algebra/polset.spad.pamphlet @@ -375,13 +375,11 @@ GeneralPolynomialSet(R,E,VarSet,P) : Exports == Implementation where LP ==> List P PtoP ==> P -> P - Exports == PolynomialSetCategory(R,E,VarSet,P) with + Exports == Join(PolynomialSetCategory(R,E,VarSet,P),ShallowlyMutableAggregate P) with convert : LP -> $ ++ \axiom{convert(lp)} returns the polynomial set whose members ++ are the polynomials of \axiom{lp}. - shallowlyMutable - Implementation == add Rep := List P |