Singular (typeset
Singular) is a
computer algebra system
A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists. The ...
for
polynomial
In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An ex ...
computations with special emphasis on the needs of
commutative
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name o ...
and
non-commutative algebra,
algebraic geometry, and
singularity theory
In mathematics, singularity theory studies spaces that are almost manifolds, but not quite. A string can serve as an example of a one-dimensional manifold, if one neglects its thickness. A singularity can be made by balling it up, dropping it ...
. Singular has been released under the terms of
GNU General Public License
The GNU General Public License (GNU GPL or simply GPL) is a series of widely used free software licenses that guarantee end user
In product development, an end user (sometimes end-user) is a person who ultimately uses or is intended to ulti ...
. Problems in
non-commutative algebra can be tackled with the Singular offspring Plural. Singular is developed under the direction of Wolfram Decker,
Gert-Martin Greuel,
Gerhard Pfister, and Hans Schönemann, who head Singular's core development team within the Department of Mathematics of the
Technische Universität Kaiserslautern
Technical University of Kaiserslautern (German: ''Technische Universität Kaiserslautern'', also known as TU Kaiserslautern or TUK) is a public research university in Kaiserslautern, Germany.
There are numerous institutes around the university, ...
.
In the
DFG Priority Program 1489, interfaces to
GAP,
Polymake
polymake is software for the algorithmic treatment of convex polyhedra.
Albeit primarily a tool to study the combinatorics and the geometry of convex polytopes and polyhedra, it is by now also capable of dealing with simplicial complexes, matroid ...
and Gfan are being developed in order to cover recently established areas of
mathematics involving
convex
Convex or convexity may refer to:
Science and technology
* Convex lens, in optics
Mathematics
* Convex set, containing the whole line segment that joins points
** Convex polygon, a polygon which encloses a convex set of points
** Convex polytop ...
and
algebraic geometry, such as
toric and
tropical geometry.
See also
*
Comparison of computer algebra systems
The following tables provide a comparison of computer algebra systems (CAS). A CAS is a package comprising a set of algorithms for performing symbolic manipulations on algebraic objects, a language to implement them, and an environment in which to ...
References
Further reading
*
*
*
External links
*
*
Online Manual – PLURAL
Computer algebra system software for Linux
Computer algebra system software for macOS
Computer algebra system software for Windows
Free computer algebra systems
{{free-software-stub