ID:
13.0
Parent:
12.0
Tree
PDER
VAR\IND
x5
x7^2*x2-1
x7
x2
0
x8
-2*x8*x7*x2
x5
1
0
0
x7
0
0
1
x8
0
0
-2*x7*x8^2
FOCUS
x5^2*x2^2-x2^3*x7^2*x5^2
x5
DEP
x8*x7^2-1
MAP
x1
x5*x2
x2
x2
x3
x7*x5*x2
IMAP
x2
x2
x5
x1/x2
x7
x3/x1
x8
1/x3^2*x1^2
STACK
WBO (dim: 3)
J
-1
0
c
0
N
empty
(E,a)
E
a
x2
1
x5
1
x7^2*x2-1
0
C
empty