ID: 132.0 | Parent: 131.0 | Tree | |||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| ||||||||||||||||||||||||||
FOCUS | |||||||||||||||||||||||||||
x15^15*x16^10*x14^6*x8^3-x15^15*x14^6*x16^9*x8^3 | |||||||||||||||||||||||||||
x15^2*x14*x16*x8 | |||||||||||||||||||||||||||
x15^2*x14*x16 | |||||||||||||||||||||||||||
x15^3*x14^2*x16^2 | |||||||||||||||||||||||||||
x15*x16 | |||||||||||||||||||||||||||
x14*x15*x16 | |||||||||||||||||||||||||||
x15*x14 | |||||||||||||||||||||||||||
x15 | |||||||||||||||||||||||||||
DEP | empty | ||||||||||||||||||||||||||
MAP |
| ||||||||||||||||||||||||||
IMAP |
| ||||||||||||||||||||||||||
STACK | |||||||||||||||||||||||||||
WBO (dim: 4) | |||||||||||||||||||||||||||
J | |||||||||||||||||||||||||||
1 | 0 | ||||||||||||||||||||||||||
c | 0 | ||||||||||||||||||||||||||
N | empty | ||||||||||||||||||||||||||
(E,a) | |||||||||||||||||||||||||||
E | a | ||||||||||||||||||||||||||
x8 | 2 | ||||||||||||||||||||||||||
x16 | 5 | ||||||||||||||||||||||||||
x14 | 3 | ||||||||||||||||||||||||||
x15 | 8 | ||||||||||||||||||||||||||
x16-1 | 0 | ||||||||||||||||||||||||||
C | empty |