CoCoA is a freely available system for computing with multivariate polynomials. More specifically, CoCoA deals with computations in multivariate polynomial rings over the rationals or modular integers, and on their ideals and modules. The implementation of the ideal/module theoretic operations relies on Gröbner basis theory. One of CoCoA’s most important features is its high-level programming language which allows the user to write his own functions and to guide the system through c