diff --git a/tst/easy/test_tech1.tst b/tst/easy/test_tech1.tst index 53745cb..c892082 100644 --- 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 index 4693e9c..a06f97b 100644 --- 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;