Singular (computer algebra system)

Singular (computer algebra system)
Name	Singular
Title	Singular (computer algebra system)
Developer	University of Kaiserslautern, Research Institute for Symbolic Computation, University of Bonn
Released	1980s
Programming language	C++, Python
Operating system	Linux, Windows, macOS
Genre	Computer algebra system
License	GPL

Singular (computer algebra system) is a specialized open-source software system for polynomial computations with emphasis on commutative algebra, algebraic geometry, and singularity theory. It provides algorithms for Gröbner basis, factorization, and resolution related to local and global problems studied in mathematics departments and research institutions. The system integrates with numerical and symbolic ecosystems used in academic projects and collaborations among European universities and research centers.

History

Singular originated in the late 1980s through collaborations involving researchers at the University of Kaiserslautern and the University of Bonn, with influences from projects at the Research Institute for Symbolic Computation and connections to initiatives at ETH Zurich and MPI MiS researchers. Early development paralleled advances in algorithms by figures associated with David Buchberger and work on Gröbner basis theory at institutions such as University of Innsbruck and Johannes Kepler University Linz. The project received contributions from scholars linked to Max Planck Society, DFG-funded groups, and international collaborators from University of California, Berkeley and Massachusetts Institute of Technology. Over successive decades Singular incorporated techniques from research published in venues like the Journal of Symbolic Computation and conferences including ISSAC and EUROCAST.

Features and Functionality

Singular implements core routines for polynomial algebra, including algorithms for computation of Gröbner basis and module operations used in problems from algebraic geometry and singularity theory. It supports operations on ideals, modules, and local rings that complement methods used at institutions like Harvard University and Princeton University in computational algebra experiments. The system provides factorization routines that draw on theory advanced by contributors associated with University of Cambridge and University of Oxford. Users apply Singular for computations related to resolution of singularities problems studied in seminars at IHES and applied in projects connected to Max-Planck-Institut für Mathematik. Singular includes libraries for deformation theory, local algebra, and primary decomposition comparable to tools from Wolfram Research and Maple but tailored to specialized research groups at CNRS and Universität zu Köln.

Architecture and Implementation

The core is written in C++ with abstractions designed for efficient handling of multivariate polynomials and monomial orderings used in algorithms developed by teams at University of Erlangen–Nuremberg and TU Berlin. Memory management and performance optimizations reflect practices from high-performance computing groups at Lawrence Berkeley National Laboratory and Argonne National Laboratory. Singular exposes a domain-specific language and data structures compatible with academic codebases originating from MPI Bonn and influenced by software engineering work at ETH Zurich. The implementation supports modular arithmetic and rational reconstruction techniques used in computational projects at CERN and Los Alamos National Laboratory for large-scale symbolic tasks.

Interfaces and Integration

Singular integrates with environments and toolchains commonly used in research, including Python bindings similar to interfaces developed at NumFOCUS-affiliated projects and interoperability with systems like SageMath and R. It can be invoked from interactive shells used by students at University of Cambridge courses and researchers at Imperial College London through wrappers that echo designs in Jupyter-based workflows. Export and import facilities support exchange with formats produced by Macaulay2 and MAGMA, facilitating collaborations between groups at Cornell University and University of Chicago. Integration efforts have included plugins and connectors for computational pipelines in labs at Stanford University and MIT.

Development and Community

Development is coordinated by a core team involving academics from University of Kaiserslautern, University of Bonn, and contributors from European and international institutions such as CNRS and Max Planck Society. The project maintains an open development model aligned with practices at Free Software Foundation and collaborates with research groups at University of Vienna and University of Paderborn. Community activity occurs through mailing lists, workshops held at conferences like ISSAC and summer schools hosted by CIRM and Mathematical Research Institute of Oberwolfach, with contributions from doctoral students and faculty from Heidelberg University and Technical University of Munich. Funding and dissemination have involved grants and partnerships linked to European Research Council and national science agencies.

Applications and Use Cases

Singular is used for research in algebraic geometry and singularity theory at universities including University of Bonn, University of Cologne, and University of Göttingen. It supports computations for deformation and classification tasks studied in projects at Institut Fourier and applied mathematical modeling collaborations at TU Vienna and RWTH Aachen University. The system aids in algorithmic experimentation in graduate courses at ETH Zurich and research on computational aspects of string theory modeled at CERN and theoretical physics groups at Princeton University. Applied use cases include symbolic preprocessing in computational chemistry workflows at Max Planck Institute for Chemical Physics of Solids and algebraic analysis tasks in robotics research at Carnegie Mellon University.

Category:Computer algebra systems Category:Free software