Singular是用于多项式计算的开源计算机代数系统,特别着重于可交换和不可交换代数,代数几何和奇点理论。Singular提供:高效的核心算法,上述领域的众多高级算法,直观的,类似于C的编程语言,通过库使其易于用户扩展的简便方法以及全面的在线手册和帮助功能。它的主要计算对象是大量基准环上的理想值,模块和矩阵。它们包括:各种地面场上的多项式环和一些环(包括整数),上面的局部化,一类通用的非交换代数(包括外部代数和Weyl代数),上面的商环,张量积上述的。Singular的核心算法负责处理Gröbner。标准基数和自由分辨率,多项式因式分解,结果,特征集和数值根查找。
singular-university-of-kaiserslautern