Skip to content

Commit

Permalink
fix power maps in result of CharacterTableIsoclinic
Browse files Browse the repository at this point in the history
The following bug gets fixed that had been introduced in an earlier change:
The result of `CharacterTableIsoclinic` in the case of a central subgroup
of order four can store wrong power maps.

Note that this bug was not present in released GAP versions (up to 4.10.2).
  • Loading branch information
ThomasBreuer authored and fingolfin committed Nov 7, 2019
1 parent a3035e7 commit 388d9c2
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 1 deletion.
2 changes: 1 addition & 1 deletion lib/ctbl.gi
Original file line number Diff line number Diff line change
Expand Up @@ -6226,7 +6226,7 @@ InstallMethod( CharacterTableIsoclinic,

for i in [ 1 .. p-1 ] do
# Deal with the classes in the 'i'-th coset.
ypos:= PowerMap( tbl, ( k * QuoInt( i * q, p ) ) mod p, xpos );
ypos:= PowerMap( tbl, ( k * QuoInt( i * q, p ) ), xpos );
for class in outer[i] do
old:= map[ class ];
images:= invfusion[ factorfusion[ old ] ];
Expand Down
4 changes: 4 additions & 0 deletions tst/teststandard/ctblisoc.tst
Original file line number Diff line number Diff line change
Expand Up @@ -113,6 +113,10 @@ gap> if TestPackageAvailability( "ctbllib" ) <> fail and
> # that the *first* generator of the centre appears first.
> Error( "wrong ordering of classes for isoclinic table" );
> fi;
> if ForAny( PrimeDivisors( Size( iso ) ),
> p -> not PowerMap( iso, p ) in PossiblePowerMaps( iso, p ) ) then
> Error( "wrong power map for isoclinic table" );
> fi;
> fi;

# optional arguments:
Expand Down

0 comments on commit 388d9c2

Please sign in to comment.