×

SINGULAR: A computer algebra system for singularity theory, algebraic geometry and commutative algebra. (English) Zbl 0902.14040

SINGULAR, as pointed out by the authors is a computer algebra system designed especially for commutative algebra, algebraic geometry and singular theory. For almost all computations SINGULAR requires a base ring. Computations are possible over such base rings as: polynomial rings, localizations of polynomial rings, quotient of such rings, exterior algebras, Weyl algebras and tensor products. The main algorithms are very general standard Gröbner basis algorithms, and include algorithms for the usual ideal theoretic operations, for different syzygy problems, for computing invariants of singularities and semiuniversal deformations of isolated singularities. SINGULAR contains several libraries to which the user may add more procedures.

MSC:

14Q99 Computational aspects in algebraic geometry
13P99 Computational aspects and applications of commutative rings
68W30 Symbolic computation and algebraic computation

Keywords:

SINGULAR

Software:

SINGULAR