ID: 779.0 Parent: 777.0 Tree
PDER
VAR\IND x18*x17-1 x16 x3 x17
x3 0 0 1 0
x16 0 1 0 0
x17 0 0 0 1
x18 x19 0 0 -x19*x18
x19 0 0 0 -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
DEP
x17*x19-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 1/x4^4*x2*x3*x1^2
STACK
WBO (dim: 4)
J
-1 0
c 0
Nempty
(E,a)
Ea
x3 5
x18 3
x16 10
x18*x17-1 0
C empty