“…By now, the basis is only computed for types A 2 , A 3 and B 2 (see [10,20,21]). For type A 4 , part of the basis is computed in [4,5,7]. Lusztig [14] investigated the tightness of monomials, i.e., when a monomial is in the canonical basis or is a Z-linear combination of elements in the canonical basis.…”