ID: 400.0 | Parent: 399.0 | Tree | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| |||||||||||||||||||||||||
FOCUS | ||||||||||||||||||||||||||
x14^12*x11^22*x13^8-x11^22*x14^11*x13^8 | ||||||||||||||||||||||||||
x14^3*x11^5*x13^2 | ||||||||||||||||||||||||||
x14^2*x11^3*x13 | ||||||||||||||||||||||||||
x11^4*x14^2*x13 | ||||||||||||||||||||||||||
x14*x11 | ||||||||||||||||||||||||||
x11 | ||||||||||||||||||||||||||
x13*x11 | ||||||||||||||||||||||||||
DEP | ||||||||||||||||||||||||||
x15*x13-1 | ||||||||||||||||||||||||||
x16*x14-1 | ||||||||||||||||||||||||||
MAP |
| |||||||||||||||||||||||||
IMAP |
| |||||||||||||||||||||||||
STACK | ||||||||||||||||||||||||||
WBO (dim: 3) | ||||||||||||||||||||||||||
J | ||||||||||||||||||||||||||
1 | 0 | |||||||||||||||||||||||||
c | 0 | |||||||||||||||||||||||||
N | empty | |||||||||||||||||||||||||
(E,a) | ||||||||||||||||||||||||||
E | a | |||||||||||||||||||||||||
x11 | 10 | |||||||||||||||||||||||||
-1+x14 | 0 | |||||||||||||||||||||||||
C | empty |