Contents

Contents

1. Introduction
2. The Sage Command Line
- 2.1 Attach a file to a running instance of Sage
- 2.2 Interactively tracing execution of a command
- 2.3 Sage: Command Line Arguments
3. The Sage Notebook
- 3.1 The Sage Notebook object
- 3.2 A Cell
- 3.3 A Worksheet
- 3.4 The Sage Notebook Twisted Web Server
- 3.5 Javascript (AJAX) Component of Sage Notebook
- 3.6 Customization of the Notebook
- 3.7 Sage Notebook CSS
- 3.8 Support for the Notebook (introspection and setup)
- 3.9 Sage Notebook: Introspection
- 3.10 Wiki Interactive Web Page
4. Symbolic Calculus
- 4.1 Symbolic Computation
- 4.2 Symbolic Equations and Inequalities
- 4.3 Functional notation support for common calculus methods
- 4.4 A Sample Session using Sympy
- 4.5 Calculus Tests and Examples
- 4.6 Further examples from Wester's paper
5. 2D Graphics
- 5.1 2D Plotting
- 5.2 Animated plots
6. 3D Graphics
- 6.1 Introduction
- 6.2 Parametric Plots
- 6.3 List Plots
- 6.4 Plotting Functions
- 6.5 Platonic Solids.
- 6.6 Lines, Frames, Spheres, Points, Dots, and Text
- 6.7 Base classes for 3D Graphics objects and plotting
- 6.8 The Tachyon 3D Ray Tracer
7. Games
- 7.1 Sudoku Solver
8. Graph Theory
- 8.1 Graph Theory
- 8.2 A collection of constructors of common graphs
- 8.3 N.I.C.E. - Nice (as in open source) Isomorphism Check Engine
- 8.4 Graph Database Module
- 8.5 A module for dealing with lists of graphs
9. Constants
- 9.1 Mathematical constants
10. Functions
- 10.1 SAGE Functions Class
- 10.2 Transcendental Functions
- 10.3 Piecewise-defined Functions
- 10.4 Orthogonal Polynomials
- 10.5 Special Functions
11. Basic Structure
- 11.1 Abstract base class for SAGE objects
- 11.2 Base class for parent objects with generators
- 11.3 Formal sums
- 11.4 Factorizations
- 11.5 Elements
  - 11.5.1 The Abstract Element Class Hierarchy
  - 11.5.2 How to Define a New Element Class
- 11.6 Mutability Pyrex Implementation
- 11.7 Sequences
- 11.8 Sets
- 11.9 The set of prime numbers
12. Miscellaneous
- 12.1 Miscellaneous functions
- 12.2 SAGE package management commands
- 12.3 Get resource usage of process
- 12.4 Multidimensional enumeration
- 12.5 Installing shortcut scripts
- 12.6 SAGE Interface to the HG/Mercurial Revision Control System
- 12.7 Functional notation
- 12.8 Latex printing support
- 12.9 Logging of SAGE sessions
- 12.10 Object persistence
- 12.11 Support for persistent functions in .sage files
- 12.12 Evaluating a String in SAGE
- 12.13 Miscellaneous arithmetic functions
13. Databases
- 13.1 Cremona's tables of elliptic curves
- 13.2 The Stein-Watkins table of elliptic curves
- 13.3 John Jones's tables of number fields
- 13.4 Linear codes
- 13.5 Interface to Sloane On-Line Encyclopedia of Integer Sequences
- 13.6 Frank Luebeck's tables of Conway polynomials over finite fields
- 13.7 Tables of zeros of the Riemann-Zeta function
14. Interpreter Interfaces
- 14.1 Common Interface Functionality
- 14.2 Interface to Axiom
- 14.3 Interface to GAP
- 14.4 Interface to GP/Pari
- 14.5 Interface to the Gnuplot interpreter
- 14.6 Interface to KASH
- 14.7 Interface to Magma
- 14.8 Interface to Maple
  - 14.8.1 Tutorial
- 14.9 Interface to MATLAB
  - 14.9.1 Tutorial
- 14.10 Interface to Maxima
- 14.11 Interface to Mathematica
- 14.12 Interface to mwrank
- 14.13 Interface to Octave
  - 14.13.1 Computation of Special Functions
  - 14.13.2 Tutorial
- 14.14 Interface to SAGE
- 14.15 Interface to Singular
- 14.16 The Tachyon Ray Tracer
15. C/C++ Library Interfaces
- 15.1 PARI C-library interface
- 15.2 Victor Shoup's NTL C++ Library
- 15.3 Cremona's mwrank C++ library
16. Networking and Grid Computing
- 16.1 Wiki Interactive Web Page
- 16.2 Distributed Sage
17. Cryptography
- 17.1 Cryptosystems
- 17.2 Ciphers
- 17.3 Classical Cryptosystems
- 17.4 Classical Ciphers
- 17.5 Stream Cryptosystems
- 17.6 Stream Ciphers
- 17.7 Linear feedback shift register (LFSR) sequence commands
- 17.8 Small Scale Variants of the AES (SR) Polynomial System Generator
- 17.9 Multivariate Polynomial Systems
18. Combinatorics
- 18.1 Combinatorial Functions
- 18.2 Functions that compute some of the sequences in Sloane's tables
- 18.3 Compute Bell and Uppuluri-Carpenter numbers
- 18.4 Alternating Sign Matrices
- 18.5 Cartesian Products
- 18.6 Combinations
- 18.7 Combinatorial Algebras
- 18.8 Signed Compositions
- 18.9 Compositions
- 18.10 Exact Cover Problem via Dancing Links
- 18.11 Dancing links C++ wrapper
- 18.12 Dyck Words
- 18.13 Finite combinatorial classes
- 18.14 Paths in Directed Acyclic Graphs
- 18.15 Kostka-Foulkes Polynomials
- 18.16 Latin squares
- 18.17 Lyndon words
- 18.18 Miscellaneous
- 18.19 Necklaces
- 18.20 Partition/Diagram Algebras
- 18.21 Partitions
- 18.22 Permutations
- 18.23 q-Analogues
- 18.24 Ribbons
- 18.25 Schubert Polynomials
- 18.26 Ordered Set Partitions
- 18.27 Set Partitions
- 18.28 Skew Partitions
- 18.29 Skew Tableaux
- 18.30 Subsets
- 18.31 Subwords
- 18.32 Symmetric Functions
- 18.33 Hall-Littlewood Polynomials
- 18.34 Jack Polynomials
- 18.35 Macdonald Polynomials - under development
- 18.36 Symmetric Group Algebra
- 18.37 Tableaux
- 18.38 Tools
- 18.39 Tuples
- 18.40 Words
19. Crystals
- 19.1 Crystals
- 19.2 Crystals of letters
- 19.3 Spin Crystals
- 19.4 Tensor product of crystals
- 19.5 Fast Rank Two Crystals
20. Root Systems
- 20.1 Cartan types
- 20.2 Dynkin diagrams
- 20.3 Cartan matrices
- 20.4 Coxeter matrices
- 20.5 Root systems
- 20.6 Weyl Groups
- 20.7 Weyl Characters
21. Probability
- 21.1 Random variables and probability spaces
22. Category Theory
- 22.1 Categories
- 22.2 Homsets
- 22.3 Morphisms
- 22.4 Functors
23. Monoids
- 23.1 Free Monoids
- 23.2 Monoid Elements
- 23.3 Free abelian monoids
- 23.4 Abelian monoid elements
24. Groups
- 24.1 Base class for groups
- 24.2 Multiplicative Abelian Groups
- 24.3 Abelian group elements
- 24.4 Homomorphisms of abelian groups
- 24.5 Basic functionality for dual groups of finite multiplicative Abelian groups
- 24.6 Permutation groups
- 24.7 Permutation group elements
- 24.8 Permutation group homomorphisms
- 24.9 Rubik's cube group functions
- 24.10 Matrix Groups
- 24.11 Matrix Group Elements
- 24.12 Homomorphisms Between Matrix Groups
- 24.13 Matrix Group Homsets
- 24.14 Linear Groups
- 24.15 General Linear Groups
- 24.16 Special Linear Groups
- 24.17 Orthogonal Linear Groups
- 24.18 Symplectic Linear Groups
- 24.19 Unitary Groups and
25. General Rings, Ideals, and Morphisms
- 25.1 Ideals
- 25.2 Monoid of Ring Ideals
- 25.3 Homomorphisms of rings
- 25.4 Space of homomorphisms between two rings
- 25.5 Infinity Rings
- 25.6 Fraction Field of Integral Domains
- 25.7 Fraction Field Elements
- 25.8 Quotient Rings
- 25.9 Quotient Ring Elements
26. Standard Commutative Rings
- 26.1 Ring $\mathbf{Z}$ of Integers
- 26.2 Elements of the ring $\mathbf{Z}$ of integers
- 26.3 Ring $\mathbf{Z}/n\mathbf{Z}$ of integers modulo
- 26.4 Elements of $\mathbf{Z}/n\mathbf{Z}$
- 26.5 Field $\mathbf{Q}$ of Rational Numbers
- 26.6 Rational Numbers
- 26.7 Finite Fields
- 26.8 Elements of Finite Fields
27. p-adic Rings
- 27.1 Introduction to the -adics
- 27.2 Terminology and types of -adics
28. Fixed and Arbitrary Precision Numerical Fields
- 28.1 Double Precision Real Numbers
- 28.2 Double Precision Complex Numbers
- 28.3 Field of Arbitrary Precision Real Numbers
- 28.4 Field of Arbitrary Precision Complex Numbers
- 28.5 Arbitrary Precision Complex Numbers
- 28.6 Field of Arbitrary Precision Real Intervals
29. Number Fields
- 29.1 Number Fields
- 29.2 Number Field Elements
30. Polynomial Rings
- 30.1 Univariate Polynomial Rings
- 30.2 Univariate Polynomial Base Class
- 30.3 Quotients of Univariate Polynomial Rings
- 30.4 Elements of Quotients of Univariate Polynomial Rings
- 30.5 Term Orderings
- 30.6 Multivariate Polynomial Rings
- 30.7 Multivariate Polynomials
- 30.8 Ideals in multivariate polynomial rings
- 30.9 Boolean Polynomials
  - 30.9.1 Implementation specific notes
  - 30.9.2 Access to the original POLYBORI interface
- 30.10 Generic Convolution
31. Power Series Rings
- 31.1 Univariate Power Series Rings
- 31.2 Power Series
- 31.3 Laurent Series Rings
- 31.4 Laurent Series
32. Algebras
- 32.1 Free algebras
- 32.2 Free algebra elements
- 32.3 Free algebra quotients
- 32.4 Free algebra quotient elements
- 32.5 The Steenrod algebra
- 32.6 Steenrod algebra elements
- 32.7 Steenrod algebra bases
33. Quaternion Algebras
- 33.1 Quaternion algebras
- 33.2 Quaternion algebra elements
- 33.3 Quaternion orders
- 33.4 Quaternion order elements
- 33.5 Quaternion ideal
- 33.6 Quaternion ideal elements
34. Matrices and Spaces of Matrices
- 34.1 Matrix Spaces
- 34.2 Matrix Constructor
- 34.3 Matrices over an arbitrary ring
  - 34.3.1 Implementation and Design
- 34.4 Abstract base class for matrices
- 34.5 Base class for matrices, part 0
- 34.6 Base class for matrices, part 1
- 34.7 Base class for matrices, part 2
- 34.8 Generic Asymptotically Fast Strassen Algorithms
- 34.9 Minimal Polynomials of Linear Recurrence Sequences
- 34.10 Base class for dense matrices
- 34.11 Base class for sparse matrices
- 34.12 Dense Matrices over a general ring
- 34.13 Sparse Matrices over a general ring
- 34.14 Dense matrices over $\mathbf{Z}/n\mathbf{Z}$ for small
- 34.15 Sparse matrices over $\mathbf{Z}/n\mathbf{Z}$ for small
- 34.16 Dense matrices over the integer ring
- 34.17 Dense matrices over the rational field
- 34.18 Dense matrices over the real double field
- 34.19 Dense matrices over the Complex Double Field
35. Modules
- 35.1 Abstract base class for modules
- 35.2 Free modules
- 35.3 Elements of free modules
- 35.4 Complex double vectors
- 35.5 Real double vectors
- 35.6 Homspaces between free modules
- 35.7 Morphisms of free modules
- 35.8 Morphisms defined by a matrix
36. Combinatorial Geometry
- 36.1 Lattice and reflexive polytopes
- 36.2 Groebner Fans
- 36.3 Polytopes
37. L-functions
- 37.1 Rubinstein's -function Calculator
- 37.2 Watkins Symmetric Power -function Calculator
- 37.3 Dokchitser's L-functions Calculator
38. Schemes
- 38.1 Scheme implementation overview
  - 38.1.1 TODO List
- 38.2 Schemes
- 38.3 Spec of a ring
- 38.4 Scheme obtained by glueing two other schemes
- 38.5 Points on schemes
- 38.6 Ambient Spaces
- 38.7 Affine space over a ring
- 38.8 Projective space over a ring
- 38.9 Algebraic schemes
- 38.10 Set of homomorphisms between two schemes
- 38.11 Scheme morphism
- 38.12 Divisors on schemes
39. Elliptic and Plane Curves
- 39.1 Plane curve constructors
- 39.2 Affine plane curves over a general ring
- 39.3 Plane curves over a general ring
- 39.4 Elliptic curve constructor
- 39.5 Elliptic curves over a general ring
- 39.6 Elliptic curves over a general field
- 39.7 Elliptic curves over the rational numbers
- 39.8 Elliptic curves over finite fields
- 39.9 Formal groups of elliptic curves
- 39.10 Computation of Frobenius matrix on Monsky-Washnitzer cohomology
40. Hyperelliptic Curves
- 40.1 Hyperelliptic curve constructor
- 40.2 Hyperelliptic curves over a finite field
- 40.3 Hyperelliptic curves over a general ring
- 40.4 Constructor for Jacobian of a hyperelliptic curve
- 40.5 Jacobian of a Hyperelliptic curve of Genus 2
- 40.6 Jacobian of a General Hyperelliptic Curve
- 40.7 Rational point sets on a Jacobian
- 40.8 Jacobian `morphism' as a class in the Picard group
- 40.9 Conductor and Reduction Types for Genus 2 Curves
41. Coding Theory
- 41.1 Linear Codes
- 41.2 Linear code constructions
- 41.3 This module implements functions useful for studying binary self-dual codes
- 41.4 Bounds for Parameters of Codes
42. Modular Forms: General Hecke Algebras and Hecke Modules
- 42.1 Congruence subgroups of SL2(Z)
- 42.2 Dirichlet characters
- 42.3 The set $\mathbf{P}^1(\mathbf{Q})$ of cusps
- 42.4 Dimensions of spaces of modular forms
- 42.5 Conjectural Slopes of Hecke Polynomial
- 42.6 Hecke modules
- 42.7 Submodule of a Hecke module
- 42.8 Ambient Hecke modules
- 42.9 Elements of Hecke modules
- 42.10 Hom spaces between objects of the category of hecke modules over a given base ring
- 42.11 Morphism of Hecke modules
- 42.12 Hecke algebras and modules
- 42.13 Hecke operators
43. Modular Symbols
- 43.1 Creation of modular symbols spaces
- 43.2 Space of modular symbols (base class)
- 43.3 Ambient spaces of modular symbols
- 43.4 Subspace of ambient spaces of modular symbols
- 43.5 A single element of an ambient space of modular symbols
- 43.6 Manin symbols
- 43.7 Space of boundary modular symbols. Used mainly for computing the
- 43.8 Heilbronn matrix computation
- 43.9 List of Elements of $P^1(\mathbf{Z}/N\mathbf{Z})$
- 43.10 Relation matrices for ambient modular symbols spaces
44. Modular Forms
- 44.1 Creating Spaces of Modular Forms
- 44.2 Generic spaces of modular forms
- 44.3 Ambient Spaces of Modular Forms
- 44.4 Modular Forms with Character
- 44.5 Modular Forms for $\Gamma_0(N)$ over $\mathbf{Q}$
- 44.6 Modular Forms for $\Gamma_1(N)$ over $\mathbf{Q}$
- 44.7 Modular Forms over a Non-minimal Base Ring
- 44.8 Submodules of spaces of modular forms
- 44.9 The Cuspidal Subspace
- 44.10 The Eisenstein Subspace
- 44.11 Eisenstein Series
- 44.12 Elements of modular forms spaces
- 44.13 Hecke Operators on -expansions
- 44.14 Numerical computation of newforms
- 44.15 The Victor Miller Basis
- 44.16 Ambient Spaces of Modular Forms
- 44.17 Compute spaces of half-integral weight modular forms
45. Modular Abelian Varieties
- 45.1 Constructors for certain modular abelian varieties
- 45.2 Base class for modular abelian varieties
- 45.3 Ambient Jacobian Abelian Variety
- 45.4 Finite subgroups of modular abelian varieties
- 45.5 Torsion points on modular abelan varieties.
- 45.6 Torsion subgroups of modular abelian varieties
- 45.7 Cuspidal subgroups of modular abelian varieties
- 45.8 Hecke operators on modular abelian varieties
- 45.9 Homology of modular abelian varieties
- 45.10 Spaces of homomorphisms between modular abelian varieties
- 45.11 Morphisms between modular abelian varieties, including Hecke operators
A. History and License
- A.1 License
  - A.1.1 The GNU General Public License
Module Index
Index

See About this document... for information on suggesting changes.