Differences

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

--- at:tutorial:basic [2020/02/09 16:48] – * elisag
+++ at:tutorial:basic [2020/02/09 19:27] – elisag
@@ Line 66: / Line 66: @@
 >>[1, [1, 2, ["a", "e", "i", "o", "u"], 4, 5], "ambientTalk"]
 </code>
 ==== Table Splicing ====
@@ Line 83: / Line 84: @@
 >rest
 >>[2, 3, 4]
+</code>
+==== Multidimensional tables ====
+As mentioned before, there is no special constructor for definition of multidimensional tables, a table entry can contain another table. In what follows we have a look to extensional and intensional definitions of multidimensional tables.
+<code>
+def a := [[1,0,0], [0,1,0], [0,0,1]];
+>>[[1, 0, 0], [0, 1, 0], [0, 0, 1]]
+>a[1][2]
+>>0
+>a[1]
+>>[1, 0, 0]
+</code>
+An implicit definition of the same table can be expressed as follows:
+<code>
+def i := 0;
+def aux[3] {0};
+def b[3] { i := i + 1; aux := [0,0,0]; aux[i] :=1; aux};
 </code>