ID: 94.0 Parent: 92.0 Tree
PDER
VAR\IND x15 x13 x10 x8
x8 0 0 0 1
x10 0 0 1 0
x13 0 1 0 0
x15 1 0 0 0
x16 -3*x15^2*x10^3*x13^2
*x16^2
-2*x15^3*x10^3*x13*x
16^2
-3*x15^3*x10^2*x13^2
*x16^2
0
FOCUS
x13^4*x10^9*x8^3-x15^3*x13^6*x10^12*x8^3
x15*x13*x10^2*x8
x15*x13*x10^2
x10
x13*x10
x13
x15*x13
3*x15^2*x10^3*x13^2
2*x15^3*x10^3*x13
3*x15^3*x10^2*x13^2
DEP
x16*(x15^3*x10^3*x13^2-1)-1
MAP
x1 x15*x13^2*x10^4*x8
x2 x13*x10^2
x3 x10^3*x8*x13
x4 x8*x13*x10^2
IMAP
x8 x4/x2
x10 x3/x4
x13 x2/x3^2*x4^2
x15 x1/x4/x2
x16 -x2*x3*x4^2/(x2*x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
-x15^3*x10^3*x13^2+1 0
c 0
Nempty
(E,a)
Ea
x8 2
x10 5
x13 2
C empty