ID: 35.0 Parent: 29.0 Tree
PDER
VAR\IND x9 x11 x10
x9 1 0 0
x10 0 0 1
x11 0 1 0
x12 -(2*x10^3*x11^3*x9-2*x10^2
*x11^4*x9)*x12^2
-(3*x10^3*x11^2*x9^2-4*x10
^2*x11^3*x9^2)*x12^2
-(3*x10^2*x11^3*x9^2-2*x10
*x11^4*x9^2)*x12^2
FOCUS
x9^18*x11^12*x10^6-x11^16*x9^20*x10^8+x9^20*x11^15*x10^9
x11^2*x9^2*x10
x9^2*x11
x11*x9
x9
2*x10^3*x11^3*x9-2*x10^2*x11^4*x9
3*x10^3*x11^2*x9^2-4*x10^2*x11^3*x9^2
3*x10^2*x11^3*x9^2-2*x10*x11^4*x9^2
DEP
x12*(x10^3*x11^3*x9^2-x10^2*x11^4*x9^2+1)-1
MAP
x1 x9^3*x11^2*x10
x2 x10^2*x11^4*x9^5
x3 x10^2*x11^3*x9^4
IMAP
x9 x1^2/x2
x10 x3^2/x1/x2
x11 x2^2/x3/x1^2
x12 x1^6/(x1^6-x2^4+x1*x2*x3^3)
STACK
WBO (dim: 3)
J
x10^3*x11^3*x9^2-x10^2*x11^4*x9^2+1 0
c 0
Nempty
(E,a)
Ea
x10 4
x11 8
x9 12
C empty