previous up next
Go backward to Matrices
Go up to Top
Go forward to Summary
RISC-Linz logo

Example

M :=
   {<<0, 0>, 1>, <<0, 1>, 2>, <<0, 2>, 3>,
   <<1, 0>, 4>, <<1, 1>, 5>, <<1, 2>, 6>,
   <<2, 0>, 7>, <<2, 1>, 8>, <<2, 2>, 9>}

Shorter:

M :=
1 2 3
4 5 6
7 8 9
We have
forall i in N3, j in N3: Mi, j = 3i+j+1.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next