ID: 56.0 Parent: 48.0 Tree
Exchanged to:
58.0
1<->x20-1
PDER
VAR\IND x20 x19 x8
x8 0 0 1
x19 0 1 0
x20 1 0 0
x21 -x21^2 0 0
FOCUS
x20^6*x19^10*x8^32-x19^10*x8^32*x20^5
x20^2*x19^3*x8^10
x20*x19*x8^4
x20*x19*x8^3
x19^2*x8^5*x20
x19^2*x8^4*x20
x19^2*x8^3*x20
x19*x8^3
x19*x8^2
x19*x8
x19
DEP
x21*x20-1
MAP
x1 x20^3*x19^5*x8^16
x2 x19^2*x8^6*x20
x3 x8^13*x19^4*x20^2
IMAP
x8 x3/x2^2
x19 x2^7/x1/x3^2
x20 x1^2/x3^2/x2
x21 x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
x20-1 1
c 1
Nempty
(E,a)
Ea
x8 13
x19 4
C empty
TBO (dim: 3)
J
x20-1 1
Nempty
E
x8
x19
EMempty
C empty
SBO (dim: 3)
J
x20-1 1
Nempty
Hempty
E
x8
x19
C empty
Exchanged to:
58.0
1<->x20-1
ID: 56.0 Parent: 48.0 Tree