Mat1_psi1
:=
KMatrixSpace(CyclotomicField(14), 3, 3) ! Matrix(CyclotomicField(14), 3, 3, [ [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 1, -1, 0, -1, 0 ], [ RationalField() | -1, 1, -1, 0, -1, 0 
], [ RationalField() | 1, 0, 0, 0, 0, 0 ] ])
;

Mat2_psi1
:=
KMatrixSpace(CyclotomicField(14), 3, 3) ! Matrix(CyclotomicField(14), 3, 3, [ [ 
RationalField() | 0, -1, 1, 0, 1, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 1, -1, 0, -1, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], 
[ RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 1, -1, 1, 0, 1, 0 
], [ RationalField() | 0, 0, 0, 0, 0, 0 ] ])
;

Mat1_psi2
:=
KMatrixSpace(CyclotomicField(14), 3, 3) ! Matrix(CyclotomicField(14), 3, 3, [ [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [
RationalField() | 1, -1, 1, 0, 1, 0 ], [ RationalField() | 0, -1, 1, 0, 1, 0 ], 
[ RationalField() | 1, 0, 0, 0, 0, 0 ] ])
;

Mat2_psi2
:=
KMatrixSpace(CyclotomicField(14), 3, 3) ! Matrix(CyclotomicField(14), 3, 3, [ [ 
RationalField() | -1, 1, -1, 0, -1, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ],
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], 
[ RationalField() | 1, -1, 1, 0, 1, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ],
[ RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 1, -1, 0, -1, 0 
], [ RationalField() | 0, 0, 0, 0, 0, 0 ] ])
;

Mat1_4
:=
MatrixAlgebra(CyclotomicField(14), 6) ! [ CyclotomicField(14) | [ 
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 2, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | -1, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], 
[ RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ],
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ],
[ RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | -2, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ],
[ RationalField() | 2, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ] ]
;

Mat2_4
:=
MatrixAlgebra(CyclotomicField(14), 6) ! [ CyclotomicField(14) | [ 
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | -1, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ] ]
;

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

Mat2_5
:=
MatrixAlgebra(CyclotomicField(14), 7) ! [ CyclotomicField(14) | [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 1, 0, 0, 0, 0, 0 ] ]
;

Mat1_6
:=
MatrixAlgebra(CyclotomicField(14), 8) ! [ CyclotomicField(14) | [ 
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 4, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | -1, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [
RationalField() | -3, 0, 0, 0, 0, 0 ], [ RationalField() | -1, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ],
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], 
[ RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | -1, 0, 0, 0, 0, 0 ] 
]
;

Mat2_6
:=
MatrixAlgebra(CyclotomicField(14), 8) ! [ CyclotomicField(14) | [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | -1, 0, 0, 0, 0, 0 ], [
RationalField() | 1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | -1, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 2, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | -1, 0, 0, 0, 0, 0 ], [
RationalField() | 2, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 1, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ], [ 
RationalField() | 0, 0, 0, 0, 0, 0 ], [ RationalField() | -1, 0, 0, 0, 0, 0 ], [
RationalField() | 2, 0, 0, 0, 0, 0 ], [ RationalField() | 0, 0, 0, 0, 0, 0 ] ]
;

wmsi := &+[LegendreSymbol(i,7) * (-zeN)^i : i in [1..6]]; // Wurzel aus minus sieben, gemaess Aufgabe 57 im AZ-Skript 
K<th> := sub<CyN | (1 + wmsi)/2 >; 

Mat1_Mred
:=
MatrixRing(K, 3)![ K | [ 
K | -1, 0 ], [ K | 0, 0 ], [ K | 0, 0 
], [ K | 0, 0 ], [ K | -1, 0 ], [ K | 
0, 0 ], [ K | 0, 1 ], [ K | -1, 1 ], [ 
K | 1, 0 ] ]
;

Mat2_Mred
:=
MatrixRing(K, 3) ! 
[ K| [ 
K | 0, -1 ], [ K | 1, 0 ], [ K | 0, 0 
], [ K | 1, 0 ], [ K | 0, 1 ], [ K | 
1, 0 ], [ K | -1, 0 ], [ K | 1, -1 ], [ 
K | 0, 0 ] ]
;

