def __init__(self, parent, precision, coefficient_function, components, bounding_precision ) : r""" INPUT: - ``parent`` -- An instance of :class:~`fourier_expansion_framework.monoidpowerseries.monoidpowerseries_ambient.MonoidPowerSeriesAmbient_abstract`. - ``precision`` -- A filter for the parent's action. - ``coefficient_function`` -- A function returning for each pair of characters and monoid element a Fourier coefficients. - ``components`` -- ``None`` or a list of characters. A list of components that do not vanish. If ``None`` no component is assumed to be zero. TESTS:: sage: from psage.modform.fourier_expansion_framework.monoidpowerseries.monoidpowerseries_lazyelement import * sage: from psage.modform.fourier_expansion_framework.monoidpowerseries.monoidpowerseries_module import * sage: from psage.modform.fourier_expansion_framework.monoidpowerseries.monoidpowerseries_basicmonoids import * sage: m = FreeModule(QQ, 3) sage: emps = EquivariantMonoidPowerSeriesModule( NNMonoid(), TrivialCharacterMonoid("1", QQ), TrivialRepresentation("1", m) ) sage: h = EquivariantMonoidPowerSeries_moduleelement_lazy(emps, emps.action().filter(3), lambda (ch, k) : m([1,2,3]), None, None) """ ModuleElement.__init__(self, parent) EquivariantMonoidPowerSeries_abstract_lazy.__init__(self, parent, precision, coefficient_function, components, bounding_precision)
def __init__(self, parent, polynomial) : """ INPUT: - ``parent`` -- An instance of :class:~`fourier_expansion_framework.gradedexpansions.gradedexpansion_module.GradedExpansionModule_class`. - ``polynomial`` -- A polynomial in the polynomial ring underlying the parent. 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: from psage.modform.fourier_expansion_framework.gradedexpansions.gradedexpansion_element import * sage: m = FreeModule(QQ, 3) sage: mpsm = MonoidPowerSeriesModule(m, NNMonoid(False)) sage: mps = mpsm.base_ring() sage: P.<a,b> = QQ[] 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))]), P.ideal(0), DegreeGrading((1,2))) sage: h = GradedExpansionVector_class(ger, a) """ ModuleElement.__init__(self, parent) GradedExpansion_abstract.__init__(self, parent, polynomial)
def __init__(self, parent, precision, coefficient_function, components, bounding_precision): r""" INPUT: - ``parent`` -- An instance of :class:~`fourier_expansion_framework.monoidpowerseries.monoidpowerseries_ambient.MonoidPowerSeriesAmbient_abstract`. - ``precision`` -- A filter for the parent's action. - ``coefficient_function`` -- A function returning for each pair of characters and monoid element a Fourier coefficients. - ``components`` -- ``None`` or a list of characters. A list of components that do not vanish. If ``None`` no component is assumed to be zero. TESTS:: sage: from psage.modform.fourier_expansion_framework.monoidpowerseries.monoidpowerseries_lazyelement import * sage: from psage.modform.fourier_expansion_framework.monoidpowerseries.monoidpowerseries_module import * sage: from psage.modform.fourier_expansion_framework.monoidpowerseries.monoidpowerseries_basicmonoids import * sage: m = FreeModule(QQ, 3) sage: emps = EquivariantMonoidPowerSeriesModule( NNMonoid(), TrivialCharacterMonoid("1", QQ), TrivialRepresentation("1", m) ) sage: h = EquivariantMonoidPowerSeries_moduleelement_lazy(emps, emps.action().filter(3), lambda (ch, k) : m([1,2,3]), None, None) """ ModuleElement.__init__(self, parent) EquivariantMonoidPowerSeries_abstract_lazy.__init__( self, parent, precision, coefficient_function, components, bounding_precision)