ID: 194.0 | Parent: 193.0 | Tree | |||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| ||||||||||||||||||||||||||
FOCUS | |||||||||||||||||||||||||||
x14^12*x15^8*x10^6*x7^3-x15^9*x14^12*x10^6*x7^3 | |||||||||||||||||||||||||||
x15*x14*x10*x7 | |||||||||||||||||||||||||||
x7 | |||||||||||||||||||||||||||
x15*x14*x10 | |||||||||||||||||||||||||||
x15*x14 | |||||||||||||||||||||||||||
x14^3*x15^2 | |||||||||||||||||||||||||||
x15*x14^2 | |||||||||||||||||||||||||||
x14 | |||||||||||||||||||||||||||
DEP | empty | ||||||||||||||||||||||||||
MAP |
| ||||||||||||||||||||||||||
IMAP |
| ||||||||||||||||||||||||||
STACK | |||||||||||||||||||||||||||
WBO (dim: 4) | |||||||||||||||||||||||||||
J | |||||||||||||||||||||||||||
-1 | 0 | ||||||||||||||||||||||||||
c | 0 | ||||||||||||||||||||||||||
N | empty | ||||||||||||||||||||||||||
(E,a) | |||||||||||||||||||||||||||
E | a | ||||||||||||||||||||||||||
x7 | 2 | ||||||||||||||||||||||||||
x10 | 4 | ||||||||||||||||||||||||||
x15 | 4 | ||||||||||||||||||||||||||
x14 | 6 | ||||||||||||||||||||||||||
x15-1 | 0 | ||||||||||||||||||||||||||
C | empty |