Here we will discuss the Groebner basis portion of the NCAlgebra package which is more technical. The Groebner basis portion is not just Mathematica code but also includes a binary kernel which was written in C++.
