ID: 780.0 Parent: 778.0 Tree
PDER
VAR\IND x18 x16 x3 x18*x17-1
x3 0 0 1 0
x16 0 1 0 0
x17 -x17*x19 0 0 x19
x18 1 0 0 0
x19 -x19^2 0 0 0
x20 -(-x17*x19*x18+x17)*
x20^2
0 0 -x19*x18*x20^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
x17
x16
DEP
x19*x18-1
x20*(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 x3^2/x4^2*x2/x1
x20 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
x17 6
x16 10
C empty