| ID: 89.0 | Parent: 88.0 | Tree | |||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| PDER |
| ||||||||||||||||||||||||||
| FOCUS | |||||||||||||||||||||||||||
| x13^6*x14^3*x10^4*x4^3-x14^4*x13^6*x10^4*x4^3 | |||||||||||||||||||||||||||
| x13^2*x14*x10 | |||||||||||||||||||||||||||
| x10^2*x13^2*x14 | |||||||||||||||||||||||||||
| x14^2*x13^3*x10^2 | |||||||||||||||||||||||||||
| x14*x13*x10 | |||||||||||||||||||||||||||
| x14*x13 | |||||||||||||||||||||||||||
| x14*x13^2 | |||||||||||||||||||||||||||
| x13 | |||||||||||||||||||||||||||
| DEP | empty | ||||||||||||||||||||||||||
| MAP |
| ||||||||||||||||||||||||||
| IMAP |
| ||||||||||||||||||||||||||
| STACK | |||||||||||||||||||||||||||
| WBO (dim: 4) | |||||||||||||||||||||||||||
| J | |||||||||||||||||||||||||||
| -1 | 0 | ||||||||||||||||||||||||||
| c | 0 | ||||||||||||||||||||||||||
| N | empty | ||||||||||||||||||||||||||
| (E,a) | |||||||||||||||||||||||||||
| E | a | ||||||||||||||||||||||||||
| x4 | 2 | ||||||||||||||||||||||||||
| x10 | 2 | ||||||||||||||||||||||||||
| x14 | 1 | ||||||||||||||||||||||||||
| x13 | 2 | ||||||||||||||||||||||||||
| x14-1 | 0 | ||||||||||||||||||||||||||
| C | empty | ||||||||||||||||||||||||||