| Both sides previous revision Previous revision Next revision | Previous revision |
| using:standard_lib [2024/10/09 13:23] – fponzi | using:standard_lib [2024/10/10 16:42] (current) – fponzi |
|---|
| * ''SubSeq(s, m, n)'': The subsequence ''<<s[m], s[m + 1], . . . , s[n]>>'' consisting of the mth through nth elements of s. It is undefined if ''m < 1'' or ''n > Len(s)'', except that it equals the empty sequence if ''m > n''. | * ''SubSeq(s, m, n)'': The subsequence ''<<s[m], s[m + 1], . . . , s[n]>>'' consisting of the mth through nth elements of s. It is undefined if ''m < 1'' or ''n > Len(s)'', except that it equals the empty sequence if ''m > n''. |
| * ''Append(s, e)'': The sequence obtained by appending element e to the tail of sequence s. | * ''Append(s, e)'': The sequence obtained by appending element e to the tail of sequence s. |
| * Example: ''Append(<<3, 7>>, 3)'' equals ''<<3, 7, 3>>'' | * Example: ''Append(<<3, 7>>, 3)'' equals ''<<3, 7, 3>>''. |
| * ''Len'' | * ''Len(s)'': The length of sequence s. |
| | * Example: ''Len(<<1,2,3>>)'' is equal to ''3''. |
| * ''Seq(S)'': The set of all sequences of elements of the set S . | * ''Seq(S)'': The set of all sequences of elements of the set S . |
| * Example: ''Seq({3,7})'' is equal to ''<<3, 7>>''. | * Example: ''Seq({3,7})'' is equal to ''<<3, 7>>''. |
| * ''Tail'' | * ''Tail(s)'': The tail of sequence ''s'', which consists of ''s'' with its head element removed. |
| | * Example: ''Tail(<<3, 7>>)'' equals ''<<7>>''. |
| |
| ===== Module ''FiniteSets'' ===== | ===== Module ''FiniteSets'' ===== |
| |
| * ''IsFiniteSet'' | * ''IsFiniteSet(s)'': A set is finite iff there is a finite sequence containing all its elements. |
| * ''Cardinality'' | * Example: ''IsFiniteSet({1,2,3})'' is equal to ''TRUE'' |
| | * ''Cardinality(s)'': The number of elements in the set s. It's only defined for finite sets. |
| | * Example: ''Cardinality({1,2})'' is equal to 2. |
| |
| ===== Module ''Bags'' ===== | ===== Module ''Bags'' ===== |
fponzi