diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-19 19:54:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-19 19:54:24 +0000 |
| commit | 070cfd40cc4752cdc20783038fcbdbe9fcc07eff (patch) | |
| tree | f24f426e5175435fcc2dcc19d7664bdea0441afa /src/algebra/polset.spad.pamphlet | |
| parent | d9777ce9dcd2bcde348bba152d4667559b025d9d (diff) | |
| download | open-axiom-070cfd40cc4752cdc20783038fcbdbe9fcc07eff.tar.gz | |
* algebra/newdata.spad.pamphlet (SplittingTree): Include
ShallowlyMutableAggregate S in exports.
* algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude
ShallowlyMutableAggregate P.
* algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
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 |