Skip to content

Commit

Permalink
godmiljaar another random-method-influenced output. Since this testin…
Browse files Browse the repository at this point in the history
…g is meant to reach code coverage objectives of code that should become obsolete, I suppressed all output now.
  • Loading branch information
jdebeule committed Aug 29, 2024
1 parent 10291f6 commit 3bd079e
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 53 deletions.
53 changes: 4 additions & 49 deletions tst/easy/test_tech3.tst
Original file line number Diff line number Diff line change
@@ -1,57 +1,12 @@
gap> START_TEST("Forms: test_tech3.tst");
gap> g := Sp(6,3);
Sp(6,3)
gap> module := GModuleByMats(GeneratorsOfGroup(g),GF(3));
rec( IsOverFiniteField := true, dimension := 6, field := GF(3),
generators := [ < immutable compressed matrix 6x6 over GF(3) >,
< immutable compressed matrix 6x6 over GF(3) > ], isMTXModule := true )
gap> dmodule := ClassicalForms_GeneratorsWithoutScalarsDual(g);
rec( IsAbsolutelyIrreducible := true, IsIrreducible := true,
IsOverFiniteField := true, dimension := 6, field := GF(3),
generators := [ < immutable compressed matrix 6x6 over GF(3) >,
< immutable compressed matrix 6x6 over GF(3) > ], isMTXModule := true,
smashMeataxe :=
rec(
algebraElement :=
[ [ [ 1, 2 ], [ 1, 2 ] ], [ 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0 ] ],
algebraElementMatrix := < immutable compressed matrix 6x6 over GF(3) >,
characteristicPolynomial := x_1^6+x_1^5-x_1^4+x_1^3-x_1^2+x_1+Z(3)^0,
charpolFactors := x_1-Z(3)^0, degreeFieldExt := 1, ndimFlag := 1,
nullspaceVector := [ Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3), Z(3), Z(3)^0 ] ) )
gap> module := GModuleByMats(GeneratorsOfGroup(g),GF(3));;
gap> dmodule := ClassicalForms_GeneratorsWithoutScalarsDual(g);;
gap> ClassicalForms_InvariantFormDual(module,dmodule);;
gap> g := GO(3,3);
GO(0,3,3)
gap> module := GModuleByMats(GeneratorsOfGroup(g),GF(3));
rec( IsOverFiniteField := true, dimension := 3, field := GF(3),
generators :=
[
[ [ Z(3), 0*Z(3), 0*Z(3) ], [ 0*Z(3), Z(3), 0*Z(3) ],
[ 0*Z(3), 0*Z(3), Z(3)^0 ] ],
[ [ 0*Z(3), Z(3)^0, 0*Z(3) ], [ Z(3)^0, Z(3), Z(3) ],
[ 0*Z(3), Z(3), Z(3)^0 ] ] ], isMTXModule := true )
gap> dmodule := ClassicalForms_GeneratorsWithoutScalarsDual(g);
rec( IsAbsolutelyIrreducible := true, IsIrreducible := true,
IsOverFiniteField := true, dimension := 3, field := GF(3),
generators :=
[
[ [ 0*Z(3), Z(3)^0, 0*Z(3) ], [ Z(3)^0, Z(3), Z(3)^0 ],
[ 0*Z(3), Z(3)^0, Z(3)^0 ] ],
[ [ Z(3), 0*Z(3), 0*Z(3) ], [ 0*Z(3), Z(3), 0*Z(3) ],
[ 0*Z(3), 0*Z(3), Z(3) ] ],
[ [ Z(3)^0, 0*Z(3), 0*Z(3) ], [ 0*Z(3), Z(3)^0, 0*Z(3) ],
[ 0*Z(3), 0*Z(3), Z(3) ] ],
[ [ 0*Z(3), Z(3), 0*Z(3) ], [ Z(3), Z(3)^0, Z(3)^0 ],
[ 0*Z(3), Z(3), Z(3)^0 ] ] ], isMTXModule := true,
smashMeataxe :=
rec(
algebraElement :=
[ [ [ 1, 2 ], [ 3, 5 ] ],
[ Z(3), Z(3), Z(3), 0*Z(3), 0*Z(3), Z(3)^0 ] ],
algebraElementMatrix :=
[ [ 0*Z(3), Z(3)^0, 0*Z(3) ], [ Z(3)^0, Z(3), Z(3)^0 ],
[ 0*Z(3), 0*Z(3), Z(3) ] ],
characteristicPolynomial := x_1^3-x_1^2-Z(3)^0,
charpolFactors := x_1+Z(3)^0, degreeFieldExt := 1, ndimFlag := 1,
nullspaceVector := [ 0*Z(3), 0*Z(3), Z(3)^0 ] ) )
gap> module := GModuleByMats(GeneratorsOfGroup(g),GF(3));;
gap> dmodule := ClassicalForms_GeneratorsWithoutScalarsDual(g);;
gap> ClassicalForms_InvariantFormDual(module,dmodule);;
gap> STOP_TEST("test_tech3.tst", 10000 );
8 changes: 4 additions & 4 deletions tst/gap/test_tech3.g
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
#technical test that will become obsolete in the future, output is even not important
g := Sp(6,3);
module := GModuleByMats(GeneratorsOfGroup(g),GF(3));
dmodule := ClassicalForms_GeneratorsWithoutScalarsDual(g);
module := GModuleByMats(GeneratorsOfGroup(g),GF(3));;
dmodule := ClassicalForms_GeneratorsWithoutScalarsDual(g);;
ClassicalForms_InvariantFormDual(module,dmodule);;
g := GO(3,3);
module := GModuleByMats(GeneratorsOfGroup(g),GF(3));
dmodule := ClassicalForms_GeneratorsWithoutScalarsDual(g);
module := GModuleByMats(GeneratorsOfGroup(g),GF(3));;
dmodule := ClassicalForms_GeneratorsWithoutScalarsDual(g);;
ClassicalForms_InvariantFormDual(module,dmodule);;
quit;

0 comments on commit 3bd079e

Please sign in to comment.