isUnimodular
P77156
predicate
Indicates that a matrix (or linear transformation) has determinant ±1, preserving volume and invertibility over the integers.
Sample triples (4)
| Subject | Object |
|---|---|
| Leech lattice | true ⓘ |
| Heisenberg Lie algebra | true ⓘ |
|
special linear group SL(n,R)
surface form:
SL(n,ℝ)
|
true ⓘ |
| E8 lattice | true ⓘ |