ID: 347.0 Parent: 346.0 Tree
Exchanged to:
362.0
3<->x21-1
PDER
VAR\IND x15 x7 x21 x20
x7 0 1 0 0
x15 1 0 0 0
x20 0 0 0 1
x21 0 0 1 0
FOCUS
x7^6*x15^12*x21^17*x20^21-x15^12*x21^18*x20^21*x7^6
x7*x21^2*x20^2*x15
x7
x21*x20*x7
x15*x21^2*x20^2
x15^3*x21^2*x20^3
x15
x21^2*x20^3*x15^2
x21*x20^2*x15^2
x20*x15^2
x20*x15
x20
DEPempty
MAP
x1 x15^4*x21^6*x20^7*x7^2
x2 x7^2*x15^3*x21^4*x20^5
x3 x21^5*x20^6*x7^2*x15^3
x4 x7*x15^3*x21^4*x20^5
IMAP
x7 x2/x4
x15 x1/x3^2*x2
x20 1/x1^3*x4^2*x3^2
x21 x1^3/x3/x2/x4^2
STACK
WBO (dim: 4)
J
-x21+1 1
c 1
Nempty
(E,a)
Ea
x7 4
x21 9
x15 6
x20 11
C empty
TBO (dim: 4)
J
-x21+1 1
Nempty
E
x7
x21
x15
x20
EM
x7
C empty
SBO (dim: 4)
J
-x21+1 1
Nempty
Hempty
E
x21
x15
x20
C empty
Exchanged to:
362.0
3<->x21-1
ID: 347.0 Parent: 346.0 Tree