ID: 62.0 Parent: 52.0 Tree
PDER
VAR\IND x15 x10 x16
x10 0 1 0
x15 1 0 0
x16 0 0 1
x17 x10*x16^2*x17^2 -(2*x10*x16^2-x16^2*x15)*x
17^2
-(2*x16*x10^2-2*x10*x16*x1
5)*x17^2
FOCUS
x15^24*x16^18*x10^30-x10^32*x16^20*x15^24+x15^25*x16^20*x10^31
x10^3*x16^2*x15^2
x15^3*x16^2*x10^4
x10^2*x16*x15
x15^2*x16*x10^3
x10
x15^2*x16*x10^2
x15^2*x16*x10
x15^2*x16
x15
-x10*x16^2
2*x10*x16^2-x16^2*x15
2*x16*x10^2-2*x10*x16*x15
DEP
x17*(x10^2*x16^2-x10*x16^2*x15-1)-1
MAP
x1 x15^4*x16^3*x10^5
x2 x16^5*x15^6*x10^8
x3 x15^5*x16^4*x10^6
IMAP
x10 x2/x3^2*x1
x15 x1^2/x2^2*x3
x16 x3^2/x1^4*x2
x17 -x1^6/(x1^6-x2^4+x1*x2*x3^3)
STACK
WBO (dim: 3)
J
-x10^2*x16^2+x10*x16^2*x15+1 0
c 0
Nempty
(E,a)
Ea
x10 20
x16 12
x15 16
C empty