ID: 449.0 Parent: 442.0 Tree
Exchanged to:
451.0
2<->x20*x10-1
PDER
VAR\IND x20 x10 x8 x19
x8 0 0 1 0
x10 0 1 0 0
x19 0 0 0 1
x20 1 0 0 0
x21 -x21^2 0 0 0
FOCUS
x10^17*x8^6*x20^8*x19^12-x20^9*x19^12*x10^18*x8^6
x8*x10^2*x20*x19
x10*x8
x8
x20*x19*x10^2
x10
x20^2*x19^3*x10^2
x20*x19
x10^2*x19^2*x20
x10*x19^2*x20
x19^2*x20
x19
x10
DEP
x21*x20-1
MAP
x1 x20^3*x19^4*x10^6*x8^2
x2 x10^5*x8^2*x20^2*x19^3
x3 x8^2*x20^2*x19^3*x10^4
x4 x20^2*x19^3*x10^4*x8
IMAP
x8 x3/x4
x10 x2/x3
x19 1/x1^2*x4^2*x3
x20 x1^3/x2^2/x4^2
x21 1/x1^3*x4^2*x2^2
STACK
WBO (dim: 4)
J
-x20*x10+1 1
c 1
Nempty
(E,a)
Ea
x8 4
x10 9
x19 6
C empty
TBO (dim: 4)
J
-x20*x10+1 1
Nempty
E
x8
x10
x19
EM
x8
C empty
SBO (dim: 4)
J
-x20*x10+1 1
Nempty
Hempty
E
x10
x19
C empty
Exchanged to:
451.0
2<->x20*x10-1
ID: 449.0 Parent: 442.0 Tree