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 |