ID: 354.0 Parent: 353.0 Tree
PDER
VAR\IND x19 x7 x10 x10*x19^2*x18-1
x7 0 1 0 0
x10 0 0 1 0
x18 -2*x20*x18*x19*x10 0 -x20*x18*x19^2 x20
x19 1 0 0 0
x20 -2*x19*x10*x20^2 0 -x19^2*x20^2 0
x21 -(-2*x10^2*x19^3*x20
*x18+2*x18*x19*x10)*
x21^2
0 -(x18*x19^2-x10*x19^
4*x20*x18)*x21^2
-x10*x19^2*x20*x21^2
FOCUS
x7^6*x18^8*x19^4*x10^17-x18^9*x19^6*x10^18*x7^6
x7*x10^2*x18*x19
x7
x10*x7
x18*x19*x10^2
x18^2*x19*x10^2
x18*x19
x10^2*x18
x10*x18
x18
2*x18*x19*x10
x18*x19^2
x18
x7
DEP
x10*x19^2*x20-1
x21*(x10*x19^2*x18-1)-1
MAP
x1 x18^3*x19^2*x10^6*x7^2
x2 x7^2*x18^2*x19*x10^4
x3 x10^5*x7^2*x18^2*x19
x4 x7*x18^2*x19*x10^4
IMAP
x7 x2/x4
x10 x3/x2
x18 x2^2/x3^2*x4^2/x1
x19 1/x4^2*x1^2/x2
x20 1/x3*x2^3*x4^4/x1^4
x21 -x2*x3*x4^2/(x2*x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
-x10*x19^2*x18+1 0
c 0
Nempty
(E,a)
Ea
x7 4
x18 4
C empty