Skip to content

Commit

Permalink
Test and changes in test output and examples
Browse files Browse the repository at this point in the history
  • Loading branch information
hulpke committed Feb 25, 2022
1 parent f341ca5 commit edf9153
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 35 deletions.
33 changes: 0 additions & 33 deletions doc/ref/ctbl.xml
Original file line number Diff line number Diff line change
Expand Up @@ -515,39 +515,6 @@ gap> Length( ro.irreducibles );
gap> DxIncludeIrreducibles( d, ro.irreducibles );
]]></Example>
<P/>
The tensor products of the nonlinear characters among each other are reduced
with the irreducible characters.
The result is split according to the spaces found, which yields characters
of smaller norms, but no new irreducibles.
<P/>
<Example><![CDATA[
gap> nlc:= Filtered( d.irreducibles, i -> i[1] > 1 );;
gap> t:= Tensored( nlc, nlc );;
gap> ro:= ReducedCharacters( c, d.irreducibles, t );; ro.irreducibles;
[ ]
gap> List( ro.remainders, i -> ScalarProduct( c, i, i) );
[ 2, 2, 4, 4, 4, 4, 13, 13, 18, 18, 19, 21, 21, 36, 36, 29, 34, 34,
42, 34, 48, 54, 62, 68, 68, 78, 84, 84, 88, 90, 159, 169, 169, 172,
172, 266, 271, 271, 268, 274, 274, 280, 328, 373, 373, 456, 532,
576, 679, 683, 683, 754, 768, 768, 890, 912, 962, 1453, 1453, 1601,
1601, 1728, 1739, 1739, 1802, 2058, 2379, 2414, 2543, 2744, 2744,
2920, 3078, 3078, 4275, 4275, 4494, 4760, 5112, 5115, 5115, 5414,
6080, 6318, 7100, 7369, 7369, 7798, 8644, 10392, 12373, 12922,
14122, 14122, 18948, 21886, 24641, 24641, 25056, 38942, 44950,
78778 ]
gap> t:= SplitCharacters( d, ro.remainders );;
gap> List( t, i -> ScalarProduct( c, i, i ) );
[ 2, 2, 4, 2, 2, 4, 4, 3, 6, 5, 5, 9, 9, 4, 12, 13, 18, 18, 20, 18,
20, 24, 26, 32, 32, 16, 42, 59, 69, 69, 72, 72, 36, 72, 78, 78, 84,
122, 117, 127, 117, 127, 64, 132, 100, 144, 196, 256, 456, 532,
576, 679, 683, 683, 754, 768, 768, 890, 912, 962, 1453, 1453, 1601,
1601, 1728, 1739, 1739, 1802, 2058, 2379, 2414, 2543, 2744, 2744,
2920, 3078, 3078, 4275, 4275, 4494, 4760, 5112, 5115, 5115, 5414,
6080, 6318, 7100, 7369, 7369, 7798, 8644, 10392, 12373, 12922,
14122, 14122, 18948, 21886, 24641, 24641, 25056, 38942, 44950,
78778 ]
]]></Example>
<P/>
Finally we calculate the characters induced from all cyclic subgroups and
obtain the missing irreducibles by applying the LLL-algorithm to them.
<P/>
Expand Down
4 changes: 2 additions & 2 deletions tst/testinstall/MatrixObj/ZeroVector.tst
Original file line number Diff line number Diff line change
Expand Up @@ -82,9 +82,9 @@ Error, ZeroVector: length must be non-negative

#
gap> ZeroVector(Integers mod 4, 2);
<plist vector over (Integers mod 4) of length 2>
<zmodnz vector over (Integers mod 4) of length 2>
gap> ZeroVector(Integers mod 4, 0);
<plist vector over (Integers mod 4) of length 0>
<zmodnz vector over (Integers mod 4) of length 0>
gap> ZeroVector(Integers mod 4, -1);
Error, ZeroVector: length must be non-negative

Expand Down
3 changes: 3 additions & 0 deletions tst/teststandard/ctblfuns.tst
Original file line number Diff line number Diff line change
Expand Up @@ -52,5 +52,8 @@ gap> FrobeniusCharacterValue( 82*E(16)+E(16)^5, 269 );
gap> FrobeniusCharacterValue( E(16), 269 );
162+256z+143z2+219z3

# Dixon-Schneider test that also exercises MatrixObjects over Z/nZ
gap> Irr(MathieuGroup(24));;

#
gap> STOP_TEST( "ctblfuns.tst" );

0 comments on commit edf9153

Please sign in to comment.