Changes between Version 21 and Version 22 of Fundamentals

Timestamp:

05/14/23 22:08:46 (3 years ago)

Author:

siegel

Comment:

--

Fundamentals

@@ -178 +178 @@
 }}}
 
-* domain literals: An expression of the form `($domain) { r1, ..., rn }` where `r1`, . . . , `rn` are n expressions of type `$range`, is a ''Cartesian domain expression''. It represents the domain of dimension n which is the Cartesian product of the n ranges, i.e., it consists of all n-tuples (x1,...,xn) where x1 ∈ r1, ..., xn ∈ rn. The order on the domain is the dictionary order on tuples. The type of this expression is `$domain(n)`.  When a Cartesian domain expression is used to initialize an object of domain type, the `($domain)` may be omitted. For example: `$domain(3) dom = { 0 .. 3, r2, 10 .. 2 # -2 };`
-* `$true`
-* `$false`
-* `$forall`
-* `$exists`
+=== Domain literals
+
+An expression of the form
+
+  `(``$domain``)`  `{` ''r1'' `,` ... `,` ''rn'' `}`
+
+where ''r1'', . . . , ''rn'' are ''n'' expressions of type `$range`, is a ''Cartesian domain expression''.
+It represents the domain of dimension ''n'' which is the Cartesian product of the ''n'' ranges,
+i.e., it consists of all ''n''-tuples (''x1'',...,''xn'') where ''x1'' ∈ ''r1'', ..., ''xn'' ∈ ''rn''.
+The order on the domain is the dictionary order on tuples.
+The type of this expression is `$domain(n)`.
+When a Cartesian domain expression is used to initialize an object of domain type, the `($domain)` may be omitted. For example: 
+{{{
+$domain(3) dom = { 0 .. 3, r2, 10 .. 2 # -2 };
+}}}
+
+
 * `$here`
 * `$root`