ID: 776.0 Parent: 768.0 Tree
PDER
VAR\IND x18 x16 x3 x17
x3 0 0 1 0
x16 0 1 0 0
x17 0 0 0 1
x18 1 0 0 0
x19 -x19^2*x17 0 0 -x18*x19^2
FOCUS
x18^5*x16^18*x17^11*x3^6-x18^6*x16^18*x17^12*x3^6
x17*x16^2*x18
x18^2*x16^8*x17^5
x16^5*x17^3*x18
x18*x16
x16^4*x17^3
x16^3*x17^2
x16^2*x17
x16
x17
x18
DEP
x19*(x18*x17-1)-1
MAP
x1 x17*x3*x18*x16^2
x2 x16^8*x17^5*x18^2*x3
x3 x3
x4 x18*x16^3*x17^2*x3
IMAP
x3 x3
x16 1/x4^3*x2*x3*x1
x17 x4^4/x1^2/x2/x3
x18 x1/x3^2*x4^2/x2
x19 x1*x2^2*x3^3/(x4^6-x1*x2^2*x3^3)
STACK
WBO (dim: 4)
J
-x18*x17+1 0
c 0
Nempty
(E,a)
Ea
x3 5
x18 3
x17 6
x16 10
C empty