ID:
458.0
Parent:
457.0
Tree
PDER
VAR\IND
x13
x13^3*x11-x12
x8
x11
x8
0
0
1
0
x11
0
0
0
1
x12
3*x13^2*x11
-1
0
x13^3
x13
1
0
0
0
FOCUS
x12*x11^5*x8^6-x13^3*x11^6*x8^6
x13*x11*x8
x12*x11*x8
x8
x13*x11
x12*x11
x12
DEP
empty
MAP
x1
x13*x11^2*x8^2
x2
x12*x11^2*x8^2
x3
x8^2*x11
x4
x11*x8
IMAP
x8
x3/x4
x11
x4^2/x3
x12
x2/x4^2
x13
x1/x4^2
STACK
WBO (dim: 4)
J
-1
0
c
0
N
empty
(E,a)
E
a
x8
4
x11
3
x13^3*x11-x12
0
C
empty