Skip to content

Commit d777d43

Browse files
committed
changed back test files to only compare list size instead of vector space dimension because gap was being annoying. This could be a future todo tho
1 parent f1a1b72 commit d777d43

File tree

15 files changed

+30
-30
lines changed

15 files changed

+30
-30
lines changed

tst/formspace/generate_formspace_tests.g

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,9 +30,9 @@ WriteTestFilePreservedFormspaceTest := function(path, name, G, n, F,f_space_expe
3030
WriteAll(stream, "gap> L:=PreservedFormspace(G);;\n");
3131
WriteAll(stream, "gap> TestMatricesAreForms2(G, L); # found in custom_test_functions.g, Tests whether the matrices returned are forms preserved by G or not\n");
3232
WriteAll(stream, "[ \"Ok\", \"Ok\" ]\n");
33-
WriteAll(stream, "gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[1]))=f_space_expected_normal_d;\n");
33+
WriteAll(stream, "gap> Size(L[1])=f_space_expected_normal_d;\n");
3434
WriteAll(stream, "true\n");
35-
WriteAll(stream, "gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[2]))=f_space_expected_unitary_d;\n");
35+
WriteAll(stream, "gap> Size(L[2])=f_space_expected_unitary_d;\n");
3636
WriteAll(stream, "true\n");
3737
WriteAll(stream, end_test);
3838
CloseStream(stream);

tst/formspace/preserved_formspace/test_G1.tst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ gap> f_space_expected_unitary_d := 0;;
77
gap> L:=PreservedFormspace(G);;
88
gap> TestMatricesAreForms2(G, L); # found in custom_test_functions.g, Tests whether the matrices returned are forms preserved by G or not
99
[ "Ok", "Ok" ]
10-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[1]))=f_space_expected_normal_d;
10+
gap> Size(L[1])=f_space_expected_normal_d;
1111
true
12-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[2]))=f_space_expected_unitary_d;
12+
gap> Size(L[2])=f_space_expected_unitary_d;
1313
true
1414
gap> STOP_TEST("Formspace: Preserved Formspace G1");

tst/formspace/preserved_formspace/test_G2.tst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ gap> f_space_expected_unitary_d := 2;;
77
gap> L:=PreservedFormspace(G);;
88
gap> TestMatricesAreForms2(G, L); # found in custom_test_functions.g, Tests whether the matrices returned are forms preserved by G or not
99
[ "Ok", "Ok" ]
10-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[1]))=f_space_expected_normal_d;
10+
gap> Size(L[1])=f_space_expected_normal_d;
1111
true
12-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[2]))=f_space_expected_unitary_d;
12+
gap> Size(L[2])=f_space_expected_unitary_d;
1313
true
1414
gap> STOP_TEST("Formspace: Preserved Formspace G2");

tst/formspace/preserved_formspace/test_G3.tst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ gap> f_space_expected_unitary_d := 1;;
77
gap> L:=PreservedFormspace(G);;
88
gap> TestMatricesAreForms2(G, L); # found in custom_test_functions.g, Tests whether the matrices returned are forms preserved by G or not
99
[ "Ok", "Ok" ]
10-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[1]))=f_space_expected_normal_d;
10+
gap> Size(L[1])=f_space_expected_normal_d;
1111
true
12-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[2]))=f_space_expected_unitary_d;
12+
gap> Size(L[2])=f_space_expected_unitary_d;
1313
true
1414
gap> STOP_TEST("Formspace: Preserved Formspace G3");

tst/formspace/preserved_formspace/test_G4.tst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ gap> f_space_expected_unitary_d := 0;;
77
gap> L:=PreservedFormspace(G);;
88
gap> TestMatricesAreForms2(G, L); # found in custom_test_functions.g, Tests whether the matrices returned are forms preserved by G or not
99
[ "Ok", "Ok" ]
10-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[1]))=f_space_expected_normal_d;
10+
gap> Size(L[1])=f_space_expected_normal_d;
1111
true
12-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[2]))=f_space_expected_unitary_d;
12+
gap> Size(L[2])=f_space_expected_unitary_d;
1313
true
1414
gap> STOP_TEST("Formspace: Preserved Formspace G4");

tst/formspace/preserved_formspace/test_G5.tst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ gap> f_space_expected_unitary_d := 0;;
77
gap> L:=PreservedFormspace(G);;
88
gap> TestMatricesAreForms2(G, L); # found in custom_test_functions.g, Tests whether the matrices returned are forms preserved by G or not
99
[ "Ok", "Ok" ]
10-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[1]))=f_space_expected_normal_d;
10+
gap> Size(L[1])=f_space_expected_normal_d;
1111
true
12-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[2]))=f_space_expected_unitary_d;
12+
gap> Size(L[2])=f_space_expected_unitary_d;
1313
true
1414
gap> STOP_TEST("Formspace: Preserved Formspace G5");

tst/formspace/preserved_formspace/test_G6.tst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ gap> f_space_expected_unitary_d := 1;;
77
gap> L:=PreservedFormspace(G);;
88
gap> TestMatricesAreForms2(G, L); # found in custom_test_functions.g, Tests whether the matrices returned are forms preserved by G or not
99
[ "Ok", "Ok" ]
10-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[1]))=f_space_expected_normal_d;
10+
gap> Size(L[1])=f_space_expected_normal_d;
1111
true
12-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[2]))=f_space_expected_unitary_d;
12+
gap> Size(L[2])=f_space_expected_unitary_d;
1313
true
1414
gap> STOP_TEST("Formspace: Preserved Formspace G6");

tst/formspace/preserved_formspace/test_G7.tst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ gap> f_space_expected_unitary_d := 2;;
77
gap> L:=PreservedFormspace(G);;
88
gap> TestMatricesAreForms2(G, L); # found in custom_test_functions.g, Tests whether the matrices returned are forms preserved by G or not
99
[ "Ok", "Ok" ]
10-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[1]))=f_space_expected_normal_d;
10+
gap> Size(L[1])=f_space_expected_normal_d;
1111
true
12-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[2]))=f_space_expected_unitary_d;
12+
gap> Size(L[2])=f_space_expected_unitary_d;
1313
true
1414
gap> STOP_TEST("Formspace: Preserved Formspace G7");

tst/formspace/preserved_formspace/test_G8.tst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ gap> f_space_expected_unitary_d := 2;;
77
gap> L:=PreservedFormspace(G);;
88
gap> TestMatricesAreForms2(G, L); # found in custom_test_functions.g, Tests whether the matrices returned are forms preserved by G or not
99
[ "Ok", "Ok" ]
10-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[1]))=f_space_expected_normal_d;
10+
gap> Size(L[1])=f_space_expected_normal_d;
1111
true
12-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[2]))=f_space_expected_unitary_d;
12+
gap> Size(L[2])=f_space_expected_unitary_d;
1313
true
1414
gap> STOP_TEST("Formspace: Preserved Formspace G8");

tst/formspace/preserved_formspace/test_GO(5_3).tst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ gap> f_space_expected_unitary_d := 0;;
77
gap> L:=PreservedFormspace(G);;
88
gap> TestMatricesAreForms2(G, L); # found in custom_test_functions.g, Tests whether the matrices returned are forms preserved by G or not
99
[ "Ok", "Ok" ]
10-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[1]))=f_space_expected_normal_d;
10+
gap> Size(L[1])=f_space_expected_normal_d;
1111
true
12-
gap> Dimension(DefaultFieldOfMatrixGroup(G), Vectorspace(L[2]))=f_space_expected_unitary_d;
12+
gap> Size(L[2])=f_space_expected_unitary_d;
1313
true
1414
gap> STOP_TEST("Formspace: Preserved Formspace GO(5,3)");

0 commit comments

Comments
 (0)