Dominant weight (source code)

= Dominant weight

A weight is dominant when all its <Dynkin label>[Dynkin labels] are nonnegative.

Dominance is a nonnegativity condition on a <Weight (representation theory)>; integrality additionally requires lattice membership.