ID: 8.0 | Parent: 2.0 | Tree | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||
PDER |
| |||||||||||||||||
FOCUS | ||||||||||||||||||
x5^4*x7^2-x7^3*x5^5*x8^2 | ||||||||||||||||||
x5 | ||||||||||||||||||
DEP | empty | |||||||||||||||||
MAP |
| |||||||||||||||||
IMAP |
| |||||||||||||||||
STACK | ||||||||||||||||||
WBO (dim: 3) | ||||||||||||||||||
J | ||||||||||||||||||
-x8^2*x7*x5+1 | 1 | |||||||||||||||||
c | 1 | |||||||||||||||||
N | empty | |||||||||||||||||
(E,a) | ||||||||||||||||||
E | a | |||||||||||||||||
x7 | 1 | |||||||||||||||||
x5 | 2 | |||||||||||||||||
C | empty | |||||||||||||||||
TBO (dim: 3) | ||||||||||||||||||
J | ||||||||||||||||||
-x8^2*x7*x5+1 | 1 | |||||||||||||||||
N | empty | |||||||||||||||||
E | ||||||||||||||||||
x7 | ||||||||||||||||||
x5 | ||||||||||||||||||
EM | ||||||||||||||||||
x7 | ||||||||||||||||||
x5 | ||||||||||||||||||
C | empty | |||||||||||||||||
| ||||||||||||||||||
ID: 8.0 | Parent: 2.0 | Tree |