PropertyT.jl/basis.SL(3,Z)

121 lines
5.6 KiB
Plaintext

[ [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, -1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
[ [ 1, 2, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 1, 1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 1, 1 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
[ [ 2, 1, 0 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ],
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
[ [ 1, 1, -1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 1, -1 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
[ [ 0, 1, 0 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ],
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
[ [ 1, 0, 2 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 1 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 1 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 2, 0, 1 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ],
[ [ 1, 1, 1 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
[ [ 1, -1, 1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 1 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 1 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 0, 0, 1 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ],
[ [ 1, -1, 1 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
[ [ 1, 1, 0 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 2 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 1, 1, 1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 1, 1, 1 ], [ 1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 2, 1 ], [ 0, 1, 1 ] ],
[ [ 1, -1, 0 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, -1 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ -1, 1, 1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ -1, 1, 1 ], [ -1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 0, 1 ], [ 0, -1, 1 ] ],
[ [ 1, 1, 0 ], [ 1, 2, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 1 ], [ 1, 1, 1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 2, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 0, 1, 1 ] ],
[ [ 1, -1, 0 ], [ 1, 0, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, -1 ], [ 1, 1, -1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 1, 1, -1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ -1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 0, -1, 1 ] ],
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 1, 1, 1 ] ],
[ [ 1, 0, 1 ], [ 0, 1, 0 ], [ 1, 0, 2 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 1 ], [ 1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 2, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 1, 1, 1 ] ],
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 1, -1, 1 ] ],
[ [ 1, 0, -1 ], [ 0, 1, 0 ], [ 1, 0, 0 ] ],
[ [ 1, 0, 0 ], [ 0, 1, -1 ], [ 1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 1, -1, 1 ] ],
[ [ 1, 0, 1 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 1 ], [ 0, 1, 2 ] ],
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 1, 1, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 2, 1 ] ],
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
[ [ 1, 0, -1 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, -1 ], [ 0, 1, 0 ] ],
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ -1, 1, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ -1, 1, 1 ] ],
[ [ 1, -1, -1 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ],
[ [ 0, -1, 0 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ],
[ [ 1, -2, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, -1, -1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, -1, 1 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
[ [ 2, -1, 0 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ],
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
[ [ 1, 0, -1 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 0, 0, -1 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ],
[ [ 1, -1, -1 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ],
[ [ 1, 0, -2 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, -1 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, -1 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 2, 0, -1 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ],
[ [ 1, 1, -1 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
[ [ 1, 1, 0 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ -1, 1, -1 ], [ 1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 0, -1 ], [ 0, 1, 1 ] ],
[ [ 1, -1, 0 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, -2 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ -1, 1, -1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 1, 1, -1 ], [ -1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 2, -1 ], [ 0, -1, 1 ] ],
[ [ 1, 1, 0 ], [ -1, 0, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 1 ], [ -1, 1, -1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 0, 1, 1 ] ],
[ [ 1, -1, 0 ], [ -1, 2, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, -1 ], [ -1, 1, 1 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ -2, 1, 0 ], [ 0, 0, 1 ] ],
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ -1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 0, -1, 1 ] ],
[ [ 1, 1, 0 ], [ 0, 1, 0 ], [ -1, -1, 1 ] ],
[ [ 1, 0, 1 ], [ 0, 1, 0 ], [ -1, 0, 0 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 1 ], [ -1, 0, 1 ] ],
[ [ 1, -1, 0 ], [ 0, 1, 0 ], [ -1, 1, 1 ] ],
[ [ 1, 0, -1 ], [ 0, 1, 0 ], [ -1, 0, 2 ] ],
[ [ 1, 0, 0 ], [ 0, 1, -1 ], [ -1, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ -2, 0, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ -1, -1, 1 ] ],
[ [ 1, 0, 1 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 1 ], [ 0, -1, 0 ] ],
[ [ 1, 0, 0 ], [ 1, 1, 0 ], [ -1, -1, 1 ] ],
[ [ 1, 0, -1 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, -1 ], [ 0, -1, 2 ] ],
[ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 1, -1, 1 ] ],
[ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, -2, 1 ] ] ]