ID: 176.0 Parent: 173.0 Tree
PDER
VAR\IND x13 x12 x11 x4
x4 0 0 0 1
x8 (3/2*x11^2*x13^2-x11
^2*x13)*x11
0 -1/2*x11^2*x13^2+x13
*(3/2*x11^2*x13^2-x1
1^2*x13)
0
x11 0 0 1 0
x12 0 1 0 0
x13 1 0 0 0
x14 -(2*x13+12*x13^2*x12
^3*x11)*x14^2
-12*x12^2*x13^3*x11*
x14^2
-4*x13^3*x12^3*x14^2
0
FOCUS
x11^7*x13^7*x4^4*x12^3+x11^3*x13^3*x4^4*x8-x8^2*x4^4
x11*x13
x12*x11^2*x13^2
x8
x11^2*x13
x11
8*x12^3*x13*(3/2*x11^2*x13^2-x11^2*x13)*x11-2*x11^2*x13+8*x12^3*x8+3*x11^2*x13^2
-x11^2
24*x13*x12^2*x8
8*x12^3*x13*(-1/2*x11^2*x13^2+x13*(3/2*x11^2*x13^2-x11^2*x13))-2*x11*x13^2+2*x11
+2*x11*x13^3-2*x11*x13
2*x13+12*x13^2*x12^3*x11
DEP
x11^3*x13^2-x11^3*x13^3+2*x8
x14*(x13^2-1+4*x12^3*x13^3*x11)-1
MAP
x1 x11*x13*x4
x2 x12*x11^2*x13^2*x4
x3 x8*x4
x4 x4
IMAP
x4 x4
x8 x3/x4
x11 -1/x4*(2*x3*x4^2-x1^3)/x1^2
x12 x4/x1^2*x2
x13 -x1^3/(2*x3*x4^2-x1^3)
x14 -1/4*(2*x3*x4^2-x1^3)^2/x4^2/(x3^2*x4^2-x1*x2^3-x1^3*x3)
STACK
WBO (dim: 4)
J
x13^2-1+4*x12^3*x13^3*x11 0
c 0
Nempty
(E,a)
Ea
x4 3
x13 2
x11 3
C empty