Skip to main content
3 events
when toggle format what by license comment
Sep 17, 2021 at 4:32 history edited YCor
edited tags
Sep 17, 2021 at 2:42 comment added Mark Schultz-Wu One can readily derive lower bounds, see for example Prop. 1.2.9 or theorem 2.1.3 of Martinet's Perfect Lattices in Euclidean Space. This is of course not what you want, but at least theorem 2.1.3 has an equality condition which may be useful for constructing a potential counterexample to what you want.
Sep 16, 2021 at 23:27 history asked Russ Weterson CC BY-SA 4.0