autotyping --safe for drinfeld modules

Author: vincentmacri

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

@@ -81,7 +81,7 @@ class DrinfeldModuleAction(Action):
         True
     """
 
-    def __init__(self, drinfeld_module):
+    def __init__(self, drinfeld_module) -> None:
         """
         Initialize ``self``.
 

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

@@ -621,7 +621,7 @@ def __classcall_private__(cls, function_ring, gen, name='τ'):
             return DrinfeldModule_charzero(gen, category)
         return cls.__classcall__(cls, gen, category)
 
-    def __init__(self, gen, category):
+    def __init__(self, gen, category) -> None:
         """
         Initialize ``self``.
 
@@ -797,7 +797,7 @@ def _repr_(self) -> str:
         return f'Drinfeld module defined by {self._function_ring.gen()} ' \
                f'|--> {self._gen}'
 
-    def _test_category(self, **options):
+    def _test_category(self, **options) -> None:
         """
         Run generic tests on the method :meth:`.category`.
 
@@ -1270,7 +1270,7 @@ def height(self):
         except NotImplementedError:
             raise NotImplementedError('height not implemented in this case')
 
-    def is_isomorphic(self, other, absolutely=False):
+    def is_isomorphic(self, other, absolutely=False) -> bool:
         r"""
         Return ``True`` if this Drinfeld module is isomorphic to ``other``;
         return ``False`` otherwise.

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

@@ -124,7 +124,7 @@ class DrinfeldModule_finite(DrinfeldModule):
         True
     """
 
-    def __init__(self, gen, category):
+    def __init__(self, gen, category) -> None:
         """
         Initialize ``self``.
 

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

@@ -72,7 +72,7 @@ class DrinfeldModuleMorphismAction(Action):
           To:   Drinfeld module defined by T |--> (2*z^2 + 4*z + 4)*τ^2 + (z^2 + 4*z + 3)*τ + z
           Defn: τ + 2
     """
-    def __init__(self, A, H, is_left, op):
+    def __init__(self, A, H, is_left, op) -> None:
         r"""
         Initialize this action.
 
@@ -241,7 +241,7 @@ class DrinfeldModuleHomset(Homset):
     """
     Element = DrinfeldModuleMorphism
 
-    def __init__(self, X, Y, category=None, check=True):
+    def __init__(self, X, Y, category=None, check=True) -> None:
         """
         Initialize ``self``.
 
@@ -327,7 +327,7 @@ def _repr_(self) -> str:
         return f'Set of Drinfeld module morphisms from (gen) '\
                f'{self.domain().gen()} to (gen) {self.codomain().gen()}'
 
-    def __contains__(self, x):
+    def __contains__(self, x) -> bool:
         r"""
         Return ``True`` if the input defines a morphism in the homset.
 

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

@@ -186,7 +186,7 @@ def __classcall_private__(cls, parent, x):
             raise ValueError('Ore polynomial does not define a morphism')
         return cls.__classcall__(cls, parent, ore_pol)
 
-    def __init__(self, parent, ore_pol):
+    def __init__(self, parent, ore_pol) -> None:
         r"""
         Initialize ``self``.
 
@@ -331,7 +331,7 @@ def is_identity(self):
         """
         return self._ore_polynomial == 1
 
-    def is_isogeny(self):
+    def is_isogeny(self) -> bool:
         r"""
         Return ``True`` whether the morphism is an isogeny.