ID: 60.0 Parent: 59.0 Tree
PDER
VAR\IND x6 x7 x3 x6^2*x7-x8
x3 0 0 1 0
x6 1 0 0 0
x7 0 1 0 0
x8 2*x6*x7 x6^2 0 -1
FOCUS
x6^2*x3^3*x7-x3^3*x8
x6
x7
DEPempty
MAP
x1 x6*x3
x2 x7*x3
x3 x3
x4 x8*x3
IMAP
x3 x3
x6 x1/x3
x7 x2/x3
x8 x4/x3
STACK
WBO (dim: 4)
J
1 0
c 0
Nempty
(E,a)
Ea
x3 2
x6^2*x7-x8 0
C empty