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

main computational objects: ideals/modules over very general polynomial rings over various ground fields.