From ca005cbac1ad6334a6158f525ab79689a0460a78 Mon Sep 17 00:00:00 2001
From: Jan De Beule <jan@debeule.eu>
Date: Thu, 29 Aug 2024 14:15:29 +0200
Subject: [PATCH] extension of technical test

---
 tst/easy/test_tech1.tst | 8 ++++++++
 tst/gap/test_tech1.g    | 4 ++++
 2 files changed, 12 insertions(+)

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;