SINGULAR is a computer algebra system specialising in polynomial computations. It is designed for research in commutative and non-commutative algebra, algebraic geometry, singularity theory and related mathematical disciplines.
The software operates on mathematical objects such as polynomial rings, ideals and modules. It supports computations over a broad range of coefficient fields and rings, including rational numbers, finite fields and algebraic extensions.
SINGULAR provides highly developed algorithms for computing Gröbner and standard bases, together with facilities for factorisation, syzygies, resolutions and polynomial system solving. These capabilities make it especially valuable for investigating algebraic varieties and complicated polynomial relationships.
The system combines efficient algorithms implemented in C and C++ with an interpreted programming language. Its functionality can be extended through specialised libraries, making it a flexible environment for mathematical research and experimentation.
This is free and open source software.
Key Features
- Polynomial computations over numerous coefficient fields and rings.
- Support for ideals, modules, quotient rings and polynomial rings.
- Efficient algorithms for computing Gröbner and standard bases.
- Buchberger’s algorithm and other specialised basis computation methods.
- Polynomial factorisation, greatest common divisors and resultant calculations.
- Computations involving syzygies and free resolutions.
- Primary decomposition and normalisation of algebraic structures.
- Facilities for studying singularities and deformation theory.
- Support for commutative and selected non-commutative algebraic calculations.
- Extensive library collection covering specialised mathematical algorithms.
- Built-in programming language with procedures, data structures and control statements.
- Support for extending computations through external libraries and compiled functionality.
- Integration with mathematical software and an Emacs-based interface.
- Cross-platform support – runs on Linux and macOS.
Website: github.com/Singular
Support:
Developer: Centre for Computer Algebra, University of Kaiserslautern, and contributors
License: GNU General Public License v2.0 / v3.0
SINGULAR is written in C++. Learn C++ with our recommended free books and free tutorials.
Related Software
| Computer Algebra Systems | |
|---|---|
| Scilab | Numerical computational package |
| Maxima | System for the manipulation of symbolic and numerical expressions |
| Octave | Powerful programming language with built-in plotting and visualization tools |
| SageMath | Open source alternative to Magma, Maple, Mathematica and Matlab |
| SymPy | Python library for symbolic mathematics |
| SINGULAR | Computer Algebra System for polynomial computations |
| Macaulay2 | Software system for research in algebraic geometry |
| Cadabra | Symbolic computer algebra system for field theory problems |
| PARI/GP | Widely used algebra system designed for fast computations in number theory |
| GAP | System for computational discrete algebra |
| FriCAS | Fork of Axiom |
| CoCoA | System for doing computations in commutative algebra |
| Mathics | General-purpose CAS with Mathematica-compatible syntax and functions |
| FORM | Symbolic Manipulation System |
| Nelson | Numerical computational language |
| wxMaxima | GUI for the sublime Maxima CAS |
| Xcas | Cross-platform mathematical environment |
| REDUCE | General-purpose computer algebra system for symbolic computation |
| OSCAR | Comprehensive computer algebra system for advanced mathematics |
| Axiom | General purpose Computer Algebra system |
| Symja | Computer algebra system and symbolic mathematics library |
| CGSuite | For research in combinatorial game theory |
| Eigenmath | Compact symbolic mathematics and computer algebra application |
Read our verdict in the software roundup.
| Geometry Software | |
|---|---|
| Kig | KDE4 software for exploring geometric constructions |
| Dr. Geo | Interactive geometry software |
| SINGULAR | Commutative algebra system for polynomial computations |
| Macaulay2 | Supporting research in algebraic geometry and commutative algebra |
| polymake | Research in polyhedral geometry |
| SnapPy | Investigate the topology and hyperbolic geometry of 3-manifolds |
| C.a.R. | Dynamic geometry program for use in schools and universities |
| MathMod | Plot 3D surfaces using implicit and parametric equations |
| GCLC | Create geometric illustrations and prove geometry theorems |
| Geometria | Interactive software for creating and solving problems in 3D gemoetry |
| JGEX | Construct, explore and prove geometry theorems |
Read our verdict in the software roundup.
 LinuxLinks helps you discover the best free and open source software for Linux. Explore our extensive collection of recommended applications, including alternatives to popular proprietary software.We also publish software reviews, Linux tutorials, hardware reviews, free programming books and articles covering the wider open source community. Browse our Linux resources to discover more. Know a useful free and open source Linux application we haven't covered? Suggest a program for inclusion. Has your software been featured on LinuxLinks? Display one of our Featured on LinuxLinks badges on your website or GitHub README. |
Please read our Comment Policy before commenting.