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