Singular — это система компьютерной алгебры с открытым исходным кодом для полиномиальных вычислений, в которой особое внимание уделяется коммутативной и некоммутативной алгебре, алгебраической геометрии и теории особенностей.
Сингуляр обеспечивает:
высокоэффективные базовые алгоритмы,
множество продвинутых алгоритмов в вышеуказанных областях,
интуитивно понятный язык программирования, похожий на C,
простые способы сделать его расширяемым пользователем с помощью библиотек, и
подробное онлайн-руководство и функция помощи.
Его основными вычислительными объектами являются идеалы, модули и матрицы на большом количестве базисных колец. Это включает:
полиномиальные кольца над различными основными полями и некоторые кольца (в том числе целые),
локализации вышеперечисленного,
общий класс некоммутативных алгебр (включая внешнюю алгебру и алгебру Вейля),
частные кольца вышеперечисленного,
тензорные произведения вышеперечисленных.
Основные алгоритмы Singular обрабатывают
Грёбнер соотв. стандартные базы и бесплатные разрешения,
полиномиальная факторизация,
результирующие, наборы характеристик и нахождение численного корня.