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