-
# HG changeset patch
# User Ivo Hedtke <hedtke@me.com>
# Date 1311443640 -7200
# Node ID cae7699b764ad7c507060a8109317d81ca1d75bc
# Parent ce324e28c3334398d3552640e2cb1520d22465a3
trac 10642: deleted additional point in some headings
diff -r ce324e28c333 -r cae7699b764a sage/calculus/calculus.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Symbolic Computation. |
| 2 | Symbolic Computation |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/calculus/functional.py
a
|
b
|
|
1 | 1 | """ |
2 | | Functional notation support for common calculus methods. |
| 2 | Functional notation support for common calculus methods |
3 | 3 | |
4 | 4 | EXAMPLES: We illustrate each of the calculus functional functions. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/calculus/tests.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Calculus Tests and Examples. |
| 2 | Calculus Tests and Examples |
3 | 3 | |
4 | 4 | Compute the Christoffel symbol. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/categories/category_types.py
a
|
b
|
|
1 | 1 | """ |
2 | | Specific category classes. |
| 2 | Specific category classes |
3 | 3 | |
4 | 4 | This is placed in a separate file from categories.py to avoid circular imports |
5 | 5 | (as morphisms must be very low in the hierarchy with the new coercion model). |
-
diff -r ce324e28c333 -r cae7699b764a sage/categories/pushout.py
a
|
b
|
|
1 | 1 | """ |
2 | | Coercion via Construction Functors. |
| 2 | Coercion via Construction Functors |
3 | 3 | """ |
4 | 4 | from functor import Functor, IdentityFunctor_generic |
5 | 5 | from basic import * |
-
diff -r ce324e28c333 -r cae7699b764a sage/coding/code_constructions.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Linear code constructions. |
| 2 | Linear code constructions |
3 | 3 | |
4 | 4 | AUTHOR: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/combinat/combinat.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Combinatorial Functions. |
| 2 | Combinatorial Functions |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/combinat/expnums.pyx
a
|
b
|
|
1 | 1 | r""" |
2 | | Compute Bell and Uppuluri-Carpenter numbers. |
| 2 | Compute Bell and Uppuluri-Carpenter numbers |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/combinat/integer_list.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Tools for generating lists of integers in lexicographic order. |
| 2 | Tools for generating lists of integers in lexicographic order |
3 | 3 | |
4 | 4 | IMPORTANT NOTE (2009/02): |
5 | 5 | The internal functions in this file will be deprecated soon. |
-
diff -r ce324e28c333 -r cae7699b764a sage/crypto/mq/mpolynomialsystem.py
a
|
b
|
|
1 | 1 | """ |
2 | | Multivariate Polynomial Systems. |
| 2 | Multivariate Polynomial Systems |
3 | 3 | |
4 | 4 | We call a finite set of multivariate polynomials an ``MPolynomialSystem``. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/crypto/mq/sr.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Small Scale Variants of the AES (SR) Polynomial System Generator. |
| 2 | Small Scale Variants of the AES (SR) Polynomial System Generator |
3 | 3 | |
4 | 4 | Sage supports polynomial system generation for small scale (and full |
5 | 5 | scale) AES variants over `\GF{2}` and `\GF{2^e}`. Also, Sage supports |
-
diff -r ce324e28c333 -r cae7699b764a sage/databases/conway.py
a
|
b
|
|
1 | 1 | """ |
2 | | Frank Luebeck's tables of Conway polynomials over finite fields. |
| 2 | Frank Luebeck's tables of Conway polynomials over finite fields |
3 | 3 | """ |
4 | 4 | |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/databases/cremona.py
a
|
b
|
|
1 | 1 | """ |
2 | | Cremona's tables of elliptic curves. |
| 2 | Cremona's tables of elliptic curves |
3 | 3 | |
4 | 4 | Sage includes John Cremona's tables of elliptic curves in an |
5 | 5 | easy-to-use format. The unique instance of the class |
-
diff -r ce324e28c333 -r cae7699b764a sage/databases/odlyzko.py
a
|
b
|
|
1 | 1 | """ |
2 | | Tables of zeros of the Riemann-Zeta function. |
| 2 | Tables of zeros of the Riemann-Zeta function |
3 | 3 | """ |
4 | 4 | |
5 | 5 | #***************************************************************************** |
-
diff -r ce324e28c333 -r cae7699b764a sage/databases/stein_watkins.py
a
|
b
|
|
1 | 1 | r""" |
2 | | The Stein-Watkins table of elliptic curves. |
| 2 | The Stein-Watkins table of elliptic curves |
3 | 3 | |
4 | 4 | Sage gives access to the Stein-Watkins table of elliptic curves, |
5 | 5 | via an optional package that you must install. This is a huge |
-
diff -r ce324e28c333 -r cae7699b764a sage/functions/piecewise.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Piecewise-defined Functions. |
| 2 | Piecewise-defined Functions |
3 | 3 | |
4 | 4 | Sage implements a very simple class of piecewise-defined functions. |
5 | 5 | Functions may be any type of symbolic expression. Infinite |
-
diff -r ce324e28c333 -r cae7699b764a sage/interfaces/gnuplot.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Interface to the Gnuplot interpreter. |
| 2 | Interface to the Gnuplot interpreter |
3 | 3 | """ |
4 | 4 | |
5 | 5 | #***************************************************************************** |
-
diff -r ce324e28c333 -r cae7699b764a sage/interfaces/gp.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Interface to the GP calculator of PARI/GP. |
| 2 | Interface to the GP calculator of PARI/GP |
3 | 3 | |
4 | 4 | Type ``gp.[tab]`` for a list of all the functions |
5 | 5 | available from your Gp install. Type ``gp.[tab]?`` for |
-
diff -r ce324e28c333 -r cae7699b764a sage/libs/singular/function.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | libSingular: Functions. |
| 2 | libSingular: Functions |
3 | 3 | |
4 | 4 | Sage implements a C wrapper around the Singular interpreter which |
5 | 5 | allows to call any function directly from Sage without string parsing |
-
diff -r ce324e28c333 -r cae7699b764a sage/libs/singular/option.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | libSingular: Options. |
| 2 | libSingular: Options |
3 | 3 | |
4 | 4 | Singular uses a set of global options to determine verbosity and the |
5 | 5 | behavior of certain algorithms. We provide an interface to these |
-
diff -r ce324e28c333 -r cae7699b764a sage/matrix/matrix.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | Abstract base class for matrices. |
| 2 | Abstract base class for matrices |
3 | 3 | |
4 | 4 | For design documentation see matrix/docs.py. |
5 | 5 | """ |
-
diff -r ce324e28c333 -r cae7699b764a sage/matrix/matrix_integer_dense.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | Dense matrices over the integer ring. |
| 2 | Dense matrices over the integer ring |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/matrix/matrix_modn_dense.pyx
a
|
b
|
|
1 | 1 | r""" |
2 | | Dense matrices over `\ZZ/n\ZZ` for `n` small. |
| 2 | Dense matrices over `\ZZ/n\ZZ` for `n` small |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/matrix/matrix_modn_sparse.pyx
a
|
b
|
|
1 | 1 | r""" |
2 | | Sparse matrices over `\ZZ/n\ZZ` for `n` small. |
| 2 | Sparse matrices over `\ZZ/n\ZZ` for `n` small |
3 | 3 | |
4 | 4 | This is a compiled implementation of sparse matrices over |
5 | 5 | `\ZZ/n\ZZ` for `n` small. |
-
diff -r ce324e28c333 -r cae7699b764a sage/matrix/matrix_rational_dense.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | Dense matrices over the rational field. |
| 2 | Dense matrices over the rational field |
3 | 3 | |
4 | 4 | EXAMPLES: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/matrix/matrix_space.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Matrix Spaces. |
| 2 | Matrix Spaces |
3 | 3 | |
4 | 4 | You can create any space `\text{Mat}_{n\times m}(R)` of |
5 | 5 | either dense or sparse matrices with given number of rows and |
-
diff -r ce324e28c333 -r cae7699b764a sage/misc/classcall_metaclass.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Special Methods for Classes. |
| 2 | Special Methods for Classes |
3 | 3 | """ |
4 | 4 | #***************************************************************************** |
5 | 5 | # Copyright (C) 2009 Nicolas M. Thiery <nthiery at users.sf.net> |
-
diff -r ce324e28c333 -r cae7699b764a sage/misc/func_persist.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Support for persistent functions in .sage files. |
| 2 | Support for persistent functions in .sage files |
3 | 3 | |
4 | 4 | Persistent functions are functions whose values are stored on disk |
5 | 5 | so they do not have to be recomputed. |
-
diff -r ce324e28c333 -r cae7699b764a sage/misc/log.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Logging of Sage sessions. |
| 2 | Logging of Sage sessions |
3 | 3 | |
4 | 4 | TODO: Pressing "control-D" can mess up the I/O sequence because of |
5 | 5 | a known bug. |
-
diff -r ce324e28c333 -r cae7699b764a sage/misc/nested_class.py
a
|
b
|
|
1 | 1 | """ |
2 | | Fixing Pickle for Nested Classes. |
| 2 | Fixing Pickle for Nested Classes |
3 | 3 | |
4 | 4 | As of Python 2.6, names for nested classes are set by Python in a |
5 | 5 | way which is incompatible with the pickling of such classes (pickling by name):: |
-
diff -r ce324e28c333 -r cae7699b764a sage/misc/random_testing.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Random testing. |
| 2 | Random testing |
3 | 3 | |
4 | 4 | Some Sage modules do random testing in their doctests; that is, they |
5 | 5 | construct test cases using a random number generator. To get the |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/abvar/constructor.py
a
|
b
|
|
1 | 1 | """ |
2 | | Constructors for certain modular abelian varieties. |
| 2 | Constructors for certain modular abelian varieties |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/abvar/homology.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Homology of modular abelian varieties. |
| 2 | Homology of modular abelian varieties |
3 | 3 | |
4 | 4 | Sage can compute with homology groups associated to modular abelian |
5 | 5 | varieties with coefficients in any commutative ring. Supported |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/abvar/homspace.py
a
|
b
|
|
1 | 1 | """ |
2 | | Spaces of homomorphisms between modular abelian varieties. |
| 2 | Spaces of homomorphisms between modular abelian varieties |
3 | 3 | |
4 | 4 | EXAMPLES: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/abvar/morphism.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Morphisms between modular abelian varieties, including Hecke operators acting on modular abelian varieties. |
| 2 | Morphisms between modular abelian varieties, including Hecke operators acting on modular abelian varieties |
3 | 3 | |
4 | 4 | Sage can compute with Hecke operators on modular abelian varieties. |
5 | 5 | A Hecke operator is defined by given a modular abelian variety and |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/abvar/torsion_subgroup.py
a
|
b
|
|
1 | 1 | """ |
2 | | Torsion subgroups of modular abelian varieties. |
| 2 | Torsion subgroups of modular abelian varieties |
3 | 3 | |
4 | 4 | Sage can compute information about the structure of the torsion |
5 | 5 | subgroup of a modular abelian variety. Sage computes a multiple of |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/cusps_nf.py
a
|
b
|
|
1 | 1 | r""" |
2 | | The set `\mathbb{P}^1(K)` of cusps of a number field K. |
| 2 | The set `\mathbb{P}^1(K)` of cusps of a number field K |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/etaproducts.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Eta-products on modular curves :math:`X_0(N)`. |
| 2 | Eta-products on modular curves :math:`X_0(N)` |
3 | 3 | |
4 | 4 | This package provides a class for representing eta-products, which |
5 | 5 | are meromorphic functions on modular curves of the form |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/modform/ambient.py
a
|
b
|
|
1 | 1 | # -*- coding: utf-8 -*- |
2 | 2 | r""" |
3 | | Ambient Spaces of Modular Forms. |
| 3 | Ambient Spaces of Modular Forms |
4 | 4 | |
5 | 5 | EXAMPLES: |
6 | 6 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/modform/ambient_g1.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Modular Forms for `\Gamma_1(N)` and `\Gamma_H(N)` over `\QQ`. |
| 2 | Modular Forms for `\Gamma_1(N)` and `\Gamma_H(N)` over `\QQ` |
3 | 3 | |
4 | 4 | EXAMPLES:: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/modform/element.py
a
|
b
|
|
1 | 1 | # -*- coding: utf-8 -*- |
2 | 2 | """ |
3 | | Elements of modular forms spaces. |
| 3 | Elements of modular forms spaces |
4 | 4 | """ |
5 | 5 | |
6 | 6 | ######################################################################### |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/modform/half_integral.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Compute spaces of half-integral weight modular forms. |
| 2 | Compute spaces of half-integral weight modular forms |
3 | 3 | |
4 | 4 | Based on an algorithm in Basmaji's thesis. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/modsym/ambient.py
a
|
b
|
|
1 | 1 | # -*- coding: utf-8 -*- |
2 | 2 | r""" |
3 | | Ambient spaces of modular symbols. |
| 3 | Ambient spaces of modular symbols |
4 | 4 | |
5 | 5 | This module defines the following classes. There is an abstract base |
6 | 6 | class ``ModularSymbolsAmbient``, derived from |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/modsym/boundary.py
a
|
b
|
|
1 | 1 | # -*- coding: utf-8 -*- |
2 | 2 | r""" |
3 | | Space of boundary modular symbols. |
| 3 | Space of boundary modular symbols |
4 | 4 | |
5 | 5 | Used mainly for computing the cuspidal subspace of modular symbols. The space |
6 | 6 | of boundary symbols of sign 0 is isomorphic as a Hecke module to the dual of |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/modsym/element.py
a
|
b
|
|
1 | 1 | """ |
2 | | A single element of an ambient space of modular symbols. |
| 2 | A single element of an ambient space of modular symbols |
3 | 3 | """ |
4 | 4 | |
5 | 5 | #***************************************************************************** |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/modsym/g1list.py
a
|
b
|
|
1 | 1 | r""" |
2 | | List of coset representatives for `\Gamma_1(N)` in `{\rm SL}_2(\ZZ)`. |
| 2 | List of coset representatives for `\Gamma_1(N)` in `{\rm SL}_2(\ZZ)` |
3 | 3 | """ |
4 | 4 | |
5 | 5 | #***************************************************************************** |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/modsym/ghlist.py
a
|
b
|
|
1 | 1 | r""" |
2 | | List of coset representatives for `\Gamma_H(N)` in `{\rm SL}_2(\ZZ)`. |
| 2 | List of coset representatives for `\Gamma_H(N)` in `{\rm SL}_2(\ZZ)` |
3 | 3 | """ |
4 | 4 | |
5 | 5 | ########################################################################### |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/modsym/p1list.pyx
a
|
b
|
|
1 | 1 | r""" |
2 | | Lists of Manin symbols (elements of `\mathbb{P}^1(\ZZ/N\ZZ)`) over `\QQ`. |
| 2 | Lists of Manin symbols (elements of `\mathbb{P}^1(\ZZ/N\ZZ)`) over `\QQ` |
3 | 3 | """ |
4 | 4 | |
5 | 5 | from sage.misc.search import search |
-
diff -r ce324e28c333 -r cae7699b764a sage/modular/modsym/p1list_nf.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Lists of Manin symbols (elements of `\mathbb{P}^1(R/N)`) over number fields. |
| 2 | Lists of Manin symbols (elements of `\mathbb{P}^1(R/N)`) over number fields |
3 | 3 | |
4 | 4 | Lists of elements of `\mathbb{P}^1(R/N)` where `R` is the ring of integers of a number |
5 | 5 | field `K` and `N` is an integral ideal. |
-
diff -r ce324e28c333 -r cae7699b764a sage/modules/complex_double_vector.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Pickling for the old CDF vector class. |
| 2 | Pickling for the old CDF vector class |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/modules/fg_pid/fgp_element.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Elements of finitely generated modules over a PID. |
| 2 | Elements of finitely generated modules over a PID |
3 | 3 | |
4 | 4 | AUTHOR: |
5 | 5 | - William Stein, 2009 |
-
diff -r ce324e28c333 -r cae7699b764a sage/modules/fg_pid/fgp_module.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Finitely generated modules over a PID. |
| 2 | Finitely generated modules over a PID |
3 | 3 | |
4 | 4 | You can use Sage to compute with finitely generated modules (FGM's) |
5 | 5 | over a principal ideal domain R presented as a quotient V/W, where V |
-
diff -r ce324e28c333 -r cae7699b764a sage/modules/fg_pid/fgp_morphism.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Morphisms between finitely generated modules over a PID. |
| 2 | Morphisms between finitely generated modules over a PID |
3 | 3 | |
4 | 4 | AUTHOR: |
5 | 5 | - William Stein, 2009 |
-
diff -r ce324e28c333 -r cae7699b764a sage/modules/free_module_morphism.py
a
|
b
|
|
1 | 1 | """ |
2 | | Morphisms of free modules. |
| 2 | Morphisms of free modules |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | - William Stein: initial version |
-
diff -r ce324e28c333 -r cae7699b764a sage/modules/matrix_morphism.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Morphisms defined by a matrix. |
| 2 | Morphisms defined by a matrix |
3 | 3 | |
4 | 4 | A matrix morphism is a morphism that is defined by multiplication |
5 | 5 | by a matrix. Elements of domain must either have a method |
-
diff -r ce324e28c333 -r cae7699b764a sage/modules/real_double_vector.py
a
|
b
|
|
1 | 1 | """ |
2 | | Pickling for the old RDF vector class. |
| 2 | Pickling for the old RDF vector class |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/plot/plot3d/examples.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Introduction. |
| 2 | Introduction |
3 | 3 | |
4 | 4 | EXAMPLES:: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/plot/plot3d/platonic.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Platonic Solids. |
| 2 | Platonic Solids |
3 | 3 | |
4 | 4 | EXAMPLES: The five platonic solids in a row; |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/plot/plot3d/plot3d.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Plotting Functions. |
| 2 | Plotting Functions |
3 | 3 | |
4 | 4 | EXAMPLES:: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/quadratic_forms/binary_qf.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Binary Quadratic Forms with Integer Coefficients. |
| 2 | Binary Quadratic Forms with Integer Coefficients |
3 | 3 | |
4 | 4 | This module provides a specialized class for working with a binary quadratic |
5 | 5 | form `a x^2 + b x y + c y^2`, stored as a triple of integers `(a, b, c)`. |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/finite_rings/element_base.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | Base class for finite field elements. |
| 2 | Base class for finite field elements |
3 | 3 | |
4 | 4 | AUTHORS:: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/homset.py
a
|
b
|
|
1 | 1 | """ |
2 | | Space of homomorphisms between two rings. |
| 2 | Space of homomorphisms between two rings |
3 | 3 | """ |
4 | 4 | |
5 | 5 | #***************************************************************************** |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/number_field/number_field_base.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | Base class for all number fields. |
| 2 | Base class for all number fields |
3 | 3 | |
4 | 4 | |
5 | 5 | TESTS:: |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/eisenstein_extension_generic.py
a
|
b
|
|
1 | 1 | """ |
2 | | Eisenstein Extension Generic. |
| 2 | Eisenstein Extension Generic |
3 | 3 | |
4 | 4 | This file implements the shared functionality for Eisenstein extensions. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/factory.py
a
|
b
|
|
1 | 1 | """ |
2 | | Factory. |
| 2 | Factory |
3 | 3 | |
4 | 4 | This file contains the constructor classes and functions for `p`-adic rings and fields. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/generic_nodes.py
a
|
b
|
|
1 | 1 | """ |
2 | | `p`-Adic Generic Nodes. |
| 2 | `p`-Adic Generic Nodes |
3 | 3 | |
4 | 4 | This file contains a bunch of intermediate classes for the `p`-adic |
5 | 5 | parents, allowing a function to be implemented at the right level of |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/local_generic.py
a
|
b
|
|
1 | 1 | """ |
2 | | Local Generic. |
| 2 | Local Generic |
3 | 3 | |
4 | 4 | Superclass for `p`-adic and power series rings. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/local_generic_element.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | Local Generic Element. |
| 2 | Local Generic Element |
3 | 3 | |
4 | 4 | This file contains a common superclass for `p`-adic elements and power |
5 | 5 | series elements. |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/misc.py
a
|
b
|
|
1 | 1 | """ |
2 | | Miscellaneous Functions. |
| 2 | Miscellaneous Functions |
3 | 3 | |
4 | 4 | This file contains some miscellaneous functions used by p-adics. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_ZZ_pX_CA_element.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | `p`-Adic ``ZZ_pX`` CA Element. |
| 2 | `p`-Adic ``ZZ_pX`` CA Element |
3 | 3 | |
4 | 4 | This file implements elements of eisenstein and unramified extensions |
5 | 5 | of ``Zp`` with capped absolute precision. |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_ZZ_pX_CR_element.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | `p`-Adic ``ZZ_pX`` CR Element. |
| 2 | `p`-Adic ``ZZ_pX`` CR Element |
3 | 3 | |
4 | 4 | This file implements elements of Eisenstein and unramified extensions |
5 | 5 | of `\mathbb{Z}_p` and `\mathbb{Q}_p` with capped relative precision. |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_ZZ_pX_FM_element.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | `p`-Adic ``ZZ_pX`` FM Element. |
| 2 | `p`-Adic ``ZZ_pX`` FM Element |
3 | 3 | |
4 | 4 | This file implements elements of Eisenstein and unramified extensions |
5 | 5 | of `\mathbb{Z}_p` with fixed modulus precision. |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_ZZ_pX_element.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | `p`-Adic ``ZZ_pX Element``. |
| 2 | `p`-Adic ``ZZ_pX Element`` |
3 | 3 | |
4 | 4 | A common superclass implementing features shared by all elements that |
5 | 5 | use NTL's ``ZZ_pX`` as the fundamental data type. |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_base_coercion.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | This file contains morphisms implementing coercion between base p-adic rings and fields as well as ZZ and QQ. |
| 2 | This file contains morphisms implementing coercion between base p-adic rings and fields as well as ZZ and QQ |
3 | 3 | |
4 | 4 | AUTHOR: |
5 | 5 | -- David Roe (initial version: 2010-8-25) |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_base_generic.py
a
|
b
|
|
1 | 1 | """ |
2 | | `p`-Adic Base Generic. |
| 2 | `p`-Adic Base Generic |
3 | 3 | |
4 | 4 | A superclass for implementations of `\mathbb{Z}_p` and `\mathbb{Q}_p`. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_base_generic_element.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | `p`-Adic Base Generic Element. |
| 2 | `p`-Adic Base Generic Element |
3 | 3 | |
4 | 4 | A common superclass for features shared among all elements of `\mathbb{Z}_p` and |
5 | 5 | `\mathbb{Q}_p` (regardless of implementation). |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_base_leaves.py
a
|
b
|
|
1 | 1 | """ |
2 | | `p`-Adic Base Leaves. |
| 2 | `p`-Adic Base Leaves |
3 | 3 | |
4 | 4 | Implementations of `\mathbb{Z}_p` and `\mathbb{Q}_p` |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_capped_absolute_element.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | `p`-Adic Capped Absolute Element. |
| 2 | `p`-Adic Capped Absolute Element |
3 | 3 | |
4 | 4 | Elements of `p`-Adic Rings with Absolute Precision Cap |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_capped_relative_element.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | p-Adic Capped Relative Element. |
| 2 | p-Adic Capped Relative Element |
3 | 3 | |
4 | 4 | Elements of p-Adic Rings with Capped Relative Precision |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_ext_element.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | p-Adic Extension Element. |
| 2 | p-Adic Extension Element |
3 | 3 | |
4 | 4 | A common superclass for all elements of extension rings and field of Zp and Qp. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_extension_generic.py
a
|
b
|
|
1 | 1 | """ |
2 | | p-Adic Extension Generic. |
| 2 | p-Adic Extension Generic |
3 | 3 | |
4 | 4 | A common superclass for all extensions of Qp and Zp. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_extension_leaves.py
a
|
b
|
|
1 | 1 | """ |
2 | | p-Adic Extension Leaves. |
| 2 | p-Adic Extension Leaves |
3 | 3 | |
4 | 4 | The final classes for extensions of Zp and Qp (ie classes that are not |
5 | 5 | just designed to be inherited from). |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_fixed_mod_element.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | p-Adic Fixed-Mod Element. |
| 2 | p-Adic Fixed-Mod Element |
3 | 3 | |
4 | 4 | Elements of p-Adic Rings with Fixed Modulus |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_generic.py
a
|
b
|
|
1 | 1 | """ |
2 | | p-Adic Generic. |
| 2 | p-Adic Generic |
3 | 3 | |
4 | 4 | A generic superclass for all p-adic parents. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_generic_element.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | p-Adic Generic Element. |
| 2 | p-Adic Generic Element |
3 | 3 | |
4 | 4 | Elements of p-Adic Rings and Fields |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/padic_printing.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | p-Adic Printing. |
| 2 | p-Adic Printing |
3 | 3 | |
4 | 4 | This file contains code for printing p-adic elements. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/pow_computer.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | PowComputer. |
| 2 | PowComputer |
3 | 3 | |
4 | 4 | A class for computing and caching powers of the same integer. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/pow_computer_ext.pyx
a
|
b
|
|
1 | 1 | """ |
2 | | PowComputer_ext. |
| 2 | PowComputer_ext |
3 | 3 | |
4 | 4 | The classes in this file are designed to be attached to p-adic parents |
5 | 5 | and elements for Cython access to properties of the parent. |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/precision_error.py
a
|
b
|
|
1 | 1 | """ |
2 | | Precision Error. |
| 2 | Precision Error |
3 | 3 | |
4 | 4 | The errors in this file indicate various styles of precision problems |
5 | 5 | that can go wrong for p-adics and power series. |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/padics/unramified_extension_generic.py
a
|
b
|
|
1 | 1 | """ |
2 | | Unramified Extension Generic. |
| 2 | Unramified Extension Generic |
3 | 3 | |
4 | 4 | This file implements the shared functionality for unramified extensions. |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/polynomial/convolution.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Generic Convolution. |
| 2 | Generic Convolution |
3 | 3 | |
4 | 4 | Asymptotically fast convolution of lists over any commutative ring |
5 | 5 | in which the multiply-by-two map is injective. (More precisely, if |
-
diff -r ce324e28c333 -r cae7699b764a sage/rings/rational_field.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Field `\QQ` of Rational Numbers. |
| 2 | Field `\QQ` of Rational Numbers |
3 | 3 | |
4 | 4 | The class ``RationalField`` represents the field |
5 | 5 | `\QQ` of (arbitrary precision) rational numbers. |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/elliptic_curves/ell_generic.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Elliptic curves over a general ring. |
| 2 | Elliptic curves over a general ring |
3 | 3 | |
4 | 4 | Sage defines an elliptic curve over a ring `R` as a 'Weierstrass Model' with |
5 | 5 | five coefficients `[a_1,a_2,a_3,a_4,a_6]` in `R` given by |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/elliptic_curves/ell_torsion.py
a
|
b
|
|
1 | 1 | # -*- coding: utf-8 -*- |
2 | 2 | r""" |
3 | | Torsion subgroups of elliptic curves over number fields (including `\QQ`). |
| 3 | Torsion subgroups of elliptic curves over number fields (including `\QQ`) |
4 | 4 | |
5 | 5 | AUTHORS: |
6 | 6 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/elliptic_curves/ell_wp.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Weierstrass `\wp` function for elliptic curves. |
| 2 | Weierstrass `\wp` function for elliptic curves |
3 | 3 | |
4 | 4 | The Weierstrass `\wp` function associated to an elliptic curve over a field `k` is a Laurent series |
5 | 5 | of the form |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/elliptic_curves/formal_group.py
a
|
b
|
|
1 | 1 | # -*- coding: utf-8 -*- |
2 | 2 | r""" |
3 | | Formal groups of elliptic curves. |
| 3 | Formal groups of elliptic curves |
4 | 4 | |
5 | 5 | AUTHORS: |
6 | 6 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/elliptic_curves/kodaira_symbol.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Kodaira symbols. |
| 2 | Kodaira symbols |
3 | 3 | |
4 | 4 | Kodaira symbols encode the type of reduction of an elliptic curve at a |
5 | 5 | (finite) place. |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/elliptic_curves/modular_parametrization.py
a
|
b
|
|
1 | 1 | # -*- coding: utf-8 -*- |
2 | 2 | r""" |
3 | | Modular parametrization of elliptic curves over `\QQ`. |
| 3 | Modular parametrization of elliptic curves over `\QQ` |
4 | 4 | |
5 | 5 | By the work of Taylor--Wiles et al. it is known that there |
6 | 6 | is a surjective morphism |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/elliptic_curves/monsky_washnitzer.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Computation of Frobenius matrix on Monsky-Washnitzer cohomology. |
| 2 | Computation of Frobenius matrix on Monsky-Washnitzer cohomology |
3 | 3 | |
4 | 4 | The most interesting functions to be exported here are |
5 | 5 | matrix_of_frobenius() and adjusted_prec(). |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/elliptic_curves/period_lattice.py
a
|
b
|
|
1 | 1 | # -*- coding: utf-8 -*- |
2 | 2 | r""" |
3 | | Period lattices of elliptic curves and related functions. |
| 3 | Period lattices of elliptic curves and related functions |
4 | 4 | |
5 | 5 | Let `E` be an elliptic curve defined over a number field `K` |
6 | 6 | (including `\QQ`). We attach a period lattice (a discrete rank 2 |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/generic/affine_space.py
a
|
b
|
|
1 | 1 | """ |
2 | | Affine `n` space over a ring. |
| 2 | Affine `n` space over a ring |
3 | 3 | """ |
4 | 4 | |
5 | 5 | #***************************************************************************** |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/generic/projective_space.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Projective `n` space over a ring. |
| 2 | Projective `n` space over a ring |
3 | 3 | |
4 | 4 | EXAMPLES: We construct projective space over various rings of |
5 | 5 | various dimensions. |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/hyperelliptic_curves/jacobian_g2.py
a
|
b
|
|
1 | 1 | """ |
2 | | Jacobian of a Hyperelliptic curve of Genus 2. |
| 2 | Jacobian of a Hyperelliptic curve of Genus 2 |
3 | 3 | """ |
4 | 4 | |
5 | 5 | #***************************************************************************** |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/hyperelliptic_curves/jacobian_morphism.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Jacobian 'morphism' as a class in the Picard group. |
| 2 | Jacobian 'morphism' as a class in the Picard group |
3 | 3 | |
4 | 4 | This module implements the group operation in the Picard group of a |
5 | 5 | hyperelliptic curve, represented as divisors in Mumford |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/plane_conics/con_field.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Projective plane conics over a field. |
| 2 | Projective plane conics over a field |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/plane_conics/con_finite_field.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Projective plane conics over finite fields. |
| 2 | Projective plane conics over finite fields |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/plane_conics/con_number_field.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Projective plane conics over a number field. |
| 2 | Projective plane conics over a number field |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/plane_conics/con_prime_finite_field.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Projective plane conics over prime finite fields. |
| 2 | Projective plane conics over prime finite fields |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/plane_conics/con_rational_field.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Projective plane conics over `\QQ`. |
| 2 | Projective plane conics over `\QQ` |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/schemes/plane_conics/constructor.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Plane conic constructor. |
| 2 | Plane conic constructor |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/structure/category_object.pyx
a
|
b
|
|
1 | 1 | r""" |
2 | | Base class for objects of a category. |
| 2 | Base class for objects of a category |
3 | 3 | |
4 | 4 | CLASS HIERARCHY: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/structure/parent_gens.pyx
a
|
b
|
|
1 | 1 | r""" |
2 | | Base class for parent objects with generators. |
| 2 | Base class for parent objects with generators |
3 | 3 | |
4 | 4 | .. note:: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/symbolic/relation.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Symbolic Equations and Inequalities. |
| 2 | Symbolic Equations and Inequalities |
3 | 3 | |
4 | 4 | Sage can solve symbolic equations and inequalities. For |
5 | 5 | example, we derive the quadratic formula as follows:: |
-
diff -r ce324e28c333 -r cae7699b764a sage/tensor/coordinate_patch.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Open subset of Euclidian space with coordinates. |
| 2 | Open subset of Euclidian space with coordinates |
3 | 3 | |
4 | 4 | An open subset of Euclidian space with a specific set of coordinates. This |
5 | 5 | is the background on which differential forms can be defined. |
-
diff -r ce324e28c333 -r cae7699b764a sage/tensor/differential_form_element.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Elements of the algebra of differential forms. |
| 2 | Elements of the algebra of differential forms |
3 | 3 | |
4 | 4 | AUTHORS: |
5 | 5 | |
-
diff -r ce324e28c333 -r cae7699b764a sage/tensor/differential_forms.py
a
|
b
|
|
1 | 1 | r""" |
2 | | Algebra of differential forms. |
| 2 | Algebra of differential forms |
3 | 3 | |
4 | 4 | Algebra of differential forms defined on a CoordinatePatch (an open subset of |
5 | 5 | Euclidian space, see ``CoordinatePatch`` for details). |