diff options
author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2016-04-07 00:15:57 -0700 |
---|---|---|
committer | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2016-04-07 00:15:57 -0700 |
commit | 4857038cb4f867f8193dece30a837a60da754edc (patch) | |
tree | e6a8c451c5dbf03a407da442caf2510dcf36ed3a | |
parent | 3d46fd5b7318beb00cfb780389650fcfe4b45065 (diff) | |
parent | d7b09fd7004f9ba8b9274be36378ddf5c9ff8438 (diff) | |
download | open-axiom-4857038cb4f867f8193dece30a837a60da754edc.tar.gz |
Merge pull request #4 from billpage/enumerate
Enumerate
-rw-r--r-- | src/algebra/catdef.spad.pamphlet | 3 | ||||
-rw-r--r-- | src/algebra/lodof.spad.pamphlet | 2 |
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 |