aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/algebra/catdef.spad.pamphlet3
1 files changed, 3 insertions, 0 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>>=