Jump to content

SageMath

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 213.78.42.15 (talk) at 23:01, 27 September 2010 (→‎Licensing and availability). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Sage
Initial release24 February 2005
Stable release9.5 (30 January 2022; 2 years ago (2022-01-30)) [±][1]
Repository
Written inPython, Cython
Operating systemCross-platform
PlatformPython
TypeComputer algebra system
LicenseGNU General Public License
Websitewww.sagemath.org

Sage is a software application with features covering many aspects of mathematics, including algebra, combinatorics, numerical mathematics, and calculus.

The first version of Sage was released on 24 February 2005 as free and open source software under the terms of the GNU General Public License, with the initial goals of creating an "open source alternative to Magma, Maple, Mathematica, and MATLAB."[2] The lead developer of Sage, William Stein, is a mathematician at the University of Washington.

Sage is often called sagemath, too, because the word sage is too common.[citation needed]

Features

The Sage notebook document interface works with Firefox (and Mozilla), Opera, Konqueror, and Safari.
Equation solving and typesetting using the Sage notebook web interface.

Some of the many features of Sage include[3].

Although not provided by Sage directly, Sage can be called from within Mathematica.[6] A Mathematica notebook is available for this.[7]

Design philosophy

William Stein realized several important facts when designing Sage.

  • To create viable alternatives to Magma, Maple, Mathematica, and MATLAB, would take hundreds, or thousands of man-years if one started from the beginning.
  • There was a large collection of open-source mathematics software already written, but which was written in different languages (C, C++, Fortran and Python being the most common).

So rather than start from the beginning, Sage (which is written in Python and Cython) integrates all their specialized mathematics software into a common interface. A user needs to know only Python.

Where no open-source option exists for a particular class of problem, then this would be written in Sage. But Sage does not reinvent the wheel. The same design philosophy is used in commercial mathematics programs such as Mathematica, but Sage can use a much wider range of open source software solutions than nonfree software, since some open source licensing imposes restrictions on proprietary use of code.

Sage development uses both students and professionals for development. The development of Sage is supported by both volunteer work and grants.[8]

Performance

Both binaries and source code are available for sage from the download page. If Sage is built from source code, many of the included libraries such as ATLAS, FLINT, 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.

Licensing and availability

Sage is free software, distributed under the terms of the GNU General Public License version 2+. Sage is available in many ways:

  • The source code can be downloaded from the downloads page. Although not recommended for end users, development releases of Sage are also available.
  • Binaries can be downloaded for Linux, OS X and Solaris (both x86 and SPARC).
  • A live CD containing a bootable Linux operating system is also available. This allows usage of Sage without Linux installation.
  • Users can use an online version of Sage at sagenb.org or http://t2nb.math.washington.edu:8000/, but with a limit to the amount of memory a user can use, as well as security restrictions.

Although Microsoft was sponsoring a native version of Sage for the Windows operating system [9], users of Windows currently have to use virtualization technology such as VirtualBox to run Sage under one of the aforementioned operating systems.

Software packages contained in Sage

As stated above, the philosophy of Sage is to use existing open source libraries wherever they exist. Therefore it borrows from many projects in producing the final product.

Mathematics packages contained in Sage
Algebra GAP, Maxima, Singular
Algebraic Geometry Singular
Arbitrary Precision Arithmetic GMP, MPFR, MPFI, NTL
Arithmetic Geometry PARI/GP, NTL, mwrank, ecm
Calculus Maxima, SymPy, GiNaC
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 Sage
Command line IPython
Database ZODB, Python Pickles, SQLite
Graphical Interface Sage Notebook, jsmath
Graphics Matplotlib, Tachyon3d, GD, Jmol
Interactive programming language Python
Networking Twisted

Command interface examples

Calculus

x,a,b,c = var('x,a,b,c')

log(sqrt(a)).simplify_log() # returns log(a)/2
log(a/b).simplify_log() # returns log(a) - log(b)
sin(a+b).simplify_trig() # returns cos(a)*sin(b) + sin(a)*cos(b)
cos(a+b).simplify_trig() # returns cos(a)*cos(b) - sin(a)*sin(b)
(a+b)ˆ5 # returns (b + a)ˆ5
expand((a+b)ˆ5) # returns bˆ5 + 5*a*bˆ4 + 10*aˆ2*bˆ3 +
 # 10*aˆ3*bˆ2 + 5*aˆ4*b + aˆ5

limit((xˆ2+1)/(2+x+3*xˆ2), x=infinity) # returns 1/3
limit(sin(x)/x, x=0) # returns 1

diff(acos(x),x) # returns -1/sqrt(1 - xˆ2)
f = exp(x)*log(x)
f.diff(x,3) # returns e^x*log(x) + 3*e^x/x - 3*e^x/x^2 + 2*e^x/x^3

solve(a*x^2 + b*x + c, x) # returns [x == (-sqrt(b^2 - 4*a*c) - b)/(2*a),
 # x == (sqrt(b^2 - 4*a*c) - b)/(2*a)]

f = xˆ2 + 432/x
solve(f.diff(x)==0,x) # returns [x == 3*sqrt(3)*I - 3,
 # x == -3*sqrt(3)*I - 3, x == 6]

Differential equations

t = var('t') # define a variable t
x = function('x',t) # define x to be a function of that variable
DE = lambda y: diff(y,t) + y - 1
desolve(DE(x(t)), [x,t]) # returns '%e^-t*(%e^t+%c)'

Linear algebra

A = Matrix([[1,2,3],[3,2,1],[1,1,1]])
y = vector([0,-4,-1])
A.solve_right(y) # returns (-2, 1, 0)
A.eigenvalues() # returns [5, 0, -1]

B = Matrix([[1,2,3],[3,2,1],[1,2,1]])
B.inverse() # returns [ 0 1/2 -1/2]
 # [-1/4 -1/4 1]
 # [ 1/2 0 -1/2]

# Call numpy for the Moore-Penrose pseudo-inverse,
# since Sage does not support that yet.

import numpy
C = Matrix([[1 , 1], [2 , 2]])
matrix(numpy.linalg.pinv(C.numpy())) # returns [0.1 0.2]
 # [0.1 0.2]

Number Theory

prime_pi(1000000) # returns 78498, the number of primes less than one million

E = EllipticCurve('389a') # construct an elliptic curve from its Cremona label
P, Q = E.gens()
7*P + Q # returns (2869/676 : -171989/17576 : 1)

History

Only the major releases are listed below. Sage practices the "release early, release often" concept, with releases every two to three weeks.

Sage versions
Version Release Date Description
0.1 January, 2005 Included Pari, but not GAP or Singular
0.2 - 0.4 March to July 2005 Cremona's database, multivariate polynomials, large finite fields and more documentation
0.5 - 0.7 August to September 2005 Vector spaces, rings, modular symbols, and windows usage
0.8 October 2005 Full distribution of GAP, Singular
0.9 November, 2005 Maxima and clisp added
1.0 February, 2006
2.0 January, 2007
3.0 April, 2008
4.0 May, 2009
5.0 future 5.0 Milestone

In 2007, Sage won first prize in the scientific software division of Les Trophées du Libre, an international competition for free software.[10]

See also

References

  1. ^ "SageMath". sagemath.org. Retrieved 2020-02-15.
  2. ^ Stein, William (2007-06-12). "SAGE Days 4" (PDF). Retrieved 2007-08-02.
  3. ^ Sage documentation
  4. ^ "Sage Interact functionality". Retrieved 2008-04-11.
  5. ^ The TeX Catalogue OnLine, Entry for sagetex, Ctan Edition
  6. ^ http://facstaff.unca.edu/mcmcclur/Mathematica/Sage/ Calling Sage from Mathematica
  7. ^ http://facstaff.unca.edu/mcmcclur/Mathematica/Sage/UsingSage.nb A Mathematica notebook to call Sage from Mathematica.
  8. ^ "Sage - Acknowledgement". Retrieved 2010-07-13.
  9. ^ Sage - Acknowledgment
  10. ^ "Free Software Brings Affordability, Transparency To Mathematics". Science Daily. December 7, 2007. Retrieved 2008-07-20.