aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/array2.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-05-19 21:38:54 +0000
committerdos-reis <gdr@axiomatics.org>2011-05-19 21:38:54 +0000
commit09469d002d15b88c105731142bce403a1aa5a21b (patch)
treec91273f9d8a7b5ae5bd3efb0f67734db0fb49dee /src/algebra/array2.spad.pamphlet
parent0d25890bd7bc8bd697294a3288396c23a2438879 (diff)
downloadopen-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/array2.spad.pamphlet')
-rw-r--r--src/algebra/array2.spad.pamphlet4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/algebra/array2.spad.pamphlet b/src/algebra/array2.spad.pamphlet
index 0a89e53f..b21179d5 100644
--- a/src/algebra/array2.spad.pamphlet
+++ b/src/algebra/array2.spad.pamphlet
@@ -134,10 +134,6 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where
not f(qelt(m,i,j)) => return false
true
- size?(m,n) == nrows(m) * ncols(m) = n
- less?(m,n) == nrows(m) * ncols(m) < n
- more?(m,n) == nrows(m) * ncols(m) > n
-
--% Size inquiries
# m == nrows(m) * ncols(m)