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