ID: 12.0 Parent: 8.0 Tree
PDER
VAR\IND x1 x11 x9 x12
x1 1 0 0 0
x9 0 0 1 0
x11 0 1 0 0
x12 0 0 0 1
x13 0 -x12^6*x9^4*x13^2 -4*x12^6*x11*x9^3*x1
3^2
-6*x12^5*x11*x9^4*x1
3^2
FOCUS
x1^6*x11^5*x9^8-x12^6*x9^12*x11^6*x1^6
x12^6*x9^4
4*x12^6*x11*x9^3
6*x12^5*x11*x9^4
DEP
x13*(x12^6*x11*x9^4-1)-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 x1*x2^2*x3^3/(x4^6-x1*x2^2*x3^3)
STACK
WBO (dim: 4)
J
-x12^6*x11*x9^4+1 0
c 0
Nempty
(E,a)
Ea
x1 5
x11 4
x9 6
C empty