ID: 510.0 Parent: 504.0 Tree
PDER
VAR\IND x17 x12 x16
x12 0 1 0
x16 0 0 1
x17 1 0 0
x18 -x12*x18^2 -x18^2*x17 0
FOCUS
x17^14*x16^16*x12^24-x12^23*x17^13*x16^16
x17^3*x16^3*x12^5
x12^2*x17*x16
x12^3*x17^2*x16^2
x16^4*x17^3*x12^5
x16^3*x17^2*x12^3
x12^2*x16^2*x17
x12
x16^2*x17*x12
x16^2*x17
x16
x17*x12
DEP
x18*(x17*x12-1)-1
MAP
x1 x17^7*x16^8*x12^12
x2 x12^9*x17^5*x16^6
x3 x17^4*x16^5*x12^7
IMAP
x12 x2^3/x3^2/x1
x16 x3^3/x1/x2
x17 x1^3/x2^4
x18 -x2*x3^2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
x17*x12-1 0
c 0
Nempty
(E,a)
Ea
x12 9
x17 5
x16 6
C empty