ID: 367.0 Parent: 366.0 Tree
PDER
VAR\IND x13 x7 x13^3*x11-x12 x11
x7 0 1 0 0
x11 0 0 0 1
x12 3*x13^2*x11 0 -1 x13^3
x13 1 0 0 0
FOCUS
x7^6*x11^5*x12-x13^3*x11^6*x7^6
x13*x11*x7
x7
x12*x11*x7
x13*x11
x12
DEPempty
MAP
x1 x13*x11^2*x7^2
x2 x7^2*x11
x3 x12*x11^2*x7^2
x4 x7*x11
IMAP
x7 x2/x4
x11 x4^2/x2
x12 x3/x4^2
x13 x1/x4^2
STACK
WBO (dim: 4)
J
-1 0
c 0
Nempty
(E,a)
Ea
x7 4
x11 3
x13^3*x11-x12 0
C empty