def _coerce_map_from_(self, other) : """ TESTS:: sage: from psage.modform.fourier_expansion_framework.monoidpowerseries.monoidpowerseries_basicmonoids import * sage: from psage.modform.fourier_expansion_framework.monoidpowerseries.monoidpowerseries_module import * sage: from psage.modform.fourier_expansion_framework.monoidpowerseries.monoidpowerseries_element import * sage: from psage.modform.fourier_expansion_framework.gradedexpansions.gradedexpansion_grading import DegreeGrading sage: from psage.modform.fourier_expansion_framework.gradedexpansions.gradedexpansion_module import * sage: m = FreeModule(QQ, 3) sage: mpsm = MonoidPowerSeriesModule(m, NNMonoid(False)) sage: mps = mpsm.base_ring() sage: ger = GradedExpansionModule_class(Sequence([MonoidPowerSeries(mps, {1: 1}, mps.monoid().filter(4))]), Sequence([MonoidPowerSeries(mpsm, {1: m([1,1,1]), 2: m([1,3,-3])}, mpsm.monoid().filter(4))]), PolynomialRing(QQ, ['a', 'b']).ideal(0), DegreeGrading((1,2))) sage: ger._coerce_map_from_(ZZ) """ if other is self.relations().ring() : from sage.structure.coerce_maps import CallableConvertMap return CallableConvertMap(other, self, self._element_constructor_) if isinstance(other, GradedExpansionSubmodule_abstract) : if other.graded_ambient() is self \ or self.has_coerce_map_from(other.graded_ambient()) : from sage.structure.coerce_maps import CallableConvertMap return CallableConvertMap(other, self, other._graded_expansion_submodule_to_graded_ambient_) return Module._coerce_map_from_(self, other)
def _coerce_map_from_(self, other): """ TESTS:: sage: from psage.modform.fourier_expansion_framework.monoidpowerseries.monoidpowerseries_basicmonoids import * sage: from psage.modform.fourier_expansion_framework.monoidpowerseries.monoidpowerseries_module import * sage: from psage.modform.fourier_expansion_framework.monoidpowerseries.monoidpowerseries_element import * sage: from psage.modform.fourier_expansion_framework.gradedexpansions.gradedexpansion_grading import DegreeGrading sage: from psage.modform.fourier_expansion_framework.gradedexpansions.gradedexpansion_module import * sage: m = FreeModule(QQ, 3) sage: mpsm = MonoidPowerSeriesModule(m, NNMonoid(False)) sage: mps = mpsm.base_ring() sage: ger = GradedExpansionModule_class(Sequence([MonoidPowerSeries(mps, {1: 1}, mps.monoid().filter(4))]), Sequence([MonoidPowerSeries(mpsm, {1: m([1,1,1]), 2: m([1,3,-3])}, mpsm.monoid().filter(4))]), PolynomialRing(QQ, ['a', 'b']).ideal(0), DegreeGrading((1,2))) sage: ger._coerce_map_from_(ZZ) """ if other is self.relations().ring(): from sage.structure.coerce_maps import CallableConvertMap return CallableConvertMap(other, self, self._element_constructor_) if isinstance(other, GradedExpansionSubmodule_abstract): if other.graded_ambient() is self \ or self.has_coerce_map_from(other.graded_ambient()) : from sage.structure.coerce_maps import CallableConvertMap return CallableConvertMap( other, self, other._graded_expansion_submodule_to_graded_ambient_) return Module._coerce_map_from_(self, other)