at:tutorial:basic
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
at:tutorial:basic [2020/02/09 19:27] – elisag | at:tutorial:basic [2020/02/09 21:39] – elisag | ||
---|---|---|---|
Line 85: | Line 85: | ||
>>[2, 3, 4] | >>[2, 3, 4] | ||
</ | </ | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
==== Multidimensional tables ==== | ==== 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. | + | 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 closer |
< | < | ||
- | |||
def a := [[1,0,0], [0,1,0], [0,0,1]]; | def a := [[1,0,0], [0,1,0], [0,0,1]]; | ||
>> | >> | ||
Line 99: | Line 107: | ||
>a[1] | >a[1] | ||
>>[1, 0, 0] | >>[1, 0, 0] | ||
+ | > | ||
+ | >>3 | ||
+ | >a | ||
+ | >> | ||
</ | </ | ||
Line 107: | Line 119: | ||
def aux[3] {0}; | def aux[3] {0}; | ||
def b[3] { i := i + 1; aux := [0,0,0]; aux[i] :=1; aux}; | def b[3] { i := i + 1; aux := [0,0,0]; aux[i] :=1; aux}; | ||
+ | >> | ||
</ | </ | ||
+ | |||
+ | |||
===== Functions ===== | ===== Functions ===== |
at/tutorial/basic.txt · Last modified: 2020/02/09 22:05 by elisag