| ID: 145.0 |
Parent: 143.0
|
Tree |
|---|
| PDER |
| VAR\IND |
x7
|
x10
|
x12
|
|---|
| x5 |
-x9*(6*x7^7*x12^2*x10^2*x5
^5+x12*x10*x7)+x10*x9-x12*
x10*x9*(2*x7^7*x12*x10*x5^
5+x7)
|
x9*x7-x12*x9*(2*x7^7*x12*x
10*x5^5+x7)*x7
|
-x9*(2*x7^7*x12*x10*x5^5+x
7)*x7*x10
|
|---|
| x7 |
1
|
0
|
0
|
|---|
| x9 |
-30*x7^7*x12^2*x10^2*x5^4*
x9^2+20*x9^3*x7^8*x12^2*x1
0^2*x5^3*(6*x7^7*x12^2*x10
^2*x5^5+x12*x10*x7)-20*x10
^3*x9^3*x7^8*x12^2*x5^3+x1
2*x10*(-10*x7^7*x12*x10*x5
^4*x9^2+20*x9^3*x7^8*x12^2
*x10^2*x5^3*(2*x7^7*x12*x1
0*x5^5+x7))
|
-20*x9^3*x7^9*x12^2*x10^2*
x5^3+x12*(-10*x7^7*x12*x10
*x5^4*x9^2+20*x9^3*x7^8*x1
2^2*x10^2*x5^3*(2*x7^7*x12
*x10*x5^5+x7))*x7
|
(-10*x7^7*x12*x10*x5^4*x9^
2+20*x9^3*x7^8*x12^2*x10^2
*x5^3*(2*x7^7*x12*x10*x5^5
+x7))*x7*x10
|
|---|
| x10 |
0
|
1
|
0
|
|---|
| x12 |
0
|
0
|
1
|
|---|
|
|---|
| FOCUS |
|---|
|
x7^12*x5^12*x12^6*x10^6-x5^8*x7^4*x12^4*x10^4+x7^6*x5^7*x12^5*x10^5
|
|
x5
|
|
x7*x5
|
|
x7
|
|
6*x7^7*x12^2*x10^2*x5^5+x12*x10*x7
|
|
x10
|
| DEP |
|---|
|
x9*(5*x7^8*x12^2*x10^2*x5^4-1)-1
|
|
x10*x7-x7^8*x5^5*x12^2*x10^2-x12*x10*x7^2+x5
|
| MAP |
| x1 |
x7^2*x12*x10*x5^2
|
|---|
| x2 |
x5^2*x7*x12*x10
|
|---|
| x3 |
x7*x12*x10*x5
|
|---|
|
|---|
| IMAP |
| x5 |
x2/x3
|
|---|
| x7 |
x1/x2
|
|---|
| x9 |
-x2^4/(-5*x1^6+x2^4)
|
|---|
| x10 |
1/x2^2*(x1^6-x2^4+x1*x2*x3^3)/x1/x3
|
|---|
| x12 |
x3^3*x2^2/(x1^6-x2^4+x1*x2*x3^3)
|
|---|
|
|---|
|
| STACK |
|---|
| WBO (dim: 3) |
|---|
| J |
|---|
|
1
| 0 |
| c |
0 |
|---|
| N | empty |
|---|
| (E,a) |
|---|
| E | a |
| x12 | 3 |
| x7^15*x12^4*x10^3*x5^9+x7^9*x12^3*x10^2*x5^4-x7^8*x12^2*x10^2*x5^4+x12*x7-1 | 5 |
| x7 | 8 |
| x10 | 8 |
| C |
empty |
|---|