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)
