ID: 171.0 | Parent: 169.0 | Tree | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| |||||||||||||||||||||||||
FOCUS | ||||||||||||||||||||||||||
x12^2*x10^14*x11^8-x11^8*x10^13 | ||||||||||||||||||||||||||
x12*x10^4*x11^2 | ||||||||||||||||||||||||||
x11*x12*x10^2 | ||||||||||||||||||||||||||
x11*x10 | ||||||||||||||||||||||||||
x12*x10 | ||||||||||||||||||||||||||
x10 | ||||||||||||||||||||||||||
2*x12*x10 | ||||||||||||||||||||||||||
DEP | ||||||||||||||||||||||||||
x13*x11-1 | ||||||||||||||||||||||||||
x14*(x10*x12^2-1)-1 | ||||||||||||||||||||||||||
MAP |
| |||||||||||||||||||||||||
IMAP |
| |||||||||||||||||||||||||
STACK | ||||||||||||||||||||||||||
WBO (dim: 3) | ||||||||||||||||||||||||||
J | ||||||||||||||||||||||||||
x10*x12^2-1 | 0 | |||||||||||||||||||||||||
c | 0 | |||||||||||||||||||||||||
N | empty | |||||||||||||||||||||||||
(E,a) | ||||||||||||||||||||||||||
E | a | |||||||||||||||||||||||||
x10 | 6 | |||||||||||||||||||||||||
C | empty |