# Ticket #15333: trac_15333_step1.patch

File trac_15333_step1.patch, 6.7 KB (added by chapoton, 6 years ago)
• ## sage/modular/abvar/abvar.py

```# HG changeset patch
# User Frederic Chapoton <chapoton at math.univ-lyon1.fr>
# Date 1382894847 -3600
# Parent  82361723e20ffb9bfa7c48cfe2ac3962296f60e7
trac #15333 remove import of is_* in modules/all.py

diff --git a/sage/modular/abvar/abvar.py b/sage/modular/abvar/abvar.py```
 a from cuspidal_subgroup import C from sage.rings.all             import (ZZ, QQ, QQbar, LCM, divisors, Integer, prime_range) from sage.rings.ring import is_Ring from sage.modules.all           import is_FreeModule from sage.modules.free_module   import is_FreeModule from sage.modular.arithgroup.all import is_CongruenceSubgroup, is_Gamma0, is_Gamma1, is_GammaH from sage.modular.modsym.all    import ModularSymbols from sage.modular.modsym.space  import ModularSymbolsSpace
• ## sage/modular/hecke/ambient_module.py

`diff --git a/sage/modular/hecke/ambient_module.py b/sage/modular/hecke/ambient_module.py`
 a class AmbientHeckeModule(module.HeckeMod Modular Forms subspace of dimension 2 of Modular Forms space of dimension 3 for Congruence Subgroup Gamma0(37) of weight 2 over Rational Field """ if check: if not sage.modules.all.is_FreeModule(M): if not sage.modules.free_module.is_FreeModule(M): V = self.free_module() if isinstance(M, (list,tuple)): M = V.span([V(x.element()) for x in M]) else: M = V.span(M) if not M.is_submodule(self.free_module()): raise TypeError, "M must be a submodule of the free module associated to this module." raise TypeError("M must be a submodule of the free module associated to this module.") if M == self.free_module(): return self return self._submodule_class()(self, M, Mdual, check=check)
• ## sage/modular/hecke/submodule.py

`diff --git a/sage/modular/hecke/submodule.py b/sage/modular/hecke/submodule.py`
 a class HeckeSubmodule(module.HeckeModule_ """ if not isinstance(ambient, ambient_module.AmbientHeckeModule): raise TypeError, "ambient must be an ambient Hecke module" if not sage.modules.all.is_FreeModule(submodule): if not sage.modules.free_module.is_FreeModule(submodule): raise TypeError, "submodule must be a free module" if not submodule.is_submodule(ambient.free_module()): raise ValueError, "submodule must be a submodule of the ambient free module" class HeckeSubmodule(module.HeckeModule_ module.HeckeModule_free_module.__init__(self, ambient.base_ring(), ambient.level(), ambient.weight()) if not (dual_free_module is None): if not sage.modules.all.is_FreeModule(dual_free_module): if not sage.modules.free_module.is_FreeModule(dual_free_module): raise TypeError, "dual_free_module must be a free module" if dual_free_module.rank () != submodule.rank(): raise ArithmeticError, "dual_free_module must have the same rank as submodule" class HeckeSubmodule(module.HeckeModule_ sage: S.submodule(S[0].free_module()) Modular Symbols subspace of dimension 2 of Modular Symbols space of dimension 18 for Gamma_0(18) of weight 4 with sign 0 over Rational Field """ if not sage.modules.all.is_FreeModule(M): if not sage.modules.free_module.is_FreeModule(M): V = self.ambient_module().free_module() if isinstance(M, (list,tuple)): M = V.span([V(x.element()) for x in M]) class HeckeSubmodule(module.HeckeModule_ if self.is_cuspidal(): return self.sturm_bound() else: return self.ambient_hecke_module().hecke_bound() No newline at end of file return self.ambient_hecke_module().hecke_bound()
• ## sage/modular/modsym/boundary.py

`diff --git a/sage/modular/modsym/boundary.py b/sage/modular/modsym/boundary.py`
 a REFERENCES: from   sage.misc.misc import repr_lincomb import sage.modules.free_module as free_module from   sage.modules.all import is_FreeModuleElement from sage.modules.free_module_element import is_FreeModuleElement import sage.modular.arithgroup.all as arithgroup import sage.modular.cusps as cusps
• ## sage/modules/all.py

`diff --git a/sage/modules/all.py b/sage/modules/all.py`
 a #                  http://www.gnu.org/licenses/ #***************************************************************************** from free_module import FreeModule, VectorSpace, span, is_FreeModule from free_module import FreeModule, VectorSpace, span from free_quadratic_module import FreeQuadraticModule, QuadraticSpace, InnerProductSpace, is_FreeQuadraticModule from free_quadratic_module import (FreeQuadraticModule, QuadraticSpace, InnerProductSpace) from free_module_element import is_FreeModuleElement, vector, free_module_element, zero_vector, random_vector from free_module_element import (vector, free_module_element, zero_vector, random_vector) from free_module_homspace import is_FreeModuleHomspace from free_module_morphism import is_FreeModuleMorphism from module import is_Module, is_VectorSpace from module_element import ModuleElement, is_ModuleElement from module_element import ModuleElement import vector_callable_symbolic_dense from vector_space_homspace import is_VectorSpaceHomspace from vector_space_morphism import is_VectorSpaceMorphism, linear_transformation from vector_space_morphism import linear_transformation import vector_symbolic_dense
• ## sage/schemes/elliptic_curves/monsky_washnitzer.py

`diff --git a/sage/schemes/elliptic_curves/monsky_washnitzer.py b/sage/schemes/elliptic_curves/monsky_washnitzer.py`
 a from sage.rings.all import QQ from sage.rings.laurent_series_ring import is_LaurentSeriesRing from sage.rings.integral_domain import is_IntegralDomain from sage.modules.all import FreeModule, is_FreeModuleElement from sage.modules.free_module import FreeModule from sage.modules.free_module_element import is_FreeModuleElement from sage.misc.profiler import Profiler from sage.misc.misc import repr_lincomb