ID: 167.0 | Parent: 163.0 | Tree | |||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| |||||||||||||||||||||||||||||||||||||
PDER |
| ||||||||||||||||||||||||||||||||||||
FOCUS | |||||||||||||||||||||||||||||||||||||
x11^4*x9^7*x4^4*x12^3+x11^3*x9^3*x4^4*x8-x8^2*x4^4 | |||||||||||||||||||||||||||||||||||||
x11*x9 | |||||||||||||||||||||||||||||||||||||
x9^2*x12*x11 | |||||||||||||||||||||||||||||||||||||
x8 | |||||||||||||||||||||||||||||||||||||
x9 | |||||||||||||||||||||||||||||||||||||
(2*x11^3+8*x12^3*x9*x11)*(3/2*x11^2*x9^2-1/2*x9)*x9+6*x8*x11^2+8*x9*x12^3*x8-2*x
11*x9 | |||||||||||||||||||||||||||||||||||||
24*x12^2*x9*x8*x11 | |||||||||||||||||||||||||||||||||||||
(2*x11^3+8*x12^3*x9*x11)*(-1/2*x11*x9+x11*(3/2*x11^2*x9^2-1/2*x9))+8*x12^3*x8*x1
1-x11^2 | |||||||||||||||||||||||||||||||||||||
(8*x8*x11^2+32*x9*x12^3*x8-2*x11*x9)*(3/2*x11^2*x9^2-1/2*x9)*x9+8*x11*x8^2-2*x9*
x8+2*x11*x9^3 | |||||||||||||||||||||||||||||||||||||
(8*x8*x11^2+32*x9*x12^3*x8-2*x11*x9)*(-1/2*x11*x9+x11*(3/2*x11^2*x9^2-1/2*x9))+1
6*x12^3*x8^2-2*x8*x11-2*x9+3*x11^2*x9^2 | |||||||||||||||||||||||||||||||||||||
(2*x11^2+8*x12^3*x9)*(3/2*x11^2*x9^2-1/2*x9)*x9+3*x11^2*x9^2+4*x8*x11+4*x12^3*x9
^3-x9 | |||||||||||||||||||||||||||||||||||||
(2*x11^2+8*x12^3*x9)*(-1/2*x11*x9+x11*(3/2*x11^2*x9^2-1/2*x9))+2*x9*x11^3+12*x12
^3*x9^2*x11+8*x12^3*x8-x11 | |||||||||||||||||||||||||||||||||||||
DEP | |||||||||||||||||||||||||||||||||||||
x9^2*x11-x11^3*x9^3+2*x8 | |||||||||||||||||||||||||||||||||||||
x13*(8*x12^3*(3/2*x11^2*x9^2-1/2*x9)*x9+4*x12^3*x9^2-1+5*x11^4*x9^2)-1 | |||||||||||||||||||||||||||||||||||||
MAP |
| ||||||||||||||||||||||||||||||||||||
IMAP |
| ||||||||||||||||||||||||||||||||||||
STACK | |||||||||||||||||||||||||||||||||||||
WBO (dim: 4) | |||||||||||||||||||||||||||||||||||||
J | |||||||||||||||||||||||||||||||||||||
4*x12^3*x11^2*x9^3-1+x11^4*x9^2 | 1 | ||||||||||||||||||||||||||||||||||||
c | 1 | ||||||||||||||||||||||||||||||||||||
N | empty | ||||||||||||||||||||||||||||||||||||
(E,a) | |||||||||||||||||||||||||||||||||||||
E | a | ||||||||||||||||||||||||||||||||||||
x4 | 3 | ||||||||||||||||||||||||||||||||||||
x11 | 1 | ||||||||||||||||||||||||||||||||||||
x9 | 2 | ||||||||||||||||||||||||||||||||||||
C | empty | ||||||||||||||||||||||||||||||||||||
TBO (dim: 4) | |||||||||||||||||||||||||||||||||||||
J | |||||||||||||||||||||||||||||||||||||
4*x12^3*x11^2*x9^3-1+x11^4*x9^2 | 1 | ||||||||||||||||||||||||||||||||||||
N | empty | ||||||||||||||||||||||||||||||||||||
E | |||||||||||||||||||||||||||||||||||||
x4 | |||||||||||||||||||||||||||||||||||||
x11 | |||||||||||||||||||||||||||||||||||||
x9 | |||||||||||||||||||||||||||||||||||||
EM | |||||||||||||||||||||||||||||||||||||
x4 | |||||||||||||||||||||||||||||||||||||
x11 | |||||||||||||||||||||||||||||||||||||
x9 | |||||||||||||||||||||||||||||||||||||
C | empty | ||||||||||||||||||||||||||||||||||||
SBO (dim: 4) | |||||||||||||||||||||||||||||||||||||
J | |||||||||||||||||||||||||||||||||||||
4*x12^3*x11^2*x9^3-1+x11^4*x9^2 | 1 | ||||||||||||||||||||||||||||||||||||
N | empty | ||||||||||||||||||||||||||||||||||||
H | empty | ||||||||||||||||||||||||||||||||||||
E | empty | ||||||||||||||||||||||||||||||||||||
C | empty | ||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
ID: 167.0 | Parent: 163.0 | Tree |