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