Some annotations for drinfeld modules

Author: vincentmacri

src/sage/rings/function_field/drinfeld_modules/action.py

@@ -140,7 +140,7 @@ def _act_(self, pol, x):
             raise TypeError('second input must be in the field acted upon')
         return self._drinfeld_module(pol)(x)
 
-    def _latex_(self):
+    def _latex_(self) -> str:
         r"""
         Return a LaTeX representation of the action.
 
@@ -160,7 +160,7 @@ def _latex_(self):
                f'{latex(self._base)}\\text{{{{ }}' \
                f'induced{{ }}by{{ }}}}{latex(self._drinfeld_module)}'
 
-    def _repr_(self):
+    def _repr_(self) -> str:
         r"""
         Return a string representation of the action.
 

src/sage/rings/function_field/drinfeld_modules/drinfeld_module.py

@@ -750,7 +750,7 @@ def _Hom_(self, other, category):
         from sage.rings.function_field.drinfeld_modules.homset import DrinfeldModuleHomset
         return DrinfeldModuleHomset(self, other, category)
 
-    def _latex_(self):
+    def _latex_(self) -> str:
         r"""
         Return a LaTeX representation of the Drinfeld module.
 
@@ -780,7 +780,7 @@ def _latex_(self):
             return f'\\phi: {latex(self._function_ring.gen())} \\mapsto ' \
                    f'{latex(self._gen)}'
 
-    def _repr_(self):
+    def _repr_(self) -> str:
         r"""
         Return a string representation of this Drinfeld module.
 
@@ -824,7 +824,7 @@ def _test_category(self, **options):
         tester.assertTrue(isinstance(self, category.parent_class),
                 _LazyString("category of %s improperly initialized", (self,), {}))
 
-    def __hash__(self):
+    def __hash__(self) -> int:
         r"""
         Return a hash of ``self``.
 

src/sage/rings/function_field/drinfeld_modules/homset.py

@@ -289,7 +289,7 @@ def __init__(self, X, Y, category=None, check=True):
             self.register_coercion(A)
         self._basis = None
 
-    def _latex_(self):
+    def _latex_(self) -> str:
         r"""
         Return a LaTeX representation of the homset.
 
@@ -309,7 +309,7 @@ def _latex_(self):
                f'\\text{{{{ }}to{{ }}(gen){{ }}}}'\
                f'{latex(self.codomain().gen())}'
 
-    def _repr_(self):
+    def _repr_(self) -> str:
         r"""
         Return a string representation of the homset.
 

src/sage/rings/function_field/drinfeld_modules/morphism.py

@@ -217,7 +217,7 @@ def __init__(self, parent, ore_pol):
         self._codomain = parent.codomain()
         self._ore_polynomial = ore_pol
 
-    def _latex_(self):
+    def _latex_(self) -> str:
         r"""
         Return a LaTeX representation of the morphism.
 
@@ -235,7 +235,7 @@ def _latex_(self):
         """
         return f'{latex(self._ore_polynomial)}'
 
-    def _repr_(self):
+    def _repr_(self) -> str:
         r"""
         Return a string representation of the morphism.
 
@@ -265,7 +265,7 @@ def _repr_(self):
                    f'  To:   {self._codomain}\n' \
                    f'  Defn: {self._ore_polynomial}'
 
-    def __hash__(self):
+    def __hash__(self) -> int:
         r"""
         Return a hash of ``self``.