Skip to content

Commit

Permalink
added second technical test to increase code coverage
Browse files Browse the repository at this point in the history
  • Loading branch information
jdebeule committed Aug 29, 2024
1 parent ca005cb commit b5c13a2
Show file tree
Hide file tree
Showing 3 changed files with 43 additions and 1 deletion.
24 changes: 24 additions & 0 deletions tst/easy/test_tech2.tst
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
gap> START_TEST("Forms: test_tech2.tst");
gap> go := GO(5, 5);
GO(0,5,5)
gap> x :=
> [ [ Z(5)^0, Z(5)^3, 0*Z(5), Z(5)^3, Z(5)^3 ],
> [ Z(5)^2, Z(5)^3, 0*Z(5), Z(5)^2, Z(5) ],
> [ Z(5)^2, Z(5)^2, Z(5)^0, Z(5), Z(5)^3 ],
> [ Z(5)^0, Z(5)^3, Z(5), Z(5)^0, Z(5)^3 ],
> [ Z(5)^3, 0*Z(5), Z(5)^0, 0*Z(5), Z(5) ]
> ];;
gap> grp := go^x;
<matrix group of size 18720000 with 2 generators>
gap> forms := PreservedSesquilinearForms( grp );;
gap> ScalarsOfPreservedForm(grp,forms[1]);
[ Z(5)^0, Z(5)^0 ]
gap> ScalarsOfPreservedForm(go,forms[1]);
false
gap> quad := QuadraticFormByBilinearForm(forms[1]);
< quadratic form >
gap> ScalarsOfPreservedForm(grp,quad);
[ Z(5)^0, Z(5)^0 ]
gap> ScalarsOfPreservedForm(go,quad);
false
gap> STOP_TEST("test_tech2.tst", 10000 );
18 changes: 18 additions & 0 deletions tst/gap/test_tech2.g
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
#technical test of ScalarsOfPreservedForm
go := GO(5, 5);
x :=
[ [ Z(5)^0, Z(5)^3, 0*Z(5), Z(5)^3, Z(5)^3 ],
[ Z(5)^2, Z(5)^3, 0*Z(5), Z(5)^2, Z(5) ],
[ Z(5)^2, Z(5)^2, Z(5)^0, Z(5), Z(5)^3 ],
[ Z(5)^0, Z(5)^3, Z(5), Z(5)^0, Z(5)^3 ],
[ Z(5)^3, 0*Z(5), Z(5)^0, 0*Z(5), Z(5) ]
];;
grp := go^x;
forms := PreservedSesquilinearForms( grp );;
ScalarsOfPreservedForm(grp,forms[1]);
ScalarsOfPreservedForm(go,forms[1]);
quad := QuadraticFormByBilinearForm(forms[1]);
ScalarsOfPreservedForm(grp,quad);
ScalarsOfPreservedForm(go,quad);
quit;

2 changes: 1 addition & 1 deletion tst/generate_tst_files_new.g
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ files := ["conic", "w53", "preservedform", "bg_th_ex1", "bg_th_ex2","bg_th_ex3",
files := ["test_forms1", "test_forms2", "test_forms3", "test_forms4", "test_forms5",
"test_forms6","test_forms7", "test_forms8", "test_forms9", "test_forms10",
"test_forms11", "test_recog", "test_forms12", "test_forms13", "test_forms14",
"test_forms15", "test_forms16", "test_tech1" ];
"test_forms15", "test_forms16", "test_tech1", "test_tech2" ];

#advanced tests #"basechange", "classic",
files := ["test_recog", "test_preservedform", "test_pres_sesforms1", "test_pres_sesforms2"];
Expand Down

0 comments on commit b5c13a2

Please sign in to comment.