| ID: 17.0 | Parent: 15.0 | Tree | ||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| PDER |
| |||||||||||||||||||||||||||||||
| FOCUS | ||||||||||||||||||||||||||||||||
| x1^6*x6^8*x11^3-x13^6*x11^6*x6^12*x1^6 | ||||||||||||||||||||||||||||||||
| x11 | ||||||||||||||||||||||||||||||||
| 4*x13^6*x6^3*x11^3 | ||||||||||||||||||||||||||||||||
| 3*x13^6*x6^4*x11^2 | ||||||||||||||||||||||||||||||||
| 6*x13^5*x6^4*x11^3 | ||||||||||||||||||||||||||||||||
| DEP | ||||||||||||||||||||||||||||||||
| x14*(x13^6*x6^4*x11^3-1)-1 | ||||||||||||||||||||||||||||||||
| MAP |
| |||||||||||||||||||||||||||||||
| IMAP |
| |||||||||||||||||||||||||||||||
| STACK | ||||||||||||||||||||||||||||||||
| WBO (dim: 4) | ||||||||||||||||||||||||||||||||
| J | ||||||||||||||||||||||||||||||||
| -x13^6*x6^4*x11^3+1 | 0 | |||||||||||||||||||||||||||||||
| c | 0 | |||||||||||||||||||||||||||||||
| N | empty | |||||||||||||||||||||||||||||||
| (E,a) | ||||||||||||||||||||||||||||||||
| E | a | |||||||||||||||||||||||||||||||
| x1 | 5 | |||||||||||||||||||||||||||||||
| x6 | 6 | |||||||||||||||||||||||||||||||
| x11 | 2 | |||||||||||||||||||||||||||||||
| C | empty | |||||||||||||||||||||||||||||||