4
Singularは、可換および非可換代数、代数幾何学、および特異点理論に特に重点を置いた、多項式計算用のオープンソースのコンピューター代数システムです。Singularは、非常に効率的なコアアルゴリズム、上記の分野の多数の高度なアルゴリズム、直感的なC言語のようなプログラミング言語、ライブラリを介してユーザー拡張可能な簡単な方法、包括的なオンラインマニュアルとヘルプ機能を提供します。その主な計算オブジェクトは、理想、モジュール、および多数のベースリング上の行列です。これらには、さまざまな地上フィールドといくつかのリング(整数を含む)上の多項式リング、上記の定位、非可換代数の一般クラス(外部代数とワイル代数を含む)、上記の商リング、テンソル積上記の。Singularのコアアルゴリズムは、Grobner応答を処理します。標準基底と自由解像度、多項式因数分解、結果、特性セット、および数値ルート検出。
singular-university-of-kaiserslautern