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