diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-05-19 21:38:54 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-05-19 21:38:54 +0000 |
| commit | 09469d002d15b88c105731142bce403a1aa5a21b (patch) | |
| tree | c91273f9d8a7b5ae5bd3efb0f67734db0fb49dee /src/algebra/triset.spad.pamphlet | |
| parent | 0d25890bd7bc8bd697294a3288396c23a2438879 (diff) | |
| download | open-axiom-09469d002d15b88c105731142bce403a1aa5a21b.tar.gz | |
* algebra/aggcat.spad.pamphlet (Aggregate) [more?,less?,size?]:
Move to StreamAggregate.
* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory):
Don't implement them.
* algebra/tree.spad.pamphlet (Tree): Likewise.
Diffstat (limited to 'src/algebra/triset.spad.pamphlet')
| -rw-r--r-- | src/algebra/triset.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/triset.spad.pamphlet b/src/algebra/triset.spad.pamphlet index 562994e3..2ddac8a7 100644 --- a/src/algebra/triset.spad.pamphlet +++ b/src/algebra/triset.spad.pamphlet @@ -1345,7 +1345,7 @@ PolynomialSetUtilitiesPackage (R,E,V,P) : Exports == Implementation where lp := removeSquaresIfCan lp lp := removeDuplicates [unitCanonical(p) for p in lp] empty? lp => lp - size?(lp,1$N)$(List P) => lp + #lp = 1$N => lp lp := sort(infRittWu?,lp) p : P := first lp lp := rest lp |