Initial release | 24 February 2005 |
---|---|
Stable release | |
Preview release | 10.3.rc2 / 4 March 2024 |
Repository | |
Written in | Python, Cython |
Operating system | Linux, macOS, Microsoft Windows, Solaris, Android, iOS |
Platform |
|
Size | Approx. 112–3319 MB |
Type | Computer algebra system |
License | GPLv3 [2] |
Website | www |
SageMath (previously Sage or SAGE, "System for Algebra and Geometry Experimentation" [3] ) is a computer algebra system (CAS) with features covering many aspects of mathematics, including algebra, combinatorics, graph theory, group theory, differentiable manifolds, numerical analysis, number theory, calculus and statistics.
The first version of SageMath was released on 24 February 2005 as free and open-source software under the terms of the GNU General Public License version 2, with the initial goals of creating an "open source alternative to Magma, Maple, Mathematica, and MATLAB". [4] The originator and leader of the SageMath project, William Stein, was a mathematician at the University of Washington.
SageMath uses a syntax resembling Python's, [5] supporting procedural, functional and object-oriented constructs.
Stein realized when designing Sage that there were many open-source mathematics software packages already written in different languages, namely C, C++, Common Lisp, Fortran and Python.
Rather than reinventing the wheel, Sage (which is written mostly in Python and Cython) integrates many specialized CAS software packages into a common interface, for which a user needs to know only Python. However, Sage contains hundreds of thousands of unique lines of code adding new functions and creating the interfaces among its components. [6]
SageMath uses both students and professionals for development. The development of SageMath is supported by both volunteer work and grants. [7] However, it was not until 2016 that the first full-time Sage developer was hired (funded by an EU grant). [8] The same year, Stein described his disappointment with a lack of academic funding and credentials for software development, citing it as the reason for his decision to leave his tenured academic position to work full-time on the project in a newly founded company, SageMath, Inc. [8]
Both binaries and source code are available for SageMath from the download page. If SageMath is built from source code, many of the included libraries such as OpenBLAS, FLINT, GAP (computer algebra system), and NTL will be tuned and optimized for that computer, taking into account the number of processors, the size of their caches, whether there is hardware support for SSE instructions, etc.
Cython can increase the speed of SageMath programs, as the Python code is converted into C. [12]
SageMath is free software, distributed under the terms of the GNU General Public License version 3. [2]
SageMath 10.0 (May 2023) requires Windows Subsystem for Linux in version 2, [13] which in turn requires Windows to run as a Hyper-V client. SageMath 8.0 (July 2017), with development funded by the OpenDreamKit project, [8] successfully built on Cygwin, and a binary installer for 64-bit versions of Windows was available. [14] Although Microsoft was sponsoring a Windows version of SageMath, prior to 2016 users of Windows had to use virtualization technology such as VirtualBox to run SageMath. [15]
Linux distributions in which SageMath is available as a package are Fedora, Arch Linux, Debian, Ubuntu and NixOS. In Gentoo, it is available via layman in the "sage-on-gentoo" [16] overlay. The package used by NixOS is available for use on other distributions, due to the distribution-agnostic nature of its package manager, Nix.
Gentoo prefix also provides Sage on other operating systems.
The philosophy of SageMath is to use existing open-source libraries wherever they exist. Therefore, it uses many libraries from other projects.
Mathematics packages contained in SageMath [17] | Algebra | GAP, Singular, FLINT |
---|---|---|
Algebraic geometry | Singular | |
Arbitrary-precision arithmetic | GMP, MPFR, MPFI, NTL, mpmath, Arb | |
Arithmetic geometry | PARI/GP, NTL, mwrank, ECM | |
Calculus | Maxima, SymPy, GiNaC, Giac, FriCAS | |
Combinatorics | Symmetrica, Sage-Combinat | |
Linear algebra | ATLAS, BLAS, LAPACK, NumPy, LinBox, IML, GSL | |
Graph theory | NetworkX | |
Group theory | GAP | |
Numerical computation | GSL, SciPy, NumPy, ATLAS | |
Number theory | PARI/GP, FLINT, NTL | |
Statistical computing | R, SciPy | |
Other packages contained in SageMath | Command-line shell | IPython |
Database | ZODB, SQLite | |
Graphical interface | SageMath Notebook, MathJax [18] (formerly jsMath) | |
Graphics | matplotlib, Tachyon, GD, Jmol | |
Interactive programming language | Python | |
Networking | Twisted | |
Other Mathematics package available for SageMath | Differential geometry and tensor calculus | Sage Manifolds |
MATLAB is a proprietary multi-paradigm programming language and numeric computing environment developed by MathWorks. MATLAB allows matrix manipulations, plotting of functions and data, implementation of algorithms, creation of user interfaces, and interfacing with programs written in other languages.
A package manager or package-management system is a collection of software tools that automates the process of installing, upgrading, configuring, and removing computer programs for a computer in a consistent manner.
Source Mage is a source-based Linux distribution descended from Sorcerer. Components of this operating system are downloaded as source code and compiled locally on the user's computer.
Maple is a symbolic and numeric computing environment as well as a multi-paradigm programming language. It covers several areas of technical computing, such as symbolic mathematics, numerical analysis, data processing, visualization, and others. A toolbox, MapleSim, adds functionality for multidomain physical modeling and code generation.
Scilab is a free and open-source, cross-platform numerical computational package and a high-level, numerically oriented programming language. It can be used for signal processing, statistical analysis, image enhancement, fluid dynamics simulations, numerical optimization, and modeling, simulation of explicit and implicit dynamical systems and symbolic manipulations.
Portage is a package management system originally created for and used by Gentoo Linux and also by ChromeOS, Calculate, Sabayon, and Funtoo Linux among others. Portage is based on the concept of ports collections. Gentoo is sometimes referred to as a meta-distribution due to the extreme flexibility of Portage, which makes it operating-system-independent. The Gentoo/Alt project was concerned with using Portage to manage other operating systems, such as BSDs, macOS and Solaris. The most notable of these implementations is the Gentoo/FreeBSD project.
LAPACK is a standard software library for numerical linear algebra. It provides routines for solving systems of linear equations and linear least squares, eigenvalue problems, and singular value decomposition. It also includes routines to implement the associated matrix factorizations such as LU, QR, Cholesky and Schur decomposition. LAPACK was originally written in FORTRAN 77, but moved to Fortran 90 in version 3.2 (2008). The routines handle both real and complex matrices in both single and double precision. LAPACK relies on an underlying BLAS implementation to provide efficient and portable computational building blocks for its routines.
Mathomatic is a free, portable, general-purpose computer algebra system (CAS) that can symbolically solve, simplify, combine and compare algebraic equations, and can perform complex number, modular, and polynomial arithmetic, along with standard arithmetic. It does some symbolic calculus (derivative, extrema, Taylor series, and polynomial integration and Laplace transforms), numerical integration, and handles all elementary algebra except logarithms. Trigonometric functions can be entered and manipulated using complex exponentials, with the GNU m4 preprocessor. Not currently implemented are general functions like f(x), arbitrary-precision and interval arithmetic, and matrices.
Cython is a superset of the programming language Python, which allows developers to write Python code that yields performance comparable to that of C.
PARI/GP is a computer algebra system with the main aim of facilitating number theory computations. Versions 2.1.0 and higher are distributed under the GNU General Public License. It runs on most common operating systems.
According to the Free Software Foundation Latin America, Linux-libre is a modified version of the Linux kernel that contains no binary blobs, obfuscated code, or code released under proprietary licenses. In the Linux kernel, they are mostly used for proprietary firmware images. While generally redistributable, binary blobs do not give the user the freedom to audit, modify, or, consequently, redistribute their modified versions. The GNU Project keeps Linux-libre in synchronization with the mainline Linux kernel.
Tensor software is a class of mathematical software designed for manipulation and calculation with tensors.
Spyder is an open-source cross-platform integrated development environment (IDE) for scientific programming in the Python language. Spyder integrates with a number of prominent packages in the scientific Python stack, including NumPy, SciPy, Matplotlib, pandas, IPython, SymPy and Cython, as well as other open-source software. It is released under the MIT license.
CoCalc is a web-based cloud computing (SaaS) and course management platform for computational mathematics. It supports editing of Sage worksheets, LaTeX documents and Jupyter notebooks. CoCalc runs an Ubuntu Linux environment that can be interacted with through a terminal, additionally giving access to most of the capabilities of Linux.