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
DEP
empty
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
N
empty
(E,a)
E
a
x7
4
x11
3
x13^3*x11-x12
0
C
empty