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

An integral lattice $L$ is positive definite if the Gram matrix of the bilinear form $B$ on $L$ is a positive definite matrix. This is equivalent to the condition that $B(u,u)>0$ for all $u \in L \setminus\{0\}$.

Authors:
Knowl status:
• Review status: reviewed
• Last edited by Kiran S. Kedlaya on 2018-06-19 03:02:22
Referred to by:
History: