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.
