This is an add-on package for the PolynomialIdeals package in Maple 10. It contains routines for triangularizing and factoring systems of polynomial equations, representing the quotient ring as a finite dimensional vector space, computing normal forms and Groebner bases, performing multivariate polynomial interpolation, computing weighted degrees and initial forms, and many other things. Some of the routines here are new, while others are buried deep in Maple 10 and are not ordinarily accessible.