ID: 233.0 | Parent: 231.0 | Tree | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| |||||||||||||||||||||||||||||||
FOCUS | ||||||||||||||||||||||||||||||||
x13^4*x10^9*x8^3-x15^3*x13^6*x10^12*x8^3 | ||||||||||||||||||||||||||||||||
x15*x13*x10^2*x8 | ||||||||||||||||||||||||||||||||
x10*x8 | ||||||||||||||||||||||||||||||||
x15*x13*x10^2 | ||||||||||||||||||||||||||||||||
x10 | ||||||||||||||||||||||||||||||||
x13 | ||||||||||||||||||||||||||||||||
x15*x13 | ||||||||||||||||||||||||||||||||
3*x15^2*x10^3*x13^2 | ||||||||||||||||||||||||||||||||
3*x15^3*x10^2*x13^2 | ||||||||||||||||||||||||||||||||
2*x15^3*x10^3*x13 | ||||||||||||||||||||||||||||||||
DEP | ||||||||||||||||||||||||||||||||
x16*(x15^3*x10^3*x13^2-1)-1 | ||||||||||||||||||||||||||||||||
MAP |
| |||||||||||||||||||||||||||||||
IMAP |
| |||||||||||||||||||||||||||||||
STACK | ||||||||||||||||||||||||||||||||
WBO (dim: 4) | ||||||||||||||||||||||||||||||||
J | ||||||||||||||||||||||||||||||||
-x15^3*x10^3*x13^2+1 | 0 | |||||||||||||||||||||||||||||||
c | 0 | |||||||||||||||||||||||||||||||
N | empty | |||||||||||||||||||||||||||||||
(E,a) | ||||||||||||||||||||||||||||||||
E | a | |||||||||||||||||||||||||||||||
x8 | 2 | |||||||||||||||||||||||||||||||
x10 | 5 | |||||||||||||||||||||||||||||||
x13 | 2 | |||||||||||||||||||||||||||||||
C | empty |