ID: 13.0 Parent: 10.0 Tree
PDER
VAR\IND x1 x6 x7 x7^2*x8^2-x6^3-x7
x1 1 0 0 0
x6 0 1 0 0
x7 0 0 1 0
x8 0 3*x9*x6^2 -x9*(2*x7*x8^2-1) x9
x9 0 -6*x9^3*x7^2*x6^2 -4*x7*x8*x9^2+2*x9^3
*x7^2*(2*x7*x8^2-1)
-2*x9^3*x7^2
x10 0 -(-3*x6^2+6*x6^2*x9*
x7^2*x8)*x10^2
-(2*x7*x8^2-1-2*(2*x
7*x8^2-1)*x9*x7^2*x8
)*x10^2
-2*x9*x7^2*x8*x10^2
FOCUS
x1^4*x6^3+x1^4*x7-x7^2*x1^4*x8^2
-3*x6^2
2*x7*x8^2-1
-3*x6^2
2*x7*x8^2-1
DEP
2*x9*x7^2*x8-1
x10*(x7^2*x8^2-x6^3-x7)-1
MAP
x1 x1
x2 x6*x1
x3 x7*x1
x4 x8*x1
IMAP
x1 x1
x6 x2/x1
x7 x3/x1
x8 x4/x1
x9 1/2/x4*x1^3/x3^2
x10 x1^4/(x3^2*x4^2-x1*x2^3-x1^3*x3)
STACK
WBO (dim: 4)
J
-x7^2*x8^2+x6^3+x7 0
c 0
Nempty
(E,a)
Ea
x1 3
C empty