aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/catdef.spad.pamphlet3
-rw-r--r--src/algebra/lodof.spad.pamphlet2
2 files changed, 4 insertions, 1 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet
index ee556b91..d81cb741 100644
--- a/src/algebra/catdef.spad.pamphlet
+++ b/src/algebra/catdef.spad.pamphlet
@@ -1086,6 +1086,8 @@ Finite(): Category == SetCategory with
++ \spad{x = index lookup x}.
random: () -> %
++ random() returns a random element from the set.
+ enumerate : () -> List %
+ ++ enumerate() returns list of elements of the set.
add
--FIXME: Tthe only purpose of this local function is to bring
--FIXME: the compiler to admission that the successor of a
@@ -1095,6 +1097,7 @@ Finite(): Category == SetCategory with
(1 + x) : PositiveInteger
random() ==
index succ random(size())$NonNegativeInteger
+ enumerate() == [index(i::PositiveInteger) for i in 1..size()]
@
\section{category FLINEXP FullyLinearlyExplicitRingOver}
<<category FLINEXP FullyLinearlyExplicitRingOver>>=
diff --git a/src/algebra/lodof.spad.pamphlet b/src/algebra/lodof.spad.pamphlet
index aabb5d7d..ed513c73 100644
--- a/src/algebra/lodof.spad.pamphlet
+++ b/src/algebra/lodof.spad.pamphlet
@@ -62,7 +62,7 @@ SetOfMIntegersInOneToN(m, n): Exports == Implementation where
reallyEnumerate() == [[b, i] for b in enum(m, n) for i in 1..]
member?(p, s) == s.bits.p
- enumerate() ==
+ enumerate():Vector % ==
if empty? deref all then setref(all,reallyEnumerate())
deref all