ID: 115.0 | Parent: 112.0 | Tree | ||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| |||||||||||||||||||||||||||||||||||||||||
FOCUS | ||||||||||||||||||||||||||||||||||||||||||
x13^14*x17^5*x16^9*x3^4+x13^15*x17^6*x16^9*x3^4-x3^4*x13^14*x16^8*x17^4 | ||||||||||||||||||||||||||||||||||||||||||
x13^5*x17^2*x16^3 | ||||||||||||||||||||||||||||||||||||||||||
x16^2*x13^3*x17 | ||||||||||||||||||||||||||||||||||||||||||
x13^4*x16^2*x17 | ||||||||||||||||||||||||||||||||||||||||||
x13^2*x17*x16 | ||||||||||||||||||||||||||||||||||||||||||
x13^2*x16 | ||||||||||||||||||||||||||||||||||||||||||
x13 | ||||||||||||||||||||||||||||||||||||||||||
x13*x17 | ||||||||||||||||||||||||||||||||||||||||||
x13*x17 | ||||||||||||||||||||||||||||||||||||||||||
x13 | ||||||||||||||||||||||||||||||||||||||||||
x15^2*x13+x16 | ||||||||||||||||||||||||||||||||||||||||||
x17 | ||||||||||||||||||||||||||||||||||||||||||
-(x16+2*x15*x13)*x15^2*x13 | ||||||||||||||||||||||||||||||||||||||||||
x13 | ||||||||||||||||||||||||||||||||||||||||||
DEP | ||||||||||||||||||||||||||||||||||||||||||
x15*(x13*x17+1)-1 | ||||||||||||||||||||||||||||||||||||||||||
x18*(x15^2-(x16+2*x15*x13)*x17*x15^2)-1 | ||||||||||||||||||||||||||||||||||||||||||
x19*(x17*x16-x15)-1 | ||||||||||||||||||||||||||||||||||||||||||
MAP |
| |||||||||||||||||||||||||||||||||||||||||
IMAP |
| |||||||||||||||||||||||||||||||||||||||||
STACK | ||||||||||||||||||||||||||||||||||||||||||
WBO (dim: 4) | ||||||||||||||||||||||||||||||||||||||||||
J | ||||||||||||||||||||||||||||||||||||||||||
x13*x17^2*x16+x17*x16-1 | 0 | |||||||||||||||||||||||||||||||||||||||||
c | 0 | |||||||||||||||||||||||||||||||||||||||||
N | empty | |||||||||||||||||||||||||||||||||||||||||
(E,a) | ||||||||||||||||||||||||||||||||||||||||||
E | a | |||||||||||||||||||||||||||||||||||||||||
x3 | 3 | |||||||||||||||||||||||||||||||||||||||||
x17 | 2 | |||||||||||||||||||||||||||||||||||||||||
x16 | 4 | |||||||||||||||||||||||||||||||||||||||||
x13 | 7 | |||||||||||||||||||||||||||||||||||||||||
C | empty |