Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
rst fixes in modular
Browse files Browse the repository at this point in the history
  • Loading branch information
fchapoton committed Jul 13, 2022
1 parent 625ac58 commit dc5ac64
Show file tree
Hide file tree
Showing 5 changed files with 21 additions and 22 deletions.
4 changes: 2 additions & 2 deletions src/sage/modular/hecke/module.py
Original file line number Diff line number Diff line change
Expand Up @@ -627,8 +627,8 @@ def _eigen_nonzero_element(self, n=1):

def _hecke_image_of_ith_basis_vector(self, n, i):
r"""
Return `T_n(e_i)`, where `e_i` is the
`i`th basis vector of the ambient space.
Return `T_n(e_i)`, where `e_i` is the `i`-th basis vector
of the ambient space.
EXAMPLES::
Expand Down
8 changes: 2 additions & 6 deletions src/sage/modular/overconvergent/genus0.py
Original file line number Diff line number Diff line change
Expand Up @@ -160,18 +160,14 @@
3^9 + 2*3^12 + 3^15 + 3^17 + 3^18 + 3^19 + 3^20 + 2*3^22 + 2*3^23 + 2*3^27 + 2*3^28 + 3^32 + 3^33 + 2*3^34 + 3^38 + 2*3^39 + 3^40 + 2*3^41 + 3^44 + 3^45 + 3^46 + 2*3^47 + 2*3^48 + 3^49 + 3^50 + 2*3^51 + 2*3^52 + 3^53 + 2*3^54 + 3^55 + 3^56 + 3^57 + 2*3^58 + 2*3^59 + 3^60 + 2*3^61 + 2*3^63 + 2*3^64 + 3^65 + 2*3^67 + 3^68 + 2*3^69 + 2*3^71 + 3^72 + 2*3^74 + 3^75 + 3^76 + 3^79 + 3^80 + 2*3^83 + 2*3^84 + 3^85 + 2*3^87 + 3^88 + 2*3^89 + 2*3^90 + 2*3^91 + 3^92 + O(3^98)
sage: efuncs[3].slope()
9
-----------
"""

#*****************************************************************************
# ****************************************************************************
# Copyright (C) 2008 William Stein <[email protected]>
# 2008-9 David Loeffler <[email protected]>
#
# Distributed under the terms of the GNU General Public License (GPL)
# https://www.gnu.org/licenses/
#*****************************************************************************

# ****************************************************************************
from sage.matrix.all import matrix, MatrixSpace, diagonal_matrix
from sage.misc.verbose import verbose
from sage.misc.cachefunc import cached_method
Expand Down
14 changes: 7 additions & 7 deletions src/sage/modular/overconvergent/hecke_series.py
Original file line number Diff line number Diff line change
Expand Up @@ -286,26 +286,27 @@ def random_solution(B,K):

return a


# AUXILIARY CODE: ECHELON FORM

def ech_form(A,p):
def ech_form(A, p):
r"""
Returns echelon form of matrix ``A`` over the ring of integers modulo
Return echelon form of matrix ``A`` over the ring of integers modulo
`p^m`, for some prime `p` and `m \ge 1`.
.. todo::
.. TODO::
This should be moved to :mod:`sage.matrix.matrix_modn_dense` at some
point.
INPUT:
- ``A`` -- matrix over ``Zmod(p^m)`` for some m.
- ``p`` - prime p.
- ``A`` -- matrix over ``Zmod(p^m)`` for some m
- ``p`` - prime p
OUTPUT:
- matrix over ``Zmod(p^m)``.
matrix over ``Zmod(p^m)``
EXAMPLES::
Expand All @@ -316,7 +317,6 @@ def ech_form(A,p):
[0 1 2]
[0 0 0]
"""

S = A[0, 0].parent()
a = A.nrows()
b = A.ncols()
Expand Down
6 changes: 4 additions & 2 deletions src/sage/modular/pollack_stevens/sigma0.py
Original file line number Diff line number Diff line change
Expand Up @@ -296,7 +296,9 @@ def matrix(self):

def inverse(self):
r"""
Return the inverse of self. This will raise an error if the result is not in the monoid.
Return the inverse of ``self``.
This will raise an error if the result is not in the monoid.
EXAMPLES::
Expand All @@ -310,7 +312,7 @@ def inverse(self):
...
TypeError: no conversion of this rational to integer
.. todo::
.. TODO::
In an ideal world this would silently extend scalars to `\QQ` if
the inverse has non-integer entries but is still in `\Sigma_0(N)`
Expand Down
11 changes: 6 additions & 5 deletions src/sage/modular/pollack_stevens/space.py
Original file line number Diff line number Diff line change
Expand Up @@ -658,15 +658,16 @@ def _an_element_(self):
OUTPUT:
An element of the modular symbol space.
an element of the modular symbol space
Returns a "typical" element of this space; in this case the constant
map sending every element to an element of the coefficient module.
This returns a "typical" element of this space; in this case
the constant map sending every element to an element of the
coefficient module.
.. WARNING::
This is not really an element of the space because it does not satisfy
the Manin relations.
This is not really an element of the space because it does
not satisfy the Manin relations.
EXAMPLES::
Expand Down

0 comments on commit dc5ac64

Please sign in to comment.