NCGB 3.1, a Noncommutative Gröbner Basis Package for Mathematica. Computes NonCommutative Groebner Bases and has extensive sorting and display features as well as algorithms for automatically discarding ”redundant” polynomials, as well as ”kludgy” methods for suggesting changes of variables (which work better than one would expect). NCGB runs in conjunction with NCAlgebra. A very brief TEMPLATE/DEMO is given here. The whole story appears in the rather long NC DOCUMENT obtainable as PDF