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

Commit

Permalink
trac 34168: more markup fixes for categories
Browse files Browse the repository at this point in the history
  • Loading branch information
jhpalmieri committed Jul 13, 2022
1 parent be5851f commit 80d7f8f
Show file tree
Hide file tree
Showing 5 changed files with 8 additions and 8 deletions.
2 changes: 1 addition & 1 deletion src/sage/categories/fields.py
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,7 @@ def __contains__(self, x):
This implementation will not be needed anymore once every
field in Sage will be properly declared in the category
:class:`Fields`.
:class:`Fields() <Fields>`.
Caveat: this should eventually be fixed::
Expand Down
4 changes: 2 additions & 2 deletions src/sage/categories/hecke_modules.py
Original file line number Diff line number Diff line change
Expand Up @@ -109,7 +109,8 @@ def _Hom_(self, Y, category):
INPUT:
- ``Y`` -- an Hecke module
- ``category`` -- a subcategory of :class:`HeckeModules` or None
- ``category`` -- a subcategory of :class:`HeckeModules()
<HeckeModules>` or ``None``
The sole purpose of this method is to construct the homset
as a :class:`~sage.modular.hecke.homspace.HeckeModuleHomspace`. If
Expand Down Expand Up @@ -143,7 +144,6 @@ def _Hom_(self, Y, category):
Traceback (most recent call last):
...
TypeError: Category of Hecke modules over Finite Field of size 5 is not a subcategory of Category of Hecke modules over Rational Field
"""
# TODO: double check that it's the correct HeckeModules category below:
if category is not None and not category.is_subcategory(HeckeModules(self.base_ring())):
Expand Down
2 changes: 1 addition & 1 deletion src/sage/categories/integral_domains.py
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,7 @@ def __contains__(self, x):
This implementation will not be needed anymore once every
field in Sage will be properly declared in the category
:class:`IntegralDomains`.
:class:`IntegralDomains() <IntegralDomains>`.
"""
try:
return self._contains_helper(x) or x.is_integral_domain()
Expand Down
6 changes: 3 additions & 3 deletions src/sage/categories/rings.py
Original file line number Diff line number Diff line change
Expand Up @@ -386,12 +386,13 @@ def _Hom_(self, Y, category):
INPUT:
- ``Y`` -- a ring
- ``category`` -- a subcategory of :class:`Rings` or None
- ``category`` -- a subcategory of :class:`Rings()
<Rings>` or ``None``
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() <Rings>`, a ``TypeError`` is raised instead
This method is not meant to be called directly. Please use
:func:`sage.categories.homset.Hom` instead.
Expand All @@ -412,7 +413,6 @@ def _Hom_(self, Y, category):
<class 'sage.rings.number_field.homset.CyclotomicFieldHomset_with_category'>
sage: TestSuite(Hom(QQ, QQ, category = Rings())).run() # indirect doctest
"""
if category is not None and not category.is_subcategory(Rings()):
raise TypeError("%s is not a subcategory of Rings()"%category)
Expand Down
2 changes: 1 addition & 1 deletion src/sage/categories/unique_factorization_domains.py
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,7 @@ def __contains__(self, x):
This implementation will not be needed anymore once every
field in Sage will be properly declared in the category
:class:`UniqueFactorizationDomains`.
:class:`UniqueFactorizationDomains() <UniqueFactorizationDomains>`.
"""
try:
return self._contains_helper(x) or x.is_unique_factorization_domain()
Expand Down

0 comments on commit 80d7f8f

Please sign in to comment.