typing annotation for gens method in rings and groups (pyx files)

Author: fchapoton

src/sage/groups/libgap_wrapper.pyx

@@ -362,7 +362,7 @@ class ParentLibGAP(SageObject):
                 for gap_subgroup in self._libgap.MaximalNormalSubgroups()]
 
     @cached_method
-    def gens(self):
+    def gens(self) -> tuple:
         """
         Return the generators of the group.
 

src/sage/rings/complex_arb.pyx

@@ -492,7 +492,7 @@ class ComplexBallField(UniqueRepresentation, sage.rings.abc.ComplexBallField):
         else:
             raise ValueError("only one generator")
 
-    def gens(self):
+    def gens(self) -> tuple:
         r"""
         Return the tuple of generators of this complex ball field, i.e.
         ``(i,)``.

src/sage/rings/integer_ring.pyx

@@ -1036,7 +1036,7 @@ cdef class IntegerRing_class(CommutativeRing):
         from sage.rings.finite_rings.residue_field import ResidueField
         return ResidueField(p, names = None, check = check)
 
-    def gens(self):
+    def gens(self) -> tuple:
         """
         Return the tuple ``(1,)`` containing a single element, the additive
         generator of the integers, which is 1.

src/sage/rings/polynomial/pbori/pbori.pyx

@@ -528,7 +528,7 @@ cdef class BooleanPolynomialRing(BooleanPolynomialRing_base):
             raise ValueError("generator not defined")
         return new_BP_from_PBVar(self, self._pbring.variable(self.pbind[idx]))
 
-    def gens(self):
+    def gens(self) -> tuple:
         """
         Return the tuple of variables in this ring.
 
@@ -1973,7 +1973,7 @@ class BooleanMonomialMonoid(UniqueRepresentation, Monoid_class):
 
         return new_BM_from_PBVar(self, (<BooleanPolynomialRing>self._ring), newvar)
 
-    def gens(self):
+    def gens(self) -> tuple:
         """
         Return the tuple of generators of this monoid.
 

src/sage/rings/polynomial/symmetric_reduction.pyx

@@ -254,7 +254,7 @@ cdef class SymmetricReductionStrategy:
         return richcmp((left._parent, left._lm, left._tail),
                        (right._parent, right._lm, right._tail), op)
 
-    def gens(self):
+    def gens(self) -> list:
         """
         Return the list of Infinite Polynomials modulo which ``self`` reduces.
 

src/sage/rings/real_arb.pyx

@@ -577,7 +577,7 @@ class RealBallField(UniqueRepresentation, sage.rings.abc.RealBallField):
 
         return super()._repr_option(key)
 
-    def gens(self):
+    def gens(self) -> tuple:
         r"""
         EXAMPLES::
 

src/sage/rings/real_mpfi.pyx

@@ -950,16 +950,16 @@ cdef class RealIntervalField_class(sage.rings.abc.RealIntervalField):
         """
         return 1
 
-    def gens(self):
+    def gens(self) -> tuple:
         """
-        Return a list of generators.
+        Return a tuple of generators.
 
         EXAMPLES::
 
             sage: RIF.gens()
-            [1]
+            (1,)
         """
-        return [self.gen()]
+        return (self.gen(),)
 
     def _is_valid_homomorphism_(self, codomain, im_gens, base_map=None):
         """

src/sage/rings/real_mpfr.pyx

@@ -907,16 +907,16 @@ cdef class RealField_class(sage.rings.abc.RealField):
         """
         return 1
 
-    def gens(self):
+    def gens(self) -> tuple:
         """
-        Return a list of generators.
+        Return a tuple of generators.
 
         EXAMPLES::
 
             sage: RR.gens()
-            [1.00000000000000]
+            (1.00000000000000,)
         """
-        return [self.gen()]
+        return (self.gen(),)
 
     def _is_valid_homomorphism_(self, codomain, im_gens, base_map=None):
         """

src/sage/rings/ring_extension.pyx

@@ -1314,7 +1314,7 @@ cdef class RingExtension_generic(Parent):
         elt = self._backend.an_element()
         return self.element_class(self, elt)
 
-    def gens(self, base=None):
+    def gens(self, base=None) -> tuple:
         r"""
         Return the generators of this extension over ``base``.
 
@@ -2661,7 +2661,7 @@ cdef class RingExtensionWithGen(RingExtensionWithBasis):
         S = PolynomialRing(self._base, name=var)
         return S(coeffs)
 
-    def gens(self, base=None):
+    def gens(self, base=None) -> tuple:
         r"""
         Return the generators of this extension over ``base``.
 

src/sage/rings/semirings/tropical_semiring.pyx

@@ -640,7 +640,7 @@ class TropicalSemiring(Parent, UniqueRepresentation):
 
     multiplicative_identity = one
 
-    def gens(self):
+    def gens(self) -> tuple:
         """
         Return the generators of ``self``.