i2 : eq=matrix {{1, 1, 1, -1, -1, -1, 0, 0, 0}, {1, 1, 1, 0, 0, 0, -1, -1, -1}, {0, 1, 1, -1, 0, 0, -1, 0, 0}, {1, 0, 1, 0, -1, 0, 0, -1, 0}, {1, 1, 0, 0, 0, -1, 0, 0, -1}, {0, 1, 1, 0, -1, 0, 0, 0, -1}, {1, 1, 0, 0, -1, 0, -1, 0, 0}};
7 9
o2 : Matrix ZZ <--- ZZ
|
i3 : rc=normaliz(eq,5)
o3 = RationalCone{gen => | 1 0 2 2 1 0 0 2 1 | }
| 0 2 1 2 1 0 1 0 2 |
| 2 0 1 0 1 2 1 2 0 |
| 1 2 0 0 1 2 2 0 1 |
| 1 1 1 1 1 1 1 1 1 |
inv => HashTable{ => (1, 1, 1) }
degree 1 elements => 5
graded => true
grading => (0, 0, 0, 0, 1, 0, 0, 0, 0)
grading denom => 1
hilbert basis elements => 5
hilbert series denom => (1, 1, 1)
hilbert series num => (1, 2, 1)
index => 2
multiplicity => 4
multiplicity denom => 1
number extreme rays => 4
number support hyperplanes => 4
rank => 3
size triangulation => 2
sum dets => 4
o3 : RationalCone
|