ID: 107.0 Parent: 99.0 Tree
PDER
VAR\IND x18 x17 x10 x8
x8 0 0 0 1
x10 0 0 1 0
x17 0 1 0 0
x18 1 0 0 0
x19 -2*x18*x10*x17*x19^2
-x18^2*x10*x19^2 -x17*x18^2*x19^2 0
FOCUS
x17^8*x10^17*x18^4*x8^3-x18^6*x17^9*x10^18*x8^3
x18*x17*x10^2*x8
x18*x17*x10^2
x10
x17^2*x10^3*x18
x17^2*x10^2*x18
x18*x17
x17*x10^2
x17*x10
x17
2*x18*x10*x17
x18^2*x10
x17*x18^2
DEP
x19*(x18^2*x10*x17-1)-1
MAP
x1 x18^2*x17^3*x10^6*x8
x2 x17^2*x10^4*x18
x3 x10^5*x8*x17^2*x18
x4 x8*x17^2*x10^4*x18
IMAP
x8 x4/x2
x10 x3/x4
x17 x2/x3^2*x4^3/x1
x18 1/x4^2*x1^2/x2
x19 -x2*x3*x4^2/(x2*x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
-x18^2*x10*x17+1 0
c 0
Nempty
(E,a)
Ea
x8 2
x18 2
x10 9
x17 4
C empty