71.31 IsSimpleModule

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).

Previous Up Top Next
Index