passagemath-schemes 10.5.44__cp313-cp313-musllinux_1_2_aarch64.whl → 10.6.42__cp313-cp313-musllinux_1_2_aarch64.whl

sage/modular/hecke/algebra.py

@@ -519,10 +519,12 @@ class HeckeAlgebra_base(CachedRepresentation, Parent):
                 trace_matrix[i, j] = trace_matrix[j, i] = basis[i].matrix().trace_of_product(basis[j].matrix())
         return trace_matrix.det()
 
-    def gens(self):
+    def gens(self) -> Iterator:
         r"""
-        Return a generator over all Hecke operator `T_n` for
-        `n = 1, 2, 3, \ldots`. This is infinite.
+        Return a generator over all Hecke operator `T_n`
+        for `n = 1, 2, 3, \ldots`.
+
+        This is infinite.
 
         EXAMPLES::
 
@@ -627,9 +629,9 @@ class HeckeAlgebra_full(HeckeAlgebra_base):
             return NotImplemented
         return richcmp(self.module(), other.module(), op)
 
-    def is_anemic(self):
+    def is_anemic(self) -> bool:
         """
-        Return False, since this the full Hecke algebra.
+        Return ``False``, since this the full Hecke algebra.
 
         EXAMPLES::
 

sage/modular/hecke/ambient_module.py

@@ -659,7 +659,7 @@ class AmbientHeckeModule(module.HeckeModule_free_module):
         AmbientHeckeModule.new_submodule(self, p)
         return self.__is_new[p]
 
-    def is_old(self, p=None):
+    def is_old(self, p=None) -> bool:
         r"""
         Return ``True`` if this module is entirely old.
 
@@ -678,7 +678,7 @@ class AmbientHeckeModule(module.HeckeModule_free_module):
         self.old_submodule(p)
         return self.__is_old[p]
 
-    def is_submodule(self, V):
+    def is_submodule(self, V) -> bool:
         """
         Return ``True`` if and only if ``self`` is a submodule of ``V``.
 

sage/modular/hecke/element.py

@@ -25,8 +25,13 @@ AUTHORS:
 #                  https://www.gnu.org/licenses/
 # ****************************************************************************
 
-from sage.structure.richcmp import richcmp, op_NE
+try:
+    from typing import Self  # type: ignore (Python >= 3.11)
+except ImportError:
+    from typing_extensions import Self  # type: ignore (Python 3.10)
+
 from sage.structure.element import ModuleElement
+from sage.structure.richcmp import op_NE, richcmp
 
 
 def is_HeckeModuleElement(x):
@@ -210,7 +215,7 @@ class HeckeModuleElement(ModuleElement):
         """
         return self.parent()(-self.element())
 
-    def _pos_(self):
+    def _pos_(self) -> Self:
         """
         EXAMPLES::
 

sage/modular/hecke/module.py

@@ -321,7 +321,7 @@ class HeckeModule_generic(Module):
             sage: sage.modular.hecke.module.HeckeModule_generic(QQ, 10).character() is None
             True
         """
-        return None
+        return
 
     def dimension(self):
         r"""
@@ -357,7 +357,7 @@ class HeckeModule_generic(Module):
         """
         return algebra.HeckeAlgebra(self)
 
-    def is_zero(self):
+    def is_zero(self) -> bool:
         """
         Return ``True`` if this Hecke module has dimension 0.
 
@@ -374,7 +374,7 @@ class HeckeModule_generic(Module):
         """
         return self.dimension() == 0
 
-    def is_full_hecke_module(self):
+    def is_full_hecke_module(self) -> bool:
         """
         Return ``True`` if this space is invariant under all Hecke operators.
 
@@ -405,7 +405,7 @@ class HeckeModule_generic(Module):
         self._is_full_hecke_module = True
         return True
 
-    def is_hecke_invariant(self, n):
+    def is_hecke_invariant(self, n) -> bool:
         """
         Return ``True`` if ``self`` is invariant under the Hecke operator `T_n`.
 
@@ -1342,7 +1342,7 @@ class HeckeModule_free_module(HeckeModule_generic):
         except AttributeError:
             return -1
 
-    def gens(self):
+    def gens(self) -> tuple:
         """
         Return a tuple of basis elements of ``self``.
 
@@ -1483,7 +1483,7 @@ class HeckeModule_free_module(HeckeModule_generic):
         """
         return self.hecke_operator(n).charpoly(var)
 
-    def is_simple(self):
+    def is_simple(self) -> bool:
         r"""
         Return ``True`` if this space is simple as a module for the
         corresponding Hecke algebra.
@@ -1500,7 +1500,7 @@ class HeckeModule_free_module(HeckeModule_generic):
         """
         raise NotImplementedError
 
-    def is_splittable(self):
+    def is_splittable(self) -> bool:
         """
         Return ``True`` if and only if only it is possible to split
         off a nontrivial generalized eigenspace of ``self`` as the
@@ -1521,7 +1521,7 @@ class HeckeModule_free_module(HeckeModule_generic):
             self.decomposition(anemic=False)
         return self.__is_splittable
 
-    def is_submodule(self, other):
+    def is_submodule(self, other) -> bool:
         r"""
         Return ``True`` if ``self`` is a submodule of ``other``.
 
@@ -1540,7 +1540,7 @@ class HeckeModule_free_module(HeckeModule_generic):
         return (self.ambient_free_module() == other.ambient_free_module() and
                 self.free_module().is_submodule(other.free_module()))
 
-    def is_splittable_anemic(self):
+    def is_splittable_anemic(self) -> bool:
         """
         Return ``True`` if and only if only it is possible to split off a
         nontrivial generalized eigenspace of ``self`` as the kernel of some

sage/modular/hecke/submodule.py

@@ -388,8 +388,7 @@ class HeckeSubmodule(module.HeckeModule_free_module):
                 break
 
         if V.rank() + self.rank() == A.rank():
-            C = A.submodule(V, check=False)
-            return C
+            return A.submodule(V, check=False)
 
         # first attempt to compute the complement failed, we now try
         # the following naive approach: decompose the ambient space,
@@ -524,8 +523,7 @@ class HeckeSubmodule(module.HeckeModule_free_module):
         if self.complement.is_in_cache():
             verbose('This module knows its complement already -- cheating in dual_free_module')
             C = self.complement()
-            V = C.basis_matrix().right_kernel()
-            return V
+            return C.basis_matrix().right_kernel()
 
         verbose("computing dual")
 
@@ -677,7 +675,7 @@ class HeckeSubmodule(module.HeckeModule_free_module):
 
         return M
 
-    def is_ambient(self):
+    def is_ambient(self) -> bool:
         r"""
         Return ``True`` if ``self`` is an ambient space of modular symbols.
 
@@ -693,7 +691,7 @@ class HeckeSubmodule(module.HeckeModule_free_module):
         """
         return self.free_module() == self.ambient_hecke_module().free_module()
 
-    def is_new(self, p=None):
+    def is_new(self, p=None) -> bool:
         """
         Return ``True`` if this Hecke module is `p`-new. If `p` is None,
         returns ``True`` if it is new.
@@ -715,7 +713,7 @@ class HeckeSubmodule(module.HeckeModule_free_module):
         self.__is_new[p] = self.is_submodule(N)
         return self.__is_new[p]
 
-    def is_old(self, p=None):
+    def is_old(self, p=None) -> bool:
         """
         Return ``True`` if this Hecke module is `p`-old. If `p` is ``None``,
         returns ``True`` if it is old.
@@ -740,7 +738,7 @@ class HeckeSubmodule(module.HeckeModule_free_module):
         self.__is_old[p] = self.is_submodule(O)
         return self.__is_old[p]
 
-    def is_submodule(self, V):
+    def is_submodule(self, V) -> bool:
         """
         Return ``True`` if and only if ``self`` is a submodule of V.
 

sage/modular/hypergeometric_misc.pyx

@@ -1,7 +1,8 @@
 # sage_setup: distribution = sagemath-schemes
 """
-Some utility routines for the hypergeometric motives package that benefit
-significantly from Cythonization.
+Utility routines for hypergeometric motives
+
+These are functions that benefit significantly from Cythonization.
 """
 from cpython cimport array
 from cysignals.signals cimport sig_check

sage/modular/hypergeometric_motive.py

@@ -1164,7 +1164,7 @@ class HypergeometricData:
             2-d lattice polytope in 2-d lattice M
             sage: P.polyhedron().f_vector()
             (1, 4, 4, 1)
-            sage: len(P.points())
+            sage: len(P.points())                                                       # needs palp
             7
 
         The Chebyshev example from [RV2019]_::
@@ -1172,7 +1172,7 @@ class HypergeometricData:
             sage: H = Hyp(gamma_list=[-30, -1, 6, 10, 15])
             sage: P = H.lattice_polytope(); P
             3-d lattice polytope in 3-d lattice M
-            sage: len(P.points())
+            sage: len(P.points())                                                       # needs palp
             19
             sage: P.polyhedron().f_vector()
             (1, 5, 9, 6, 1)

sage/modular/local_comp/local_comp.py

@@ -21,22 +21,31 @@ AUTHORS:
 - Jared Weinstein
 """
 
-from sage.structure.sage_object import SageObject
-from sage.rings.integer_ring import ZZ
-from sage.rings.polynomial.polynomial_ring import polygen
-from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
+try:
+    from typing import Self  # type: ignore (Python >= 3.11)
+except ImportError:
+    from typing_extensions import Self  # type: ignore (Python 3.10)
+
 from sage.misc.abstract_method import abstract_method
 from sage.misc.cachefunc import cached_method
+from sage.misc.flatten import flatten
 from sage.misc.lazy_import import lazy_import
 from sage.misc.verbose import verbose
-from sage.misc.flatten import flatten
 from sage.modular.modform.element import Newform
+from sage.rings.integer_ring import ZZ
+from sage.rings.polynomial.polynomial_ring import polygen
+from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
+from sage.structure.sage_object import SageObject
 from sage.structure.sequence import Sequence
 
 lazy_import('sage.rings.qqbar', 'QQbar')
 
+from .smoothchar import (
+    SmoothCharacterGroupQp,
+    SmoothCharacterGroupRamifiedQuadratic,
+    SmoothCharacterGroupUnramifiedQuadratic,
+)
 from .type_space import TypeSpace
-from .smoothchar import SmoothCharacterGroupQp, SmoothCharacterGroupUnramifiedQuadratic, SmoothCharacterGroupRamifiedQuadratic
 
 
 def LocalComponent(f, p, twist_factor=None):
@@ -321,7 +330,7 @@ class PrimitiveLocalComponent(LocalComponentBase):
     Base class for primitive (twist-minimal) local components.
     """
 
-    def is_primitive(self):
+    def is_primitive(self) -> bool:
         r"""
         Return ``True`` if this local component is primitive (has minimal level
         among its character twists).
@@ -333,7 +342,7 @@ class PrimitiveLocalComponent(LocalComponentBase):
         """
         return True
 
-    def minimal_twist(self):
+    def minimal_twist(self) -> Self:
         r"""
         Return a twist of this local component which has the minimal possible
         conductor.
@@ -801,8 +810,7 @@ class PrimitiveSupercuspidal(PrimitiveLocalComponent):
                             verbose("  chisB FAILED", level=1)
                             B_fail = 1
                             break
-                        else:
-                            verbose("  Trace identity check works for both", level=1)
+                        verbose("  Trace identity check works for both", level=1)
 
                 if B_fail and not A_fail:
                     chi1, chi2 = chisA
@@ -965,7 +973,7 @@ class ImprimitiveLocalComponent(LocalComponentBase):
         self._min_twist = min_twist
         self._chi = chi
 
-    def is_primitive(self):
+    def is_primitive(self) -> bool:
         r"""
         Return ``True`` if this local component is primitive (has minimal level
         among its character twists).

sage/modular/local_comp/type_space.py

@@ -320,19 +320,20 @@ class TypeSpace(SageObject):
         # time-critical, and getting it wrong can lead to subtle bugs.
         p = self.prime()
         r = self.conductor()
-        d = max(self.character_conductor(), r//2)
+        d = max(self.character_conductor(), r // 2)
         n = self.tame_level()
         chi = self.form().character()
         tame_H = [i for i in chi.kernel() if (i % p**r) == 1]
         wild_H = [crt(x, 1, p**r, n) for x in range(p**r) if x % (p**d) == 1]
         return GammaH(n * p**r, tame_H + wild_H)
 
-    ###############################################################################
-    # Testing minimality: is this form a twist of a form of strictly smaller level?
-    ###############################################################################
+    ##########################################################################
+    # Testing minimality:
+    # is this form a twist of a form of strictly smaller level?
+    ##########################################################################
 
     @cached_method
-    def is_minimal(self):
+    def is_minimal(self) -> bool:
         r"""
         Return ``True`` if there exists a newform `g` of level strictly smaller
         than `N`, and a Dirichlet character `\chi` of `p`-power conductor, such
@@ -471,13 +472,14 @@ class TypeSpace(SageObject):
         g3 = [f * g2[0], g2[1], f**2 * g2[2], f*g2[3]]
         A = self.t_space.ambient()
         mm = A._action_on_modular_symbols(g3).restrict(self.t_space.free_module()).transpose()
-        m = mm / ZZ(f**(self.form().weight()-2))
-        return m
+        return mm / ZZ(f**(self.form().weight() - 2))
 
     def _rho_unramified(self, g):
         r"""
         Calculate the action of ``g`` on the type space, in the unramified (even
-        level) case. Uses the two standard generators, and a solution of the
+        level) case.
+
+        This uses the two standard generators, and a solution of the
         word problem in `\SL_2(\ZZ / p^u \ZZ)`.
 
         INPUT:

sage/modular/modform/ambient.py

@@ -178,8 +178,9 @@ class ModularFormsAmbient(space.ModularFormsSpace,
              1 + q^3 + q^4 + 2*q^5 + O(q^6)]
         """
         from . import constructor
-        M = constructor.ModularForms(self.group(), self.weight(), base_ring, prec=self.prec(), eis_only=self._eis_only)
-        return M
+        return constructor.ModularForms(self.group(), self.weight(),
+                                        base_ring, prec=self.prec(),
+                                        eis_only=self._eis_only)
 
     @cached_method
     def dimension(self):
@@ -277,7 +278,7 @@ class ModularFormsAmbient(space.ModularFormsSpace,
         """
         return self
 
-    def is_ambient(self):
+    def is_ambient(self) -> bool:
         """
         Return ``True`` if this an ambient space of modular forms.
 

sage/modular/modform/cuspidal_submodule.py

@@ -99,7 +99,7 @@ class CuspidalSubmodule(ModularFormsSubmodule):
         """
         raise NotImplementedError('q-expansion basis not implemented for "%s"' % self)
 
-    def _repr_(self):
+    def _repr_(self) -> str:
         """
         Return the string representation of ``self``.
 
@@ -110,7 +110,7 @@ class CuspidalSubmodule(ModularFormsSubmodule):
         """
         return "Cuspidal subspace of dimension %s of %s" % (self.dimension(), self.ambient_module())
 
-    def is_cuspidal(self):
+    def is_cuspidal(self) -> bool:
         """
         Return ``True`` since spaces of cusp forms are cuspidal.