Welcome to Sage¶
This is a short tour of Sage as a calculator.
The Sage command line has a prompt “sage:”. To experiment with the
following examples, you only enter the part after the prompt.
sage: 3 + 5
8
>>> from sage.all import *
>>> Integer(3) + Integer(5)
8
3 + 5
If you use Sage on the Jupyter notebook, then likewise put everything after the prompt in an input cell, and press Shift-Enter to get the corresponding output.
The caret symbol means “raise to a power”.
sage: 57.1^100
4.60904368661396e175
>>> from sage.all import *
>>> RealNumber('57.1')**Integer(100)
4.60904368661396e175
57.1^100
We compute the inverse of a \(2 \times 2\) matrix in Sage.
sage: matrix([[1, 2], [3, 4]])^(-1)
[ -2 1]
[ 3/2 -1/2]
>>> from sage.all import *
>>> matrix([[Integer(1), Integer(2)], [Integer(3), Integer(4)]])**(-Integer(1))
[ -2 1]
[ 3/2 -1/2]
matrix([[1, 2], [3, 4]])^(-1)
Here we integrate a simple function.
sage: x = var('x') # create a symbolic variable
sage: integrate(sqrt(x) * sqrt(1 + x), x)
1/4*((x + 1)^(3/2)/x^(3/2) + sqrt(x + 1)/sqrt(x))/((x + 1)^2/x^2 - 2*(x + 1)/x + 1)
- 1/8*log(sqrt(x + 1)/sqrt(x) + 1) + 1/8*log(sqrt(x + 1)/sqrt(x) - 1)
>>> from sage.all import *
>>> x = var('x') # create a symbolic variable
>>> integrate(sqrt(x) * sqrt(Integer(1) + x), x)
1/4*((x + 1)^(3/2)/x^(3/2) + sqrt(x + 1)/sqrt(x))/((x + 1)^2/x^2 - 2*(x + 1)/x + 1)
- 1/8*log(sqrt(x + 1)/sqrt(x) + 1) + 1/8*log(sqrt(x + 1)/sqrt(x) - 1)
x = var('x') # create a symbolic variable
integrate(sqrt(x) * sqrt(1 + x), x)
This asks Sage to solve a quadratic equation. The symbol == represents equality in Sage.
sage: a = var('a')
sage: S = solve(x^2 + x == a, x); S
[x == -1/2*sqrt(4*a + 1) - 1/2, x == 1/2*sqrt(4*a + 1) - 1/2]
>>> from sage.all import *
>>> a = var('a')
>>> S = solve(x**Integer(2) + x == a, x); S
[x == -1/2*sqrt(4*a + 1) - 1/2, x == 1/2*sqrt(4*a + 1) - 1/2]
a = var('a')
S = solve(x^2 + x == a, x); S
The result is a list of equalities.
sage: S[0].rhs() # right hand side of the equation
-1/2*sqrt(4*a + 1) - 1/2
>>> from sage.all import *
>>> S[Integer(0)].rhs() # right hand side of the equation
-1/2*sqrt(4*a + 1) - 1/2
S[0].rhs() # right hand side of the equation
Sage can plot various useful functions, of course.
sage: show(plot(sin(x) + sin(1.6*x), 0, 40))
>>> from sage.all import *
>>> show(plot(sin(x) + sin(RealNumber('1.6')*x), Integer(0), Integer(40)))
show(plot(sin(x) + sin(1.6*x), 0, 40))
Sage is a very powerful calculator. To experience it, first we create a \(500 \times 500\) matrix of random numbers.
sage: m = random_matrix(RDF, 500)
>>> from sage.all import *
>>> m = random_matrix(RDF, Integer(500))
m = random_matrix(RDF, 500)
It takes Sage a second to compute the eigenvalues of the matrix and plot them.
sage: e = m.eigenvalues() # about 1 second
sage: w = [(i, abs(e[i])) for i in range(len(e))]
sage: show(points(w))
>>> from sage.all import *
>>> e = m.eigenvalues() # about 1 second
>>> w = [(i, abs(e[i])) for i in range(len(e))]
>>> show(points(w))
e = m.eigenvalues() # about 1 second w = [(i, abs(e[i])) for i in range(len(e))] show(points(w))
Sage can handle very large numbers, even numbers with millions or billions of digits.
sage: factorial(100)
93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000
>>> from sage.all import *
>>> factorial(Integer(100))
93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000
factorial(100)
sage: n = factorial(1000000) # about 1 second
sage: len(n.digits())
5565709
>>> from sage.all import *
>>> n = factorial(Integer(1000000)) # about 1 second
>>> len(n.digits())
5565709
n = factorial(1000000) # about 1 second len(n.digits())
>>> from sage.all import *
>>> n = factorial(Integer(1000000)) # about 1 second
>>> len(n.digits())
5565709
n = factorial(1000000) # about 1 second len(n.digits())
This computes at least 100 digits of \(\pi\).
sage: N(pi, digits=100)
3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117068
>>> from sage.all import *
>>> N(pi, digits=Integer(100))
3.141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117068
N(pi, digits=100)
This asks Sage to factor a polynomial in two variables.
sage: R.<x,y> = QQ[]
sage: F = factor(x^99 + y^99)
sage: F
(x + y) * (x^2 - x*y + y^2) * (x^6 - x^3*y^3 + y^6) *
(x^10 - x^9*y + x^8*y^2 - x^7*y^3 + x^6*y^4 - x^5*y^5 +
x^4*y^6 - x^3*y^7 + x^2*y^8 - x*y^9 + y^10) *
(x^20 + x^19*y - x^17*y^3 - x^16*y^4 + x^14*y^6 + x^13*y^7 -
x^11*y^9 - x^10*y^10 - x^9*y^11 + x^7*y^13 + x^6*y^14 -
x^4*y^16 - x^3*y^17 + x*y^19 + y^20) * (x^60 + x^57*y^3 -
x^51*y^9 - x^48*y^12 + x^42*y^18 + x^39*y^21 - x^33*y^27 -
x^30*y^30 - x^27*y^33 + x^21*y^39 + x^18*y^42 - x^12*y^48 -
x^9*y^51 + x^3*y^57 + y^60)
sage: F.expand()
x^99 + y^99
>>> from sage.all import *
>>> R = QQ['x, y']; (x, y,) = R._first_ngens(2)
>>> F = factor(x**Integer(99) + y**Integer(99))
>>> F
(x + y) * (x^2 - x*y + y^2) * (x^6 - x^3*y^3 + y^6) *
(x^10 - x^9*y + x^8*y^2 - x^7*y^3 + x^6*y^4 - x^5*y^5 +
x^4*y^6 - x^3*y^7 + x^2*y^8 - x*y^9 + y^10) *
(x^20 + x^19*y - x^17*y^3 - x^16*y^4 + x^14*y^6 + x^13*y^7 -
x^11*y^9 - x^10*y^10 - x^9*y^11 + x^7*y^13 + x^6*y^14 -
x^4*y^16 - x^3*y^17 + x*y^19 + y^20) * (x^60 + x^57*y^3 -
x^51*y^9 - x^48*y^12 + x^42*y^18 + x^39*y^21 - x^33*y^27 -
x^30*y^30 - x^27*y^33 + x^21*y^39 + x^18*y^42 - x^12*y^48 -
x^9*y^51 + x^3*y^57 + y^60)
>>> F.expand()
x^99 + y^99
R.<x,y> = QQ[] F = factor(x^99 + y^99) F F.expand()
Sage takes less than 1 second to compute the numbers of ways to partition one hundred million as a sum of positive integers.
sage: z = Partitions(10^8).cardinality() # about .1 second
sage: z
1760517045946249141360373894679135204009...
>>> from sage.all import *
>>> z = Partitions(Integer(10)**Integer(8)).cardinality() # about .1 second
>>> z
1760517045946249141360373894679135204009...
z = Partitions(10^8).cardinality() # about .1 second z
Sage is the world’s most advanced open source math software.