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
This documentation describes version 1.0 of SymmetricPolynomials.
The source code from which this documentation is derived is in the file SymmetricPolynomials.m2.