71.47 CombineEQuotientECore

CombineEQuotientECore(H|e, Q, C)

A partition is uniquely determined by its e-quotient and its e-core (see EQuotient and ECore). CombineEQuotientECore(e, Q, C) returns the partition which has e--quotient Q and e--core C. The integer e can be replaced with a record H which was created using the function Specht.

gap> H:=Specht(11);; mu:=[100,98,57,43,12,1];;
gap> Q:=EQuotient(H,mu);
[ [ 9 ], [  ], [  ], [  ], [  ], [  ], [ 3 ], [ 1 ], [ 9 ], [  ], [ 5 ] ]
gap> C:=ECore(H,mu);
[ 7, 2, 2, 1, 1, 1 ]
gap> CombineEQuotientECore(H,Q,C);
[ 100, 98, 57, 43, 12, 1 ]

See also ECore ECore and EQuotient EQuotient. This function requires the package ``specht'' (see RequirePackage).

Previous Up Top Next
Index

GAP 3.4.4
April 1997