ID: 29.0 Parent: 28.0 Tree
PDER
VAR\IND x13 x10 x3 x14
x3 0 0 1 0
x6 x11*x14*x13+x14*(2*x
11*x14*x13+x11*x13)
-3*x11*x6^2*x10^2 0 (2*x11*x14*x13+x11*x
13)*x13
x10 0 1 0 0
x11 -2*x11^3*x14*x13*x10
^3+x14*(-4*x11^3*x14
*x13*x10^3-2*x13*x11
^3*x10^3)
-6*x10^2*x6*x11^2+6*
x11^3*x10^5*x6^2
0 (-4*x11^3*x14*x13*x1
0^3-2*x13*x11^3*x10^
3)*x13
x12 2*x11^3*x14*x13*x10^
3*x12^2+x14*(4*x11^3
*x14*x13*x10^3*x12^2
+2*x13*x11^3*x10^3*x
12^2)
-(-6*x10^2*x6*x11^2+
6*x11^3*x10^5*x6^2)*
x12^2
0 (4*x11^3*x14*x13*x10
^3*x12^2+2*x13*x11^3
*x10^3*x12^2)*x13
x13 1 0 0 0
x14 0 0 0 1
FOCUS
x6^4*x3^4*x10^3+x6^3*x3^4-x3^4*x14^2*x13^2*x6^2
x6
x10*x6
x14*x13
x14*x13
x13
DEP
x11*(2*x10^3*x6+1)-1
x12*(x11+1)-1
x13^2*x14-x10^3*x6^2+x14^2*x13^2-x6
MAP
x1 x6*x3
x2 x10*x6*x3
x3 x3
x4 x14*x13*x6*x3
IMAP
x3 x3
x6 x1/x3
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 -1/x1*(x3^2*x4^2-x1*x2^3-x1^3*x3)/x4/x3^2
x14 -x3^2*x4^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
-4*x14^3*x13^2*x10^3*x12^2-8*x10^3*x12^2*x14^2*x13^2+8*x14^3*x13^2*x10^3*x12+16*x10^3*x12*x14^2*x13^2-4*x14^3*x13^2*x10^3-8*x10^3*x14^2*x13^2-4*x10^3*x12^2*x14*x13^2+8*x10^3*x12*x14*x13^2-4*x10^3*x14*x13^2+x14+1 1
x14 1
x13 2
C empty