ID: 136.0 | Parent: 134.0 | Tree | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| |||||||||||||||||||||||||||||||
FOCUS | ||||||||||||||||||||||||||||||||
x1^6*x16^8*x10^27*x18^3-x10^24*x16^6*x1^6 | ||||||||||||||||||||||||||||||||
x18*x16*x10^3 | ||||||||||||||||||||||||||||||||
x16*x10^2 | ||||||||||||||||||||||||||||||||
x18*x16*x10^2 | ||||||||||||||||||||||||||||||||
x16*x10 | ||||||||||||||||||||||||||||||||
x16 | ||||||||||||||||||||||||||||||||
x18*x16 | ||||||||||||||||||||||||||||||||
2*x18^3*x10^3*x16 | ||||||||||||||||||||||||||||||||
3*x18^2*x10^3*x16^2 | ||||||||||||||||||||||||||||||||
3*x18^3*x10^2*x16^2 | ||||||||||||||||||||||||||||||||
DEP | ||||||||||||||||||||||||||||||||
x19*(x18^3*x10^3*x16^2-1)-1 | ||||||||||||||||||||||||||||||||
MAP |
| |||||||||||||||||||||||||||||||
IMAP |
| |||||||||||||||||||||||||||||||
STACK | ||||||||||||||||||||||||||||||||
WBO (dim: 4) | ||||||||||||||||||||||||||||||||
J | ||||||||||||||||||||||||||||||||
x18^3*x10^3*x16^2-1 | 0 | |||||||||||||||||||||||||||||||
c | 0 | |||||||||||||||||||||||||||||||
N | empty | |||||||||||||||||||||||||||||||
(E,a) | ||||||||||||||||||||||||||||||||
E | a | |||||||||||||||||||||||||||||||
x1 | 5 | |||||||||||||||||||||||||||||||
x10 | 14 | |||||||||||||||||||||||||||||||
x16 | 4 | |||||||||||||||||||||||||||||||
C | empty |