i1 : R = QQ[symbol a..symbol f]; |
i2 : I = pfaffians(4, genericSkewMatrix(R,4)) o2 = ideal(c*d - b*e + a*f) o2 : Ideal of R |
i3 : P = groebnerFan(I)
LP algorithm being used: "cddgmp".
LP algorithm being used: "cddgmp".
o3 = PolymakeObject{...11...}
o3 : PolymakeObject
|
i4 : peek P
o4 = PolymakeObject{AMBIENT_DIM => 6 }
CONES => {{}, {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}}
DIM => 6
F_VECTOR => {1, 3, 3}
LINEALITY_DIM => 4
LINEALITY_SPACE => | 1 0 0 0 0 -1 |
| 0 1 0 0 -1 0 |
| 0 0 1 0 1 1 |
| 0 0 0 1 1 1 |
MAXIMAL_CONES => {{}, {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}}
N_RAYS => 3
ORTH_LINEALITY_SPACE => | 1 0 -1 -1 0 1 |
| 0 1 -1 -1 1 0 |
PURE => 1
RAYS => | -2 1 1 1 1 -2 |
| 1 -2 1 1 -2 1 |
| 1 1 -2 -2 1 1 |
|