ID: 13.0 Parent: 11.0 Tree
Blown up to:
14.0
x12^6*x11*x9^4-1
PDER
VAR\IND x1 x12^6*x11*x9^4-1 x9 x12
x1 1 0 0 0
x9 0 0 1 0
x11 0 x13 -4*x13*x12^6*x11*x9^
3
-6*x13*x12^5*x11*x9^
4
x12 0 0 0 1
x13 0 0 -4*x12^6*x9^3*x13^2 -6*x12^5*x9^4*x13^2
FOCUS
x1^6*x11^5*x9^8-x12^6*x9^12*x11^6*x1^6
DEP
x13*x12^6*x9^4-1
MAP
x1 x1
x2 x11*x9*x1
x3 x9^2*x11*x1
x4 x12*x9^2*x11*x1
IMAP
x1 x1
x9 x3/x2
x11 x2^2/x1/x3
x12 x4/x3
x13 1/x4^6*x3^2*x2^4
STACK
WBO (dim: 4)
J
-x12^6*x11*x9^4+1 1
c 1
Nempty
(E,a)
Ea
x1 5
x11 4
C empty
TBO (dim: 4)
J
-x12^6*x11*x9^4+1 1
Nempty
E
x1
x11
EM
x1
x11
C empty
SBO (dim: 4)
J
-x12^6*x11*x9^4+1 1
Nempty
Hempty
Eempty
C empty
Blown up to:
14.0
x12^6*x11*x9^4-1
ID: 13.0 Parent: 11.0 Tree