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