ID: 27.0 Parent: 26.0 Tree
PDER
VAR\IND x10^3*x6^2-x9^2+x6 x10 x3 x13
x3 0 0 1 0
x6 x11+2*x13*x11*x9 -3*x11*x6^2*x10^2 0 2*x11*x9*(x10^3*x6^2
-x9^2+x6)
x9 x13 0 0 x10^3*x6^2-x9^2+x6
x10 0 1 0 0
x11 -2*x11^3*x10^3-4*x13
*x11^3*x9*x10^3
-6*x10^2*x6*x11^2+6*
x11^3*x10^5*x6^2
0 -4*x11^3*x9*x10^3*(x
10^3*x6^2-x9^2+x6)
x12 2*x11^3*x10^3*x12^2+
4*x13*x11^3*x9*x10^3
*x12^2
-(-6*x10^2*x6*x11^2+
6*x11^3*x10^5*x6^2)*
x12^2
0 4*x11^3*x9*x10^3*x12
^2*(x10^3*x6^2-x9^2+
x6)
x13 0 0 0 1
FOCUS
x6^4*x3^4*x10^3+x6^3*x3^4-x3^4*x9^2*x6^2
x6
x10*x6
x9
x9
DEP
x11*(2*x10^3*x6+1)-1
x12*(x11+1)-1
x13*(x10^3*x6^2-x9^2+x6)-x9
MAP
x1 x6*x3
x2 x10*x6*x3
x3 x3
x4 x9*x6*x3
IMAP
x3 x3
x6 x1/x3
x9 x4/x1
x10 x2/x1
x11 x1^2*x3/(2*x2^3+x1^2*x3)
x12 1/2*(2*x2^3+x1^2*x3)/(x1^2*x3+x2^3)
x13 -x4*x1*x3^2/(x3^2*x4^2-x1*x2^3-x1^3*x3)
STACK
WBO (dim: 4)
J
1 0
c 0
Nempty
(E,a)
Ea
x3 3
-2*x12+2-2*x13*x12*x9+2*x13*x9 1
x10^3*x6^2-x9^2+x6 1
C empty