Computer algebra system for polynomial computations
