ID: 95.0 Parent: 94.0 Tree
Exchanged to:
102.0
3<->x21-1
PDER
VAR\IND x1 x17 x21 x20
x1 1 0 0 0
x17 0 1 0 0
x20 0 0 0 1
x21 0 0 1 0
FOCUS
x1^6*x17^30*x21^55*x20^66-x20^66*x21^54*x17^30*x1^6
x21^6*x20^7*x17^3
x17*x21*x20
x17*x20^2*x21^2
x20^3*x21^2*x17
x17
x20^3*x21^2
x20^2*x21
x20
DEPempty
MAP
x1 x1
x2 x17^3*x21^5*x20^6*x1
x3 x21^15*x20^18*x17^8*x1
x4 x20^11*x21^9*x17^5*x1
IMAP
x1 x1
x17 x2^3/x1^2/x3
x20 x4^5/x2^3/x3^2
x21 x3^3/x4^6*x2^2*x1
STACK
WBO (dim: 4)
J
x21-1 1
c 1
Nempty
(E,a)
Ea
x1 5
x17 15
x21 25
x20 30
C empty
TBO (dim: 4)
J
x21-1 1
Nempty
E
x1
x17
x21
x20
EM
x1
C empty
SBO (dim: 4)
J
x21-1 1
Nempty
Hempty
E
x17
x21
x20
C empty
Exchanged to:
102.0
3<->x21-1
ID: 95.0 Parent: 94.0 Tree