ID: 722.0 | Parent: 720.0 | Tree | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| |||||||||||||||||||||||||||||||
FOCUS | ||||||||||||||||||||||||||||||||
x6^5*x3^6*x11^2-x13^6*x11^6*x6^12*x3^6 | ||||||||||||||||||||||||||||||||
x6 | ||||||||||||||||||||||||||||||||
x11*x6^2 | ||||||||||||||||||||||||||||||||
x11 | ||||||||||||||||||||||||||||||||
7*x13^6*x6^6*x11^4 | ||||||||||||||||||||||||||||||||
4*x13^6*x6^7*x11^3 | ||||||||||||||||||||||||||||||||
6*x13^5*x6^7*x11^4 | ||||||||||||||||||||||||||||||||
DEP | ||||||||||||||||||||||||||||||||
x14*(x13^6*x6^7*x11^4-1)-1 | ||||||||||||||||||||||||||||||||
MAP |
| |||||||||||||||||||||||||||||||
IMAP |
| |||||||||||||||||||||||||||||||
STACK | ||||||||||||||||||||||||||||||||
WBO (dim: 4) | ||||||||||||||||||||||||||||||||
J | ||||||||||||||||||||||||||||||||
-x13^6*x6^7*x11^4+1 | 0 | |||||||||||||||||||||||||||||||
c | 0 | |||||||||||||||||||||||||||||||
N | empty | |||||||||||||||||||||||||||||||
(E,a) | ||||||||||||||||||||||||||||||||
E | a | |||||||||||||||||||||||||||||||
x3 | 5 | |||||||||||||||||||||||||||||||
x6 | 3 | |||||||||||||||||||||||||||||||
x11 | 1 | |||||||||||||||||||||||||||||||
C | empty |