ID: 25.0 |
Parent: 24.0
|
Tree |
PDER |
VAR\IND |
x9
|
x11
|
x10
|
x3 |
-x7*(2*x11*x10*x9*x3-x11*x
10)*x11*x10+x10^2*x11*x7
|
(-x7*(2*x11*x10*x3-x11*x10
*x9)+x7*x10*x9-x9*x7*(2*x1
1*x10*x9*x3-x11*x10))*x10
|
x7*x11*x10*x9+x11*(-x7*(2*
x11*x10*x3-x11*x10*x9)+x7*
x10*x9-x9*x7*(2*x11*x10*x9
*x3-x11*x10))
|
x7 |
-2*x11^2*x10^2*x9*x7^2
|
(-2*x11*x10*x7^2-2*x9^2*x1
1*x10*x7^2)*x10
|
x11*(-2*x11*x10*x7^2-2*x9^
2*x11*x10*x7^2)
|
x9 |
1
|
0
|
0
|
x10 |
0
|
0
|
1
|
x11 |
0
|
1
|
0
|
|
FOCUS |
x3^3*x11^2*x10^2+x3^3*x11^2*x10^2*x9^2+x3^3-x3^2*x11^2*x10^2*x9
|
x11*x10*x9
|
x11*x10
|
2*x11*x10*x9*x3-x11*x10
|
2*x11*x10*x3-x11*x10*x9
|
x10*x9
|
x9
|
x10
|
DEP |
x7*(x11^2*x10^2+x11^2*x10^2*x9^2+1)-1
|
x11*x10^2*x9-x11^2*x10^2*x3-x11^2*x10^2*x9^2*x3+x9*x11^2*x10^2-x3
|
MAP |
x1 |
x11*x10*x9*x3
|
x2 |
x11*x10*x3
|
x3 |
x3
|
|
IMAP |
x3 |
x3
|
x7 |
x3^2/(x2^2+x3^2+x1^2)
|
x9 |
x1/x2
|
x10 |
1/x3*(x3*x1^2+x3*x2^2+x3^3-x1*x2)/x1
|
x11 |
x1/(x3*x1^2+x3*x2^2+x3^3-x1*x2)*x2
|
|
|
STACK |
WBO (dim: 3) |
J |
1
| 0 |
c |
0 |
N | empty |
(E,a) |
E | a |
x11^5*x10^4*x9^4*x7+2*x11^5*x10^4*x9^2*x7+x11^4*x10^4*x9^4*x7+2*x11^4*x10^4*x9^2*x7+x11^5*x10^4*x7+x11^4*x10^4*x7-x11^3*x9^2*x10^2-x11^2*x10^2*x9^2-x11^3*x10^2-x11^2*x10^2+x11+1 | 1 |
x11 | 1 |
x9 | 1 |
x10 | 2 |
C |
empty |