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