单一是一个用于多项式计算的计算机代数系统，特别强调交换和非交换代数、代数几何和奇点理论。它在通用公共许可证.
单一提供
- 高效的核心算法，
- 上述领域的众多先进算法，
- 一种直观的类C语言，
- 通过库实现用户可扩展的简单方法，以及
- 全面的在线手册和帮助功能。
它的主要计算对象是大量基环上的理想、模和矩阵。这些包括
- 各种地场上的多项式环和一些环（包括整数），
- 上述定位，
- 一类一般的非交换代数（包括外代数和Weyl代数），
- 上述商环，
- 张量积。
单一的核心算法处理
- Gröbner代表。标准基础和自由分辨率，
- 多项式因式分解，
- 结果、特征集和数值寻根。
其先进算法，目前包含在90多个图书馆，讨论以下主题绝对因子分解,代数D-模,奇点的分类,形变理论,高斯-马宁系统,汉堡-Noether（Puiseux）开发,不变量理论,（非）交换同调代数， 归一化,初级分解,奇异点的分解、和层上同调.
通过组合可以获得更多功能单一具有与SINGULAR链接的第三方软件。这包括用于凸几何,热带几何学、和可视化.
单一是在Wolfram Decker公司Gert-Martin Greuel、Gerhard Pfister和汉斯·舍尼曼谁负责单一的核心开发团队数学系的凯泽斯劳滕大学.
- 基金
- 詹克斯奖
- 历史
