ID: 243.0 |
Parent: 242.0
|
Tree |
PDER |
VAR\IND |
x10
|
x11
|
x10^3*x11^2*x9^2+2*x
8*x11*x10^3+4*x9*x11
^2*x10-x9
|
x4
|
x4 |
0
|
0
|
0
|
1
|
x8 |
3/2*x10^2*x11^3*x9^3
-x12*(-1/2*x11*x9+x1
1*(-1/2*x9+3/2*x10^3
*x11^2*x9^2))*(3*x11
^4*x9^3*x10^5+3*x10^
2*x11^2*x9^2+6*x8*x1
1*x10^2+4*x11^2*x9)
|
(-1/2*x9+3/2*x10^3*x
11^2*x9^2)*x9-x12*(-
1/2*x11*x9+x11*(-1/2
*x9+3/2*x10^3*x11^2*
x9^2))*(2*x11*x10^3*
(-1/2*x9+3/2*x10^3*x
11^2*x9^2)*x9+2*x10^
3*x11*x9^2+2*x10^3*x
8+8*x10*x11*x9)
|
x12*(-1/2*x11*x9+x11
*(-1/2*x9+3/2*x10^3*
x11^2*x9^2))
|
0
|
x9 |
-x12*(3*x11^4*x9^3*x
10^5+3*x10^2*x11^2*x
9^2+6*x8*x11*x10^2+4
*x11^2*x9)
|
-x12*(2*x11*x10^3*(-
1/2*x9+3/2*x10^3*x11
^2*x9^2)*x9+2*x10^3*
x11*x9^2+2*x10^3*x8+
8*x10*x11*x9)
|
x12
|
0
|
x10 |
1
|
0
|
0
|
0
|
x11 |
0
|
1
|
0
|
0
|
x12 |
-(6*x11*x10^2*(-1/2*
x11*x9+x11*(-1/2*x9+
3/2*x10^3*x11^2*x9^2
))+9*x11^4*x9^2*x10^
5+6*x10^2*x9*x11^2+4
*x11^2)*x12^2+x12^3*
(2*x11*x10^3*(-1/2*x
11+x11*(-1/2+3*x9*x1
0^3*x11^2))+2*x10^3*
x11^2)*(3*x11^4*x9^3
*x10^5+3*x10^2*x11^2
*x9^2+6*x8*x11*x10^2
+4*x11^2*x9)
|
-(2*x10^3*(-1/2*x11*
x9+x11*(-1/2*x9+3/2*
x10^3*x11^2*x9^2))+2
*x11*x10^3*(-x9+9/2*
x10^3*x11^2*x9^2)+4*
x11*x9*x10^3+8*x11*x
10)*x12^2+x12^3*(2*x
11*x10^3*(-1/2*x11+x
11*(-1/2+3*x9*x10^3*
x11^2))+2*x10^3*x11^
2)*(2*x11*x10^3*(-1/
2*x9+3/2*x10^3*x11^2
*x9^2)*x9+2*x10^3*x1
1*x9^2+2*x10^3*x8+8*
x10*x11*x9)
|
-x12^3*(2*x11*x10^3*
(-1/2*x11+x11*(-1/2+
3*x9*x10^3*x11^2))+2
*x10^3*x11^2)
|
0
|
x13 |
-(4*x11^2+64*x11^4*x
10*x12-16*x11^2*x12+
(32*x10^2*x11^4-16*x
11^2*x10+2)*(-(6*x11
*x10^2*(-1/2*x11*x9+
x11*(-1/2*x9+3/2*x10
^3*x11^2*x9^2))+9*x1
1^4*x9^2*x10^5+6*x10
^2*x9*x11^2+4*x11^2)
*x12^2+x12^3*(2*x11*
x10^3*(-1/2*x11+x11*
(-1/2+3*x9*x10^3*x11
^2))+2*x10^3*x11^2)*
(3*x11^4*x9^3*x10^5+
3*x10^2*x11^2*x9^2+6
*x8*x11*x10^2+4*x11^
2*x9)))*x13^2
|
-(8*x11*x10+128*x11^
3*x10^2*x12-32*x12*x
11*x10+(32*x10^2*x11
^4-16*x11^2*x10+2)*(
-(2*x10^3*(-1/2*x11*
x9+x11*(-1/2*x9+3/2*
x10^3*x11^2*x9^2))+2
*x11*x10^3*(-x9+9/2*
x10^3*x11^2*x9^2)+4*
x11*x9*x10^3+8*x11*x
10)*x12^2+x12^3*(2*x
11*x10^3*(-1/2*x11+x
11*(-1/2+3*x9*x10^3*
x11^2))+2*x10^3*x11^
2)*(2*x11*x10^3*(-1/
2*x9+3/2*x10^3*x11^2
*x9^2)*x9+2*x10^3*x1
1*x9^2+2*x10^3*x8+8*
x10*x11*x9)))*x13^2
|
(32*x10^2*x11^4-16*x
11^2*x10+2)*x12^3*(2
*x11*x10^3*(-1/2*x11
+x11*(-1/2+3*x9*x10^
3*x11^2))+2*x10^3*x1
1^2)*x13^2
|
0
|
|
FOCUS |
x10*x11^4*x9^4*x4^4+x10^3*x11^3*x9^3*x4^4*x8-x8^2*x4^4
|
x10*x11*x9
|
x11*x9
|
x8
|
x9
|
x10
|
3/2*(2*x8*x10^2+x11*x9^2*x10^2+2*x11*x9)*x10^2*x11^3*x9^3+2*x8^2*x10+2*x11*x9^2*
x8*x10
|
(2*x8*x10^2+x11*x9^2*x10^2+2*x11*x9)*(-1/2*x9+3/2*x10^3*x11^2*x9^2)*x9+x9^2*x8*x
10^2+2*x11*x9^3+2*x9*x8
|
(2*x8*x10^2+x11*x9^2*x10^2+2*x11*x9)*(-1/2*x11*x9+x11*(-1/2*x9+3/2*x10^3*x11^2*x
9^2))+2*x11*x9*x8*x10^2+3*x11^2*x9^2+2*x8*x11
|
3/2*(-2*x8*x11*x10^3-2*x9*x11^2*x10+x9)*x10^2*x11^3*x9^3-3*x11*x10^2*x8^2-2*x8*x
11^2*x9+x11^3*x9^3
|
(-2*x8*x11*x10^3-2*x9*x11^2*x10+x9)*(-1/2*x9+3/2*x10^3*x11^2*x9^2)*x9-x10^3*x8^2
-4*x8*x9*x11*x10+3*x10*x9^3*x11^2
|
(-2*x8*x11*x10^3-2*x9*x11^2*x10+x9)*(-1/2*x11*x9+x11*(-1/2*x9+3/2*x10^3*x11^2*x9
^2))-2*x8*x11^2*x10+x8+3*x11^3*x9^2*x10
|
3*x11^4*x9^3*x10^5+3*x10^2*x11^2*x9^2+6*x8*x11*x10^2+4*x11^2*x9
|
2*x11*x10^3*(-1/2*x9+3/2*x10^3*x11^2*x9^2)*x9+2*x10^3*x11*x9^2+2*x10^3*x8+8*x10*
x11*x9
|
x8
|
x9
|
DEP |
x9^2*x11-x10^3*x11^3*x9^3+2*x8
|
x12*(2*x11*x10^3*(-1/2*x11*x9+x11*(-1/2*x9+3/2*x10^3*x11^2*x9^2))+2*x9*x10^3*x11
^2+4*x11^2*x10-1)-1
|
x13*(4*x11^2*x10-1+32*x11^4*x10^2*x12-16*x12*x11^2*x10+2*x12)-1
|
MAP |
x1 |
x10*x11*x9*x4
|
x2 |
x11*x9*x4
|
x3 |
x8*x4
|
x4 |
x4
|
|
IMAP |
x4 |
x4
|
x8 |
x3/x4
|
x9 |
-(2*x3*x4^2-x1^3)/x4^2/x2
|
x10 |
x1/x2
|
x11 |
-x2^2/(2*x3*x4^2-x1^3)*x4
|
x12 |
-1/2*(2*x3*x4^2-x1^3)^2/(-2*x3*x4^2*x1^3-x1^6-2*x1*x2^3*x4^2+2*x3^2*x4^4)
|
x13 |
-1/6*(2*x3*x4^2-x1^3)^2*(-2*x3*x4^2*x1^3-x1^6-2*x1*x2^3*x4^2+2*x3^2*x4^4)/x4^2/(
8*x1^4*x2^3*x3*x4^2-x1^7*x2^3+4*x2^6*x4^2*x1^2-8*x1*x2^3*x3^2*x4^4-8*x3^3*x4^4*x
1^3+5*x3^2*x4^2*x1^6+4*x3^4*x4^6-x3*x1^9)
|
|
|
STACK |
WBO (dim: 4) |
J |
4*x11^2*x10-1+x11^4*x9^2*x10^6
| 0 |
c |
0 |
N | empty |
(E,a) |
E | a |
x4 | 3 |
x11 | 1 |
x9 | 0 |
C |
empty |