# HG changeset patch
# User Simon King
# Date 1335535211 -7200
# Node ID 22d3e64793e13122fb576a3d888b06bd34c813c4
# Parent d70a2de8ff53f38aabbc295d55fb90e44ef9499d
#12876: Reviewer patch: Some cosmetic changes in the docs
diff --git a/sage/categories/hecke_modules.py b/sage/categories/hecke_modules.py
--- a/sage/categories/hecke_modules.py
+++ b/sage/categories/hecke_modules.py
@@ -100,7 +100,7 @@
The sole purpose of this method is to construct the homset
as a :class:`~sage.modular.hecke.homspace.HeckeModuleHomspace`. If
``category`` is specified and is not a subcategory of
- :class:`HeckeModules`(), a ``TypeError`` is raised instead
+ :class:`HeckeModules`, a ``TypeError`` is raised instead
This method is not meant to be called directly. Please use
:func:`sage.categories.homset.Hom` instead.
@@ -114,10 +114,10 @@
sage: TestSuite(H).run(skip=["_test_zero", "_test_elements"])
- Fixing :meth:'_test_zero' (``__call__`` should accept a
+ Fixing :meth:`_test_zero` (``__call__`` should accept a
function as input) and :meth:`_test_elements` (modular
form morphisms elements should inherit from categories) is
- :trac:'???'.
+ :trac:`???`.
TESTS::
diff --git a/sage/categories/homset.py b/sage/categories/homset.py
--- a/sage/categories/homset.py
+++ b/sage/categories/homset.py
@@ -153,7 +153,7 @@
TypeError: Integer Ring is not in Category of groups
A parent may specify how to construct certain homsets by
- implementing a method :meth:`_Hom_`(codomain, category). This
+ implementing a method ``_Hom_(self, codomain, category)``. This
method should either construct the requested homset or raise a
``TypeError``. This hook is currently mostly used to create
homsets in some specific subclass of :class:`Homset`
@@ -177,7 +177,7 @@
That's to say, the hom set found in the cache will have a (co)domain that is
equal to, but not identic with, the given (co)domain.
- By :trac:`9138`, we abandon the uniqueness of hom sets, if the domain or
+ By :trac:`9138`, we abandon the uniqueness of homsets, if the domain or
codomain break uniqueness::
sage: from sage.rings.polynomial.multi_polynomial_ring import MPolynomialRing_polydict_domain
@@ -230,11 +230,13 @@
sage: Hom(PA,PJ, Rngs())
Set of Morphisms from to in Category of rngs
- TODO: design decision: how much of the homset comes from the
- category of X and Y, and how much from the specific X and Y. In
- particular, do we need several parent classes depending on X and
- Y, or does the difference only lie in the elements (i.e. the
- morphism), and of course how the parent calls their constructors.
+ ..TODO::
+
+ design decision: how much of the homset comes from the
+ category of `X` and `Y`, and how much from the specific `X` and `Y`. In
+ particular, do we need several parent classes depending on `X` and
+ `Y`, or does the difference only lie in the elements (i.e. the
+ morphism), and of course how the parent calls their constructors.
TESTS::
diff --git a/sage/categories/rings.py b/sage/categories/rings.py
--- a/sage/categories/rings.py
+++ b/sage/categories/rings.py
@@ -105,7 +105,7 @@
The sole purpose of this method is to construct the homset
as a :class:`~sage.rings.homset.RingHomset`. If
``category`` is specified and is not a subcategory of
- :class:`Rings`(), a ``TypeError`` is raised instead
+ :class:`Rings`, a ``TypeError`` is raised instead
This method is not meant to be called directly. Please use
:func:`sage.categories.homset.Hom` instead.
@@ -151,7 +151,7 @@
rings also inherits from the base class of
rings. Therefore, we implemented a ``__mul__``
method for parents, that calls a ``_mul_``
- method implemented here. See trac ticket #11068.
+ method implemented here. See :trac:`11068`.
INPUT:
@@ -233,7 +233,7 @@
The code is copied from the base class of rings.
This is since there are rings that do not inherit
from that class, such as matrix algebras. See
- trac ticket #11068.
+ :trac:`11068`.
EXAMPLE::
@@ -269,7 +269,7 @@
:class:`~sage.rings.ring.Ring`. This is
because there are rings that do not inherit
from that class, such as matrix algebras.
- See trac ticket #11068.
+ See :trac:`11068`.
INPUT:
@@ -473,7 +473,7 @@
``MS`` is not an instance of :class:`~sage.rings.ring.Ring`.
But since its category was fully initalised (which is not
- by default, by trac ticket #11900), it is an instance of
+ by default, by :trac:`11900`), it is an instance of
the parent class of the category of rings. The quotient
method is inherited from there::
diff --git a/sage/structure/parent.pyx b/sage/structure/parent.pyx
--- a/sage/structure/parent.pyx
+++ b/sage/structure/parent.pyx
@@ -1515,7 +1515,7 @@
Set of Morphisms from Rational Field to Integer Ring in Category of sets
A parent may specify how to construct certain homsets by
- implementing a method :meth:`_Hom_`(codomain, category).
+ implementing a method ``_Hom_(self, codomain, category)``.
See :func:`~sage.categories.homset.Hom` for details.
"""
from sage.categories.homset import Hom