ID: 205.0 | Parent: 200.0 | Tree | |||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| ||||||||||||||||||||||||||||||||||||
FOCUS | |||||||||||||||||||||||||||||||||||||
x15^4*x10^11*x4^4+x15^3*x10^6*x4^4*x8-x8^2*x4^4 | |||||||||||||||||||||||||||||||||||||
x15*x10^2 | |||||||||||||||||||||||||||||||||||||
x15*x10^3 | |||||||||||||||||||||||||||||||||||||
x8 | |||||||||||||||||||||||||||||||||||||
x15*x10^4*x16 | |||||||||||||||||||||||||||||||||||||
x15*x10^3*x16 | |||||||||||||||||||||||||||||||||||||
x15*x10 | |||||||||||||||||||||||||||||||||||||
x16*x15*x10^2 | |||||||||||||||||||||||||||||||||||||
x16*x10 | |||||||||||||||||||||||||||||||||||||
2*x15*x10 | |||||||||||||||||||||||||||||||||||||
x15^2-x16^2 | |||||||||||||||||||||||||||||||||||||
-2*x16*x10 | |||||||||||||||||||||||||||||||||||||
(-x15^3-x16*x15^2+x16^2*x15+x16^3)*(-3/2*x16*x10^5*x15^2+x15*x10*(3/2*x15^2*x10^
4-1/2*x15*x10^4*x16)+x15*((3/2*x15^2*x10^4-1/2*x15*x10^4*x16)*x10-1/2*x10^5*x15* x16))+32*x10^3*x16^2-96*x10^2 | |||||||||||||||||||||||||||||||||||||
(x15^5+x15^4*x16-2*x16^2*x15^3-2*x15^2*x16^3+x16^4*x15+x16^5)*(-3/2*x16*x10^5*x1
5^2+x15*x10*(3/2*x15^2*x10^4-1/2*x15*x10^4*x16)+x15*((3/2*x15^2*x10^4-1/2*x15*x1 0^4*x16)*x10-1/2*x10^5*x15*x16))+96*x10^2*x16^2-256*x10 | |||||||||||||||||||||||||||||||||||||
DEP | |||||||||||||||||||||||||||||||||||||
x10^6*x15^2*x16-x15^3*x10^6+2*x8 | |||||||||||||||||||||||||||||||||||||
x17*(x15^2*x10-x16^2*x10+4)-1 | |||||||||||||||||||||||||||||||||||||
MAP |
| ||||||||||||||||||||||||||||||||||||
IMAP |
| ||||||||||||||||||||||||||||||||||||
STACK | |||||||||||||||||||||||||||||||||||||
WBO (dim: 4) | |||||||||||||||||||||||||||||||||||||
J | |||||||||||||||||||||||||||||||||||||
x15^2*x10-x16^2*x10+4 | 0 | ||||||||||||||||||||||||||||||||||||
c | 0 | ||||||||||||||||||||||||||||||||||||
N | empty | ||||||||||||||||||||||||||||||||||||
(E,a) | |||||||||||||||||||||||||||||||||||||
E | a | ||||||||||||||||||||||||||||||||||||
x4 | 3 | ||||||||||||||||||||||||||||||||||||
x15 | 0 | ||||||||||||||||||||||||||||||||||||
x10 | 1 | ||||||||||||||||||||||||||||||||||||
C | empty |