show · lattice.normalized_minimal_vector all knowls · up · search:

For an integral lattice $L$, the minimal vectors of $L$ come in pairs: if $\vec{v}$ is a minimal vector, then so is $-\vec{v}$. A minimal vector is normalized if its first nonzero component is positive.

Authors:
Knowl status:
• Review status: reviewed
• Last edited by Kiran S. Kedlaya on 2018-06-27 09:51:25
Referred to by:
History: