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/triset.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/triset.spad.pamphlet')
-rw-r--r-- | src/algebra/triset.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/triset.spad.pamphlet b/src/algebra/triset.spad.pamphlet index 8f821470..a5b11680 100644 --- a/src/algebra/triset.spad.pamphlet +++ b/src/algebra/triset.spad.pamphlet @@ -51,9 +51,7 @@ import List TriangularSetCategory(R:IntegralDomain,E:OrderedAbelianMonoidSup,_ V:OrderedSet,P:RecursivePolynomialCategory(R,E,V)): Category == - PolynomialSetCategory(R,E,V,P) with - shallowlyMutable - + Join(PolynomialSetCategory(R,E,V,P),ShallowlyMutableAggregate P) with infRittWu? : ($,$) -> Boolean ++ \axiom{infRittWu?(ts1,ts2)} returns true iff \axiom{ts2} has higher rank ++ than \axiom{ts1} in Wu Wen Tsun sense. |