Welcome to Sage's Reference Manual!
=================================================
This is the manual for the Sage mathematical software system. Sage
is free open source math software that supports research and
teaching in algebra, geometry, number theory, cryptography, and
related areas. Both the Sage development model and the technology
in Sage itself are distinguished by an extremely strong emphasis on
openness, community, cooperation, and collaboration: we are
building the car, not reinventing the wheel.
This reference manual contains many examples that illustrate the
usage of Sage. The examples are all tested with each release of
Sage, and should produce exactly the same output as in this manual,
except for line breaks.
The Sage command line is briefly described in :doc:`The Sage Command Line
`, which lists the command line options. For more
details about the command line, see the Sage tutorial.
The Sage graphical user interface is described in :doc:`The Sage Notebook
`. This graphical user interface is unusual in
that it operates via your web browser. It provides you with Sage
worksheets that you can edit and evaluate, which contain scalable
typeset mathematics and beautiful antialiased images.
This work is licensed under a `Creative Commons Attribution-Share Alike
3.0 License`__.
__ http://creativecommons.org/licenses/by-sa/3.0/
Enjoy Sage!
Table of Contents
=================
* :doc:`The Sage Command Line `
* :doc:`The Sage Notebook `
Calculus, Plotting
------------------
* :doc:`Symbolic Calculus `
* :doc:`Constants `
* :doc:`Functions `
* :doc:`2D Graphics `
* :doc:`3D Graphics `
Combinatorics, Discrete Mathematics
-----------------------------------
* :doc:`Combinatorics `
* :doc:`Graph Theory `
* :doc:`Matroid Theory `
* :doc:`Discrete Dynamics `
Structures, Coercion, Categories
--------------------------------
* :doc:`Basic Structures `
* :doc:`Coercion `
* :doc:`Category Theory and Categories `
Rings, Fields, Algebras
-----------------------
* :doc:`General Rings, Ideals, and Morphisms `
* :doc:`Standard Commutative Rings `
* :doc:`Fixed and Arbitrary Precision Numerical Fields `
* :doc:`Finite Rings `
* :doc:`Algebraic Number Fields `
* :doc:`Function Fields `
* :doc:`p-Adics `
* :doc:`Polynomial Rings `
* :doc:`Power Series Rings `
* :doc:`Standard Semirings `
* :doc:`Algebras `
* :doc:`Quaternion Algebras `
Groups, Monoids, Matrices, Modules
----------------------------------
* :doc:`Groups `
* :doc:`Monoids `
* :doc:`Matrices and Spaces of Matrices `
* :doc:`Modules `
Geometry and Topology
---------------------
* :doc:`Combinatorial Geometry `
* :doc:`Cell Complexes and their Homology `
* :doc:`Differential Forms `
* :doc:`Parametrized Surfaces `
Number Theory, Algebraic Geometry
---------------------------------
* :doc:`Quadratic Forms `
* :doc:`L-Functions `
* :doc:`Schemes `
* :doc:`Elliptic, Plane, and Hyperelliptic Curves `
* :doc:`Arithmetic Subgroups of SL_2(Z) `
* :doc:`General Hecke Algebras and Hecke Modules `
* :doc:`Modular Symbols `
* :doc:`Modular Forms `
* :doc:`Modular Abelian Varieties `
* :doc:`Miscellaneous Modular-Form-Related Modules `
Miscellaneous Mathematics
-------------------------
* :doc:`Games `
* :doc:`Symbolic Logic `
* :doc:`SAT solvers `
* :doc:`Cryptography `
* :doc:`Numerical Optimization `
* :doc:`Probability `
* :doc:`Statistics `
* :doc:`Quantitative Finance `
* :doc:`Coding Theory `
Doctesting, Interfaces, Databases, Miscellany
---------------------------------------------
* :doc:`Doctesting `
* :doc:`Development Scripts `
* :doc:`Interpreter Interfaces `
* :doc:`C/C++ Library Interfaces `
* :doc:`Databases `
* :doc:`Parallel Computing `
* :doc:`Miscellaneous `
Other
-----
.. toctree::
:maxdepth: 2
todolist
* :doc:`History and License `
Indices and Tables
------------------
* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`