Singular

Singular is a computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory.

Its main computational objects are ideals, modules and matrices over a large number of baserings.

Main Features:

- highly efficient core algorithms,
- a multitude of advanced algorithms in the above fields,
- an intuitive, C-like programming language,
- easy ways to make it user-extendible through libraries, and
- a comprehensive online manual and help function.