Weight lattice (source code)

= Weight lattice
{title2=$P$}
{wiki}

The weight lattice is the set of vectors $\lambda$ for which $\langle\lambda,\alpha^\vee\rangle$ is an integer for every root $\alpha$.