DecompositionMatrixMatrix(H, m, n)
Given a Hecke algebra H, a GAP matrix m, and an integer n this
function returns the Specht decomposition matrix corresponding to
m. If p is the number of partitions of n and r the number of
e--regular partitions of n, then m must be either
<r>times<r>, <p>times<r>, or <p>times<p>. The rows and
columns of m are assumed to be indexed by partitions ordered by
H.Ordering (see Specht).
gap> H:=Specht(3);; gap> m:=[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 1, 0, 1, 0 ], > [ 0, 0, 0, 1 ], [ 0, 0, 1, 0 ] ];; gap> DecompositionMatrixMatrix(H,m,4); 4
|1 3,1
|. 1 2^2
|1 . 1 2,1^2
|. . . 1 1^4
| . . 1 .
See also DecompositionMatrix DecompositionMatrix and
MatrixDecompositionMatrix MatrixDecompositionMatrix. This function
requires the package ``specht'' (see RequirePackage).
GAP 3.4.4