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/tree.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/tree.spad.pamphlet')
-rw-r--r-- | src/algebra/tree.spad.pamphlet | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/algebra/tree.spad.pamphlet b/src/algebra/tree.spad.pamphlet index 9dbae5b9..be99d1f7 100644 --- a/src/algebra/tree.spad.pamphlet +++ b/src/algebra/tree.spad.pamphlet @@ -120,14 +120,11 @@ Tree(S: SetCategory): T==C where t case empty => empty() leaf? t => [value t] "append"/[leaves c for c in children t] - less? (t, n) == # t < n - more?(t, n) == # t > n nodes t == ---buggy t case empty => empty() nl := [nodes c for c in children t] nl = empty() => [t] cons(t,"append"/nl) - size? (t, n) == # t = n any?(fn, t) == ---bug fixed t case empty => false fn value t or "or"/[any?(fn, c) for c in children t] |