Mat1_1
:=
MatrixAlgebra(RationalField(), 1) ! [ RationalField() | 1 ]
;

Mat2_1
:=
MatrixAlgebra(RationalField(), 1) ! [ RationalField() | 1 ]
;

Mat1_2
:=
MatrixAlgebra(CyclotomicField(5), 3) ! [ CyclotomicField(5) | [ RationalField() | -1, 0, -1, -1 ], [ RationalField() | -1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [
RationalField() | 1, 0, 1, 1 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | -1, 0, -1, -1 ], [ RationalField() | -1, 0, -1, -1 ], [ RationalField() | 0, 0, 0, 0 ] ]
;

Mat2_2
:=
MatrixAlgebra(CyclotomicField(5), 3) ! [ CyclotomicField(5) | [ RationalField() | -1, 0, -1, -1 ], [ RationalField() | -1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [
RationalField() | 1, 0, 1, 1 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | -1, 0, -1, -1 ], [ RationalField() | -1, 0, -1, -1 ], [ RationalField() | 0, 0, 0, 0 ] ]
;

Mat1_2
:=
MatrixAlgebra(CyclotomicField(5), 3) ! [ CyclotomicField(5) | [ RationalField() | -1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 1, 0, 1, 1 ], [ RationalField() | 1, 0, 1, 1 ], [ 
RationalField() | 0, 0, 0, 0 ], [ RationalField() | -1, 0, -1, -1 ], [ RationalField() | -1, 0, -1, -1 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ]
;

Mat1_3
:=
MatrixAlgebra(CyclotomicField(5), 3) ! [ CyclotomicField(5) | [ RationalField() | -1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 0, 0, -1, -1 ], [ RationalField() | 0, 0, -1, -1 ], 
[ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 1, 1 ], [ RationalField() | 0, 0, 1, 1 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ] ]
;

Mat2_3
:=
MatrixAlgebra(CyclotomicField(5), 3) ! [ CyclotomicField(5) | [ RationalField() | 0, 0, 1, 1 ], [ RationalField() | -1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0 ], [ 
RationalField() | 0, 0, -1, -1 ], [ RationalField() | 0, 0, 0, 0 ], [ RationalField() | 0, 0, 1, 1 ], [ RationalField() | 0, 0, 1, 1 ], [ RationalField() | 0, 0, 0, 0 ] ]
;

Mat1_4
:=
MatrixAlgebra(RationalField(), 4) ! [ RationalField() | 1, 0, -1, 0, 0, 1, -1, 0, 0, 0, -1, 1, 0, 0, -1, 0 ]
;

Mat2_4
:=
MatrixAlgebra(RationalField(), 4) ! [ RationalField() | 0, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1 ]
;

Mat1_5
:=
MatrixAlgebra(RationalField(), 5) ! [ RationalField() | 0, 1, -1, 0, 0, 0, 0, -1, 1, 0, 0, 0, -1, 0, 1, 1, 0, -1, 0, 0, 0, 0, -1, 0, 0 ]
;

Mat2_5
:=
MatrixAlgebra(RationalField(), 5) ! [ RationalField() | 0, 0, 1, -1, 0, 1, 0, 0, -1, 0, 0, 1, 0, -1, 0, 0, 0, 0, -1, 1, 0, 0, 0, -1, 0 ]
;

