IsSimpleModule(H, mu)
mu an e--regular partition.
Given an e--regular partition mu, IsSimpleModule(H,
mu)
returns true
if S
(mu) is simple and false
otherwise. This calculation uses the valuation function
H.valuation
; see Specht. Note that the criterion used by
IsSimpleModule
is completely combinatorial; it is derived from the
q--Schaper theorem [JM2].
gap> H:=Specht(3);; gap> IsSimpleModule(H,45,31,24); false
See also Schaper
Schaper. This function requires the package
``specht'' (see RequirePackage).
GAP 3.4.4