奇异的

奇异是一个计算机代数系统（CAS），用于交换代数、代数几何和奇点理论中的多项式计算。奇异的主要计算对象是在许多不同的基底上的理想和模。基是一个域上的多项式环（例如，有限域、有理数、浮点数、代数扩张、超越扩张），或其定位，或商环关于理想。奇异特征快速和一般实现计算Groebner和标准基础，包括Buchberger的算法和莫拉的切线锥算法。此外，它还提供了多项式分解、合成、特征集和GCD计算、合成和自由分辨率计算，以及更多相关的功能。基于易于使用的交互shell和C类编程语言，单数的内部功能被增强，并且用户可以用奇异编程语言编写的库扩展。通信链路的一般和高效实现允许单极使其功能可用于其他程序。