ID: 171.0 Parent: 170.0 Tree
PDER
VAR\IND x11 x12 1+2*x8*x11^3+8*x11*x
9*x12^3*x8-x11^2*x9 		x4
x4 0 0 0 1
x8 (3/2*x11^2*x9^2-1/2*
x9)*x9-x13*(-1/2*x11
*x9+x11*(3/2*x11^2*x
9^2-1/2*x9))*((2*x11
^3+8*x12^3*x9*x11)*(
3/2*x11^2*x9^2-1/2*x
9)*x9+6*x8*x11^2+8*x
9*x12^3*x8-2*x11*x9)
-24*x13*(-1/2*x11*x9
+x11*(3/2*x11^2*x9^2
-1/2*x9))*x12^2*x9*x
8*x11 		x13*(-1/2*x11*x9+x11
*(3/2*x11^2*x9^2-1/2
*x9)) 		0
x9 -x13*((2*x11^3+8*x12
^3*x9*x11)*(3/2*x11^
2*x9^2-1/2*x9)*x9+6*
x8*x11^2+8*x9*x12^3*
x8-2*x11*x9) 		-24*x13*x12^2*x9*x8*
x11 		x13 0
x11 1 0 0 0
x12 0 1 0 0
x13 -(8*x12^3*x11*(3/2*x
11^2*x9^2-1/2*x9)*x9
+(6*x11^2+8*x12^3*x9
)*(-1/2*x11*x9+x11*(
3/2*x11^2*x9^2-1/2*x
9))+(2*x11^3+8*x12^3
*x9*x11)*(-x9+9/2*x1
1^2*x9^2)+8*x12^3*x8
-2*x11)*x13^2+x13^3*
(16*x12^3*x11*(-1/2*
x11*x9+x11*(3/2*x11^
2*x9^2-1/2*x9))+(2*x
11^3+8*x12^3*x9*x11)
*(-1/2*x11+x11*(3*x1
1^2*x9-1/2)))*((2*x1
1^3+8*x12^3*x9*x11)*
(3/2*x11^2*x9^2-1/2*
x9)*x9+6*x8*x11^2+8*
x9*x12^3*x8-2*x11*x9
) 		-(24*x12^2*x11*x9*(-
1/2*x11*x9+x11*(3/2*
x11^2*x9^2-1/2*x9))+
24*x8*x12^2*x11)*x13
^2+24*x13^3*(16*x12^
3*x11*(-1/2*x11*x9+x
11*(3/2*x11^2*x9^2-1
/2*x9))+(2*x11^3+8*x
12^3*x9*x11)*(-1/2*x
11+x11*(3*x11^2*x9-1
/2)))*x12^2*x9*x8*x1
1 		-x13^3*(16*x12^3*x11
*(-1/2*x11*x9+x11*(3
/2*x11^2*x9^2-1/2*x9
))+(2*x11^3+8*x12^3*
x9*x11)*(-1/2*x11+x1
1*(3*x11^2*x9-1/2)))
0
x14 -(x11^2*x13*((2*x11^
3+8*x12^3*x9*x11)*(3
/2*x11^2*x9^2-1/2*x9
)*x9+6*x8*x11^2+8*x9
*x12^3*x8-2*x11*x9)-
2*x11*x9)*x14^2 		-24*x13*x12^2*x9*x8*
x11^3*x14^2 		x11^2*x13*x14^2 0
x15 -((2*x11^3+8*x12^3*x
9*x11)*((3/2*x11^2*x
9^2-1/2*x9)*x9-x13*(
-1/2*x11*x9+x11*(3/2
*x11^2*x9^2-1/2*x9))
*((2*x11^3+8*x12^3*x
9*x11)*(3/2*x11^2*x9
^2-1/2*x9)*x9+6*x8*x
11^2+8*x9*x12^3*x8-2
*x11*x9))-(8*x12^3*x
8*x11-x11^2)*x13*((2
*x11^3+8*x12^3*x9*x1
1)*(3/2*x11^2*x9^2-1
/2*x9)*x9+6*x8*x11^2
+8*x9*x12^3*x8-2*x11
*x9)+6*x8*x11^2+8*x9
*x12^3*x8-2*x11*x9)*
x15^2 		-(-24*(2*x11^3+8*x12
^3*x9*x11)*x13*(-1/2
*x11*x9+x11*(3/2*x11
^2*x9^2-1/2*x9))*x12
^2*x9*x8*x11-24*(8*x
12^3*x8*x11-x11^2)*x
13*x12^2*x9*x8*x11+2
4*x12^2*x9*x8*x11)*x
15^2 		-((2*x11^3+8*x12^3*x
9*x11)*x13*(-1/2*x11
*x9+x11*(3/2*x11^2*x
9^2-1/2*x9))+(8*x12^
3*x8*x11-x11^2)*x13)
*x15^2 		0
FOCUS
x11^4*x9^7*x4^4*x12^3+x11^3*x9^3*x4^4*x8-x8^2*x4^4
x11*x9
x9^2*x12*x11
x8
x9
(2*x11^3+8*x12^3*x9*x11)*(3/2*x11^2*x9^2-1/2*x9)*x9+6*x8*x11^2+8*x9*x12^3*x8-2*x
11*x9
24*x12^2*x9*x8*x11
-x8
-x8
x9
DEP
x9^2*x11-x11^3*x9^3+2*x8
x13*((2*x11^3+8*x12^3*x9*x11)*(-1/2*x11*x9+x11*(3/2*x11^2*x9^2-1/2*x9))+8*x12^3*
x8*x11-x11^2)-1
x14*(-x11^2*x9+1)-1
x15*(1+2*x8*x11^3+8*x11*x9*x12^3*x8-x11^2*x9)-1
MAP
x1 x11*x9*x4
x2 x12*x9^2*x11*x4
x3 x8*x4
x4 x4
IMAP
x4 x4
x8 x3/x4
x9 -1/x4^2*(2*x3*x4^2-x1^3)/x1
x11 -x1^2*x4/(2*x3*x4^2-x1^3)
x12 -x2*x4^2/(2*x3*x4^2-x1^3)
x13 -1/4*(2*x3*x4^2-x1^3)^4/x1^2/x4^4/(-2*x3*x1^5-6*x4^2*x2^3*x3-x2^3*x1^3+x1^2*x3^2
*x4^2)
x14 1/2*(2*x3*x4^2-x1^3)/x3/x4^2
x15 1/8*(2*x3*x4^2-x1^3)^3/x3/x4^4/(x3^2*x4^2-x1*x2^3-x1^3*x3)
STACK
WBO (dim: 4)
J
4*x12^3*x11^2*x9^3-1+x11^4*x9^2 0
c 0
Nempty
(E,a)
Ea
x4 3
x9 2
C empty