ID: 192.0 | Parent: 187.0 | Tree | |||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| |||||||||||||||||||||||||||||||||||||
PDER |
| ||||||||||||||||||||||||||||||||||||
FOCUS | |||||||||||||||||||||||||||||||||||||
x14^4*x13^4*x10^7*x4^4+x14^3*x13^3*x10^3*x4^4*x8-x8^2*x4^4 | |||||||||||||||||||||||||||||||||||||
x14*x13*x10 | |||||||||||||||||||||||||||||||||||||
x10^2*x14*x13 | |||||||||||||||||||||||||||||||||||||
x8 | |||||||||||||||||||||||||||||||||||||
x13*x10^2 | |||||||||||||||||||||||||||||||||||||
x13*x10 | |||||||||||||||||||||||||||||||||||||
x14*x13 | |||||||||||||||||||||||||||||||||||||
x13 | |||||||||||||||||||||||||||||||||||||
4*x14^3*x13^2+8*x14*x10 | |||||||||||||||||||||||||||||||||||||
4*x14^2 | |||||||||||||||||||||||||||||||||||||
(x13^2*x14+16*x14*x10^2+4*x10*x13^2*x14^3+4*x14*x13*x10+x14^3*x13^3)*(-x13^2*x10
^2*x14+x14*x13*(3/2*x14^2*x13^2*x10^2-1/2*x13*x10^2))+32*x10*x14*x8+4*x13^2*x14^ 3*x8+8*x10^3*x13^2+4*x13*x8*x14 | |||||||||||||||||||||||||||||||||||||
(x13^2*x14+16*x14*x10^2+4*x10*x13^2*x14^3+4*x14*x13*x10+x14^3*x13^3)*(-1/2*x10^3
*x14*x13+x14*(3/2*x14^2*x13^2*x10^2-1/2*x13*x10^2)*x10)+2*x13*x8*x14+8*x10*x13*x 14^3*x8+4*x10^4*x13+4*x10*x14*x8+3*x13^2*x14^3*x8 | |||||||||||||||||||||||||||||||||||||
2*x14*(-x13^2*x10^2*x14+x14*x13*(3/2*x14^2*x13^2*x10^2-1/2*x13*x10^2))+16*x10^3*
x13*x14^2-3*x13*x10^2+3*x14^2*x13^2*x10^2 | |||||||||||||||||||||||||||||||||||||
DEP | |||||||||||||||||||||||||||||||||||||
x10^3*x14*x13^2-x14^3*x13^3*x10^3+2*x8 | |||||||||||||||||||||||||||||||||||||
x15*(2*x14*(-1/2*x10^3*x14*x13+x14*(3/2*x14^2*x13^2*x10^2-1/2*x13*x10^2)*x10)+4*
x10^4*x14^2-x10^3+2*x10^3*x13*x14^2)-1 | |||||||||||||||||||||||||||||||||||||
MAP |
| ||||||||||||||||||||||||||||||||||||
IMAP |
| ||||||||||||||||||||||||||||||||||||
STACK | |||||||||||||||||||||||||||||||||||||
WBO (dim: 4) | |||||||||||||||||||||||||||||||||||||
J | |||||||||||||||||||||||||||||||||||||
x14^4*x13^2+4*x14^2*x10-1 | 1 | ||||||||||||||||||||||||||||||||||||
c | 1 | ||||||||||||||||||||||||||||||||||||
N | empty | ||||||||||||||||||||||||||||||||||||
(E,a) | |||||||||||||||||||||||||||||||||||||
E | a | ||||||||||||||||||||||||||||||||||||
x4 | 3 | ||||||||||||||||||||||||||||||||||||
x14 | 1 | ||||||||||||||||||||||||||||||||||||
x13 | 0 | ||||||||||||||||||||||||||||||||||||
C | empty | ||||||||||||||||||||||||||||||||||||
TBO (dim: 4) | |||||||||||||||||||||||||||||||||||||
J | |||||||||||||||||||||||||||||||||||||
x14^4*x13^2+4*x14^2*x10-1 | 1 | ||||||||||||||||||||||||||||||||||||
N | empty | ||||||||||||||||||||||||||||||||||||
E | |||||||||||||||||||||||||||||||||||||
x4 | |||||||||||||||||||||||||||||||||||||
x14 | |||||||||||||||||||||||||||||||||||||
x13 | |||||||||||||||||||||||||||||||||||||
EM | |||||||||||||||||||||||||||||||||||||
x4 | |||||||||||||||||||||||||||||||||||||
x14 | |||||||||||||||||||||||||||||||||||||
x13 | |||||||||||||||||||||||||||||||||||||
C | empty | ||||||||||||||||||||||||||||||||||||
SBO (dim: 4) | |||||||||||||||||||||||||||||||||||||
J | |||||||||||||||||||||||||||||||||||||
x14^4*x13^2+4*x14^2*x10-1 | 1 | ||||||||||||||||||||||||||||||||||||
N | empty | ||||||||||||||||||||||||||||||||||||
H | empty | ||||||||||||||||||||||||||||||||||||
E | empty | ||||||||||||||||||||||||||||||||||||
C | empty | ||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
ID: 192.0 | Parent: 187.0 | Tree |