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