This package uses an explicit description of the Groebner basis of the ideal of obvious relations in this algebra based on:
Grayson, Stillmann - Computations in the intersection theory of flag varieties, preprint, 2009
Sturmfels - Algorithms in Invariant Theory, Springer Verlag, Vienna, 1993