Singular - это система компьютерной алгебры с открытым исходным кодом для
полиномиальных вычислений, с особым акцентом на коммутативную и
некоммутативную алгебру, алгебраическую геометрию и теорию особенностей.

Singular обеспечивает:

высокоэффективные алгоритмы ядра,
множество продвинутых алгоритмов в вышеуказанных областях,
интуитивный, C-подобный язык программирования,
простые способы сделать его расширяемым пользователем с помощью библиотек, и
всеобъемлющее онлайн руководство и справочная функция.

Его основными вычислительными объектами являются идеалы, модули и матрицы на
большом количестве базовых строк. Они включают:

полиномиальные кольца над различными основными полями и некоторыми кольцами
(включая целые числа),
локализация вышеперечисленного,
общий класс некоммутативных алгебр (включая внешнюю алгебру и алгебру Вейля),
фактор-кольца вышеперечисленного,
тензорные произведения вышеперечисленного.
Основные алгоритмы Singular обрабатывают
Gröbner соотв. стандартные базы и бесплатные разрешения,
полиномиальная факторизация,
результирующие, наборы характеристик и числовые корни.