[GAP Forum] Specht modules for S_n

[Dima Pasechnik]

Dear Forum,
I need some efficient basic functionality for irreducible representations
of S_n. I understand it is available in GAP3 (SPECHT package), but not in
GAP4.
Is it feasible to contruct and 
to work with Q-modules of dimension few hundred using 
this package?

A naive implementation of constrution of Specht modules runs into
a problem that one needs to operate on  
the set of tableaux, that get pretty large.
(The Specht module will be a proper submodule of the (huge)
 permutation module on the tableaux, spanned by the Young symmetrizers
 of the standard tableaux)

I suspect that using a "straightening algorithm", that allows
to work with standard tableaux only, should be more efficient.

(Or perhaps I am missing some  obvious efficient method to build these
 representations?)

Did anyone have any experience with such implementations?

thanks,
Dima