extension of technical test

gap-packages · Aug 29, 2024 · ca005cb · ca005cb
1 parent 23abc2a
commit ca005cb
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/tst/easy/test_tech1.tst b/tst/easy/test_tech1.tst
@@ -15,11 +15,15 @@ gap> m := gens[1];
   [ 0*Z(5), 0*Z(5), Z(5)^0, 0*Z(5) ], [ 0*Z(5), 0*Z(5), 0*Z(5), Z(5)^0 ] ]
 gap> ClassicalForms_PossibleScalarsSesquilinear(GF(5),m,frob);
 false
+gap> ClassicalForms_GeneratorsWithBetterScalarsSesquilinear(Group(m),frob);
+false
 gap> m := gens[2];
 [ [ Z(5)^2, 0*Z(5), 0*Z(5), Z(5)^0 ], [ Z(5)^2, 0*Z(5), 0*Z(5), 0*Z(5) ], 
   [ 0*Z(5), Z(5)^2, 0*Z(5), 0*Z(5) ], [ 0*Z(5), 0*Z(5), Z(5)^2, 0*Z(5) ] ]
 gap> ClassicalForms_PossibleScalarsSesquilinear(GF(5),m,frob);
 false
+gap> ClassicalForms_GeneratorsWithBetterScalarsSesquilinear(Group(m),frob);
+false
 gap> g := GL(5,9);
 GL(5,9)
 gap> frob := FrobeniusAutomorphism(GF(9));
@@ -43,6 +47,10 @@ gap> m := gens[1];
   [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0 ] ]
 gap> ClassicalForms_PossibleScalarsSesquilinear(GF(9),m,frob);
 false
+gap> ClassicalForms_GeneratorsWithBetterScalarsSesquilinear(Group(m),frob);
+false
 gap> ClassicalForms_PossibleScalarsSesquilinear(GF(9),m,frob^0);
 false
+gap> ClassicalForms_GeneratorsWithBetterScalarsSesquilinear(Group(m),frob^0);
+false
 gap> STOP_TEST("test_tech1.tst", 10000 );
diff --git a/tst/gap/test_tech1.g b/tst/gap/test_tech1.g
@@ -4,12 +4,16 @@ frob := FrobeniusAutomorphism(GF(5));
 gens := GeneratorsOfGroup(g);
 m := gens[1];
 ClassicalForms_PossibleScalarsSesquilinear(GF(5),m,frob);
+ClassicalForms_GeneratorsWithBetterScalarsSesquilinear(Group(m),frob);
 m := gens[2];
 ClassicalForms_PossibleScalarsSesquilinear(GF(5),m,frob);
+ClassicalForms_GeneratorsWithBetterScalarsSesquilinear(Group(m),frob);
 g := GL(5,9);
 frob := FrobeniusAutomorphism(GF(9));
 gens := GeneratorsOfGroup(g);
 m := gens[1];
 ClassicalForms_PossibleScalarsSesquilinear(GF(9),m,frob);
+ClassicalForms_GeneratorsWithBetterScalarsSesquilinear(Group(m),frob);
 ClassicalForms_PossibleScalarsSesquilinear(GF(9),m,frob^0);
+ClassicalForms_GeneratorsWithBetterScalarsSesquilinear(Group(m),frob^0);
 quit;