Skip to content

Commit

Permalink
added a test that documents the changed behaviour
Browse files Browse the repository at this point in the history
(The idea of the change is to guarantee a particular ordering
of conjugacy classes, I have no idea how to express this without
referring to a given class ordering, that is, referring to some
library character table.)
  • Loading branch information
ThomasBreuer committed Jul 18, 2019
1 parent d41604a commit 0b963ef
Showing 1 changed file with 15 additions and 1 deletion.
16 changes: 15 additions & 1 deletion tst/teststandard/ctblisoc.tst
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#@local g, t, iso, t3, iso3, orders, n, iso2, filt, c
#@local g, t, iso, t3, iso3, orders, n, iso2, filt, outer, c
gap> START_TEST( "ctblisoc.tst" );

# one argument
Expand Down Expand Up @@ -100,6 +100,20 @@ gap> Length( filt );
1
gap> IdGroup( filt[1] ) = IdGroup( g );
false
gap> if TestPackageAvailability( "ctbllib" ) <> fail and
> LoadPackage( "ctbllib", false ) <> fail then
> t:= CharacterTable( "4_1.L3(4).2_3" );
> iso:= CharacterTableIsoclinic( t, [ 1 .. 4 ] );
> outer:= Difference( [ 1 .. NrConjugacyClasses( t ) ],
> ClassPositionsOfDerivedSubgroup( t ) );
> if PowerMap( iso, 2 ){ outer{ [ 1 .. 4 ] } } <> [ 2, 4, 2, 4 ] then
> # If the power map is [ ..., 4, 2, 4, 2, ... ] then
> # the table can be correct, but we want
> # --for example for the library table "4_1.L3(4).2_3*"--
> # that the *first* generator of the centre appears first.
> Error( "wrong ordering of classes for isoclinic table" );
> fi;
> fi;

# optional arguments:
# normal subgroup specified, ...
Expand Down

0 comments on commit 0b963ef

Please sign in to comment.