Dominates(mu, nu)
The dominance ordering is an important partial order in the
representation theory of Hecke algebra because d_{munu}=0 unless
nu dominates mu. Dominates(mu, nu)
returns
true
if either mu=nu or for all i ge 1,
sum_{j=1}^imu_j ge sum_{j=1}^inu_j, and false
otherwise.
gap> Dominates([5,4],[4,4,1]); true
This function requires the package ``specht'' (see RequirePackage).
GAP 3.4.4