ID:
20.0
Parent:
18.0
Tree
PDER
VAR\IND
x11
x9^2-x10
x9
x2
0
x2^2
-2*x2^2*x9
x9
0
0
1
x10
0
-x2^2*x10^2
2*x2^2*x10^2*x9
x11
1
0
0
FOCUS
x11^2*(x9^2-x10)^2*x2^4-x2^5*x9^2*x11^2*(x9^2-x10)^2
x11*(x9^2-x10)*x2
x11*(x9^2-x10)
x11*(x9^2-x10)
x11
DEP
x2*x10-1
MAP
x1
x11*(x9^2-x10)*x2^2
x2
x2
x3
x9*x11*(x9^2-x10)*x2^2
IMAP
x2
x2
x9
x3/x1
x10
1/x2
x11
x1^3/x2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
-x2
0
c
0
N
empty
(E,a)
E
a
x11
1
x9^2-x10
1
C
empty