Differences

This shows you the differences between two versions of the page.

--- using:standard_lib [2024/10/09 13:20] – fponzi
+++ using:standard_lib [2024/10/10 16:42] (current) – fponzi
@@ Line 19: / Line 19: @@
                 in SelectSeq(s, IsPos)</code> defines ''PosSubSeq(<<0, 3, −2, 5>>)'' to be equal to ''<<3, 5>>''
   * ''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''
+  * ''Append(s, e)'': The sequence obtained by appending element e to the tail of sequence s.
-  * ''Len''
+    * Example: ''Append(<<3, 7>>, 3)'' equals ''<<3, 7, 3>>''.
+  * ''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 .
     * 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'' =====
-  * ''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'' =====