ID: 167.0 | Parent: 164.0 | Tree | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| |||||||||||||||||||||||||||||||
FOCUS | ||||||||||||||||||||||||||||||||
x7^3*x3^6*x12^2-x13^3*x12^3*x3^6*x7^3 | ||||||||||||||||||||||||||||||||
x13*x12*x3*x7 | ||||||||||||||||||||||||||||||||
x7 | ||||||||||||||||||||||||||||||||
x13*x12*x3 | ||||||||||||||||||||||||||||||||
x13*x12 | ||||||||||||||||||||||||||||||||
3*x12*x13^2 | ||||||||||||||||||||||||||||||||
x13^3 | ||||||||||||||||||||||||||||||||
DEP | ||||||||||||||||||||||||||||||||
x14*(x13^3*x12-1)-1 | ||||||||||||||||||||||||||||||||
MAP |
| |||||||||||||||||||||||||||||||
IMAP |
| |||||||||||||||||||||||||||||||
STACK | ||||||||||||||||||||||||||||||||
WBO (dim: 4) | ||||||||||||||||||||||||||||||||
J | ||||||||||||||||||||||||||||||||
-x13^3*x12+1 | 0 | |||||||||||||||||||||||||||||||
c | 0 | |||||||||||||||||||||||||||||||
N | empty | |||||||||||||||||||||||||||||||
(E,a) | ||||||||||||||||||||||||||||||||
E | a | |||||||||||||||||||||||||||||||
x7 | 2 | |||||||||||||||||||||||||||||||
x3 | 4 | |||||||||||||||||||||||||||||||
x12 | 1 | |||||||||||||||||||||||||||||||
C | empty |