at:tutorial:basic
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
at:tutorial:basic [2020/02/09 21:53] – elisag | at:tutorial:basic [2020/02/09 22:05] (current) – elisag | ||
---|---|---|---|
Line 230: | Line 230: | ||
>> 21 | >> 21 | ||
</ | </ | ||
+ | |||
+ | |||
+ | |||
Line 253: | Line 256: | ||
def [i,j] := [0,0]; | def [i,j] := [0,0]; | ||
def makeCol(i, | def makeCol(i, | ||
- | def col[m] { j := j + 1; init(n,m) } | + | def col[m] { j := j + 1; init(i,j) } |
}; | }; | ||
def matrix[n] { i := i + 1; makeCol(i, | def matrix[n] { i := i + 1; makeCol(i, | ||
}; | }; | ||
- | def b := makeMatrix(2, | ||
- | > | ||
- | >> | ||
- | > | ||
- | >> false false false true | ||
>def c := makeMatrix(3); | >def c := makeMatrix(3); | ||
>> | >> | ||
Line 268: | Line 266: | ||
>c | >c | ||
>> | >> | ||
+ | >def d := makeMatrix(4, | ||
+ | {|i,j| if: (i == j) then: {1} else: {0}}); | ||
+ | >> [[1, 0, 0, 0], [0, 1, 0, 0], [0, 0, 1, 0], [0, 0, 0, 1]] | ||
</ | </ | ||
at/tutorial/basic.1581281613.txt.gz · Last modified: 2020/02/09 21:54 (external edit)