Go backward to Matrices Go up to Top Go forward to Summary |
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 :=We have
1 2 3 4 5 6 7 8 9
forall i in N3, j in N3: Mi, j = 3i+j+1.