ID:
18.0
Parent:
15.0
Tree
PDER
VAR\IND
x7
x9
x8
x7
1
0
0
x8
0
0
1
x9
0
1
0
x10
-2*x8^3*x9^3*x7*x10^2
-(3*x8^3*x9^2*x7^2-2*x9)*x
10^2
-3*x8^2*x9^3*x7^2*x10^2
FOCUS
x7^12*x9^6-x9^8*x7^12+x7^14*x9^9*x8^3
x9*x7
x7
2*x8^3*x9^3*x7
3*x8^3*x9^2*x7^2-2*x9
DEP
x10*(x8^3*x9^3*x7^2-x9^2+1)-1
MAP
x1
x7^2*x9
x2
x9^2*x7^3
x3
x8*x9^2*x7^3
IMAP
x7
x1^2/x2
x8
x3/x2
x9
x2^2/x1^3
x10
x1^6/(x1^6-x2^4+x1*x2*x3^3)
STACK
WBO (dim: 3)
J
x8^3*x9^3*x7^2-x9^2+1
0
c
0
N
empty
(E,a)
E
a
x9
4
x7
8
C
empty