|
#@local G, pair, mth, all, rks, tbl
gap> START_TEST("ctblsolv.tst");
##
gap> CharacterDegrees( SmallGroup( 256, 529 ) );
[ [ 1, 8 ], [ 2, 30 ], [ 4, 8 ] ]
gap> for pair in [ [ 18, 3 ], [ 27, 3 ], [ 36, 7 ], [ 50, 3 ], [ 54, 4 ] ] do
> G:= SmallGroup( pair[1], pair[2] );
> if CharacterDegrees( G, 0 )
> <> Collected( List( Irr( G ), x -> x[1] ) ) then
> Error( IdGroup( G ) );
> fi;
> od;
##
gap> mth:= [];;
gap> G:= AbelianGroup( [ 2, 3, 5 ] );;
gap> Add( mth, ApplicableMethod( CharacterDegrees, [ G ] ) );
gap> CharacterDegrees( G ) = [ [ 1, 30 ] ];
true
gap> G:= SmallGroup( 24, 12 );; Irr( G );;
gap> Add( mth, ApplicableMethod( CharacterDegrees, [ G ] ) );
gap> CharacterDegrees( G ) = [ [ 1, 2 ], [ 2, 1 ], [ 3, 2 ] ];
true
gap> G:= SmallGroup( 24, 12 );; CharacterTable( G );;
gap> Add( mth, ApplicableMethod( CharacterDegrees, [ G ] ) );
gap> CharacterDegrees( G ) = [ [ 1, 2 ], [ 2, 1 ], [ 3, 2 ] ];
true
gap> G:= GL( 2, 3 );;
gap> Add( mth, ApplicableMethod( CharacterDegrees, [ G ] ) );
gap> CharacterDegrees( G ) = [ [ 1, 2 ], [ 2, 3 ], [ 3, 2 ], [ 4, 1 ] ];
true
gap> G:= Group( [ [ E(3) ] ], [ [ E(4) ] ] );;
gap> Add( mth, ApplicableMethod( CharacterDegrees, [ G ] ) );
gap> CharacterDegrees( G ) = [ [ 1, 12 ] ];
true
gap> G:= SmallGroup( 24, 12 );; # hier: auch überaufl.!!!
gap> Add( mth, ApplicableMethod( CharacterDegrees, [ G ] ) );
gap> CharacterDegrees( G ) = [ [ 1, 2 ], [ 2, 1 ], [ 3, 2 ] ];
true
gap> all:= MethodsOperation( CharacterDegrees, 1 );;
gap> rks:= Reversed( List( mth, f -> First( all, r -> r.func = f ).rank ) );;
gap> IsSSortedList( rks );
true
gap> G:= Group( (1,2), (3,4) );;
gap> ApplicableMethod( CharacterDegrees, [ G ] ) = Last( mth );
true
gap> CharacterDegrees( G ) = [ [ 1, 4 ] ];
true
gap> G:= Group( (1,2,3), (1,2) );;
gap> ApplicableMethod( CharacterDegrees, [ G ] ) = Last( mth );
true
gap> CharacterDegrees( G ) = [ [ 1, 2 ], [ 2, 1 ] ];
true
gap> G:= Group( (1,2,3,4), (1,2) );;
gap> ApplicableMethod( CharacterDegrees, [ G ] ) = Last( mth );
true
gap> CharacterDegrees( G ) = [ [ 1, 2 ], [ 2, 1 ], [ 3, 2 ] ];
true
gap> G:= Group( (1,2,3,4,5), (1,2) );;
gap> ApplicableMethod( CharacterDegrees, [ G ] ) = Last( mth );
true
gap> CharacterDegrees( G ) = [ [ 1, 2 ], [ 4, 2 ], [ 5, 2 ], [ 6, 1 ] ];
true
##
gap> G:= Group( (1,2,3,4,5), (1,2) );;
gap> CharacterDegrees( G, 0 ) = [ [ 1, 2 ], [ 4, 2 ], [ 5, 2 ], [ 6, 1 ] ];
true
gap> HasCharacterDegrees( G );
true
gap> G:= Group( (1,2,3,4,5), (1,2) );;
gap> CharacterDegrees( G, 7 ) = [ [ 1, 2 ], [ 4, 2 ], [ 5, 2 ], [ 6, 1 ] ];
true
gap> HasCharacterDegrees( G );
true
gap> CharacterDegrees( G, 4 );
Error, Assertion failure
gap> G:= Group( (1,2,3), (4,5) );;
gap> CharacterDegrees( G, 3 ) = [ [ 1, 2 ] ];
true
gap> G:= SymmetricGroup( 5 );; CharacterTable( G ) mod 3;;
gap> CharacterDegrees( G, 3 ) = [ [ 1, 2 ], [ 4, 2 ], [ 6, 1 ] ];
true
gap> G:= SymmetricGroup( 4 );;
gap> CharacterDegrees( G, 3 ) = [ [ 1, 2 ], [ 3, 2 ] ];
true
gap> G:= SymmetricGroup( 5 );;
gap> CharacterDegrees( G, 3 ) = [ [ 1, 2 ], [ 4, 2 ], [ 6, 1 ] ];
true
##
gap> tbl:= CharacterTable( SymmetricGroup( 5 ) );;
gap> CharacterDegrees( tbl ) = [ [ 1, 2 ], [ 4, 2 ], [ 5, 2 ], [ 6, 1 ] ];
true
gap> CharacterDegrees( tbl mod 3 ) = [ [ 1, 2 ], [ 4, 2 ], [ 6, 1 ] ];
true
##
gap> STOP_TEST("ctblsolv.tst");
[ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
]
|
