ID: 218.0 Parent: 217.0 Tree
PDER
VAR\IND 4*x17-x18 x15 x16 x4
x4 0 0 0 1
x8 -((3/2*x15^6*x18^4-1
/2*x16*x15^6*x18^4)*
x15^2*x18-x16*x15^8*
x18^5+x15*(-x16*x15^
7*x18^5+x15*x18*(3/2
*x15^6*x18^4-1/2*x16
*x15^6*x18^4)))*x15
(-x16*x15^7*x18^5+x1
5*x18*(3/2*x15^6*x18
^4-1/2*x16*x15^6*x18
^4))*x15*x18+x18*((3
/2*x15^6*x18^4-1/2*x
16*x15^6*x18^4)*x15^
2*x18-x16*x15^8*x18^
5+x15*(-x16*x15^7*x1
8^5+x15*x18*(3/2*x15
^6*x18^4-1/2*x16*x15
^6*x18^4)))
-1/2*x15^9*x18^6-8*(
(3/2*x15^6*x18^4-1/2
*x16*x15^6*x18^4)*x1
5^2*x18-x16*x15^8*x1
8^5+x15*(-x16*x15^7*
x18^5+x15*x18*(3/2*x
15^6*x18^4-1/2*x16*x
15^6*x18^4)))*x15*x1
6*x17^2
0
x15 0 1 0 0
x16 0 0 1 0
x17 0 0 -2*x16*x17^2 0
x18 -1 0 -8*x16*x17^2 0
FOCUS
x15^18*x18^11*x4^4+x15^9*x18^6*x4^4*x8-x8^2*x4^4
x15^3*x18^2
x15^5*x18^3
x8
x16*x15^6*x18^4
x16*x15^4*x18^3
x15*x18
x16*x15^2*x18^2
x15*x18*x16
x15
(3/2*x15^6*x18^4-1/2*x16*x15^6*x18^4)*x15^2*x18-x16*x15^8*x18^5+x15*(-x16*x15^7*
x18^5+x15*x18*(3/2*x15^6*x18^4-1/2*x16*x15^6*x18^4))
-1/2*x15^9*x18^6
2*x16
x15
DEP
x15^9*x18^6*x16-x15^9*x18^6+2*x8
x17*(x16^2-1)-1
MAP
x1 x15^3*x18^2*x4
x2 x15^5*x18^3*x4
x3 x8*x4
x4 x4
IMAP
x4 x4
x8 x3/x4
x15 x4/x1^3*x2^2
x16 -(2*x3*x4^2-x1^3)/x1^3
x17 1/4*x1^6/x3/x4^2/(x3*x4^2-x1^3)
x18 x1^5/x2^3/x4^2
STACK
WBO (dim: 4)
J
x16^2-1 0
c 0
Nempty
(E,a)
Ea
x4 3
x18 1
x15 2
4*x17-x18 0
C empty