1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
|
#############################################################################
##
#W ctblmoli.tst GAP Library Thomas Breuer
##
##
#Y Copyright (C) 1997, Lehrstuhl D für Mathematik, RWTH Aachen, Germany
##
## To be listed in testinstall.g
##
gap> START_TEST("ctblmoli.tst");
gap> G:= AlternatingGroup( 5 );;
gap> psi:= First( Irr( G ), x -> Degree( x ) = 3 );;
gap> molser:= MolienSeries( psi );
( 1-z^2-z^3+z^6+z^7-z^9 ) / ( (1-z^5)*(1-z^3)*(1-z^2)^2 )
gap> List( [ 0 .. 20 ], i -> ValueMolienSeries( molser, i ) );
[ 1, 0, 1, 0, 1, 0, 2, 0, 2, 0, 3, 0, 4, 0, 4, 1, 5, 1, 6, 1, 7 ]
gap> MolienSeriesWithGivenDenominator( molser, [ 2, 6, 10 ] );
( 1+z^15 ) / ( (1-z^10)*(1-z^6)*(1-z^2) )
gap> y:= E(3);; x:= E(3)^2;;
gap> G:= Group(
> [ [ 0, y, 0, 0, 0, 0 ],
> [ x, 0, 0, 0, 0, 0 ],
> [ 0, 0, 1, 0, 0, 0 ],
> [ 0, 0, 0, 1, 0, 0 ],
> [ 0, 0, 0, 0, 1, 0 ],
> [ 0, 0, 0, 0, 0, 1 ] ],
> PermutationMat( (1,2), 6, Rationals ),
> PermutationMat( (2,3), 6, Rationals ),
> PermutationMat( (3,4), 6, Rationals ),
> PermutationMat( (4,5), 6, Rationals ) );;
gap> Size( G );
9720
gap> MolienSeries( NaturalCharacter( G ) );
( 1 ) / ( (1-z^12)*(1-z^9)*(1-z^6)*(1-z^5)*(1-z^3)*(1-z) )
gap> STOP_TEST( "ctblmoli.tst", 98500000 );
#############################################################################
##
#E
|