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\}$.

Knowl status:
  • Review status: reviewed
  • Last edited by Kiran S. Kedlaya on 2018-06-19 03:02:22
Referred to by:
History: (expand/hide all)