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