Your location:
List of Systems ⁄
Singular ⁄
Non-Commutative Packages:Plural
Singular:Plural
System Name | Singular |
Package Name | Plural |
Link | http://www.singular.uni-kl.de |
Modified by | Viktor Levandovskyy |
Coefficient Domain
Rings as Coefficients |
Z Z[x] |
Other Rings |
Basic Exact Fields |
Q Z/pZ |
Maximal value for prime p (if limited) | 2147483629 |
Extension Fields |
simple algebraic extensions algebraic extensions transcendental extensions |
Other Fields | GF(p^n), p a prime, n<= 2^15 |
Monomial Orderings
classical well-orderings (Lex, DegLex, DegRevLex)weighted well-orderings (WDegLex, WDegRevLex)
product (block) orderings
matrix-defined orderings
extra weight (elimination) orderings
local orderings
Other Ordering
Available Algebras
path algebras free algebras
algebras of solvable type/ PBW algebras/ G-algebras
Weyl algebras (relations are like d*x = x*d + 1) |
shift algebras (relations are like s*x = x*s + s) |
exterior algebras x_j*x_i = -x_i*x_j for all 1<=i,j<=N |
universal enveloping algebras of fin.dim. Lie algebras |
localization by an ideal of commutative variables |
Ore algebras |
Other Localizations |
Functionality | Criteria |
---|---|
Ideals
left Gröbner basis
non-commutative Faugère F4
Other variants of the algorithm, computing Gröbner Bases
|
Product Criterion Chain Criterion Gebauer-Möller Criterion Other Elements of Gröbner Basics
one-sided syzygy projective or free resolutions elimination Poincare or Hilbert series, polynomials (Gel'fand-Kirillov) dimension Other intersection, quotient and saturation, kernel of module homomorphism, kernel of ring homomorphism |
Other functionality
intersection with subalgebras, elimination of module components, left-right correspondence via opposite algebras, computation of antiautomorphisms of a given algebra, computation in factor algebras
Highlights
central character decomposition, libraries for computations with D-modules