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