def __init__(self, k, p=None, prec_cap=None, base=None, \ character=None, adjuster=None, act_on_left=False, \ dettwist=None, action_class = WeightKAction_OMS): #self._prec_cap = prec_cap self._p = base.prime() self._prec_cap = base.precision_cap() CoefficientModule_generic.__init__(self, k, base=base, \ character=character, adjuster=adjuster, act_on_left=act_on_left, \ dettwist=dettwist, action_class=action_class, \ element_class=CoeffMod_OMS_element, padic=True)
def __init__(self, k, p=None, prec_cap=[20, 10], base=None, base_coeffs=None, \ character=None, adjuster=None, act_on_left=False, \ dettwist=None, action_class = WeightKAction_OMS_fam, \ variable_name = 'w'): #self._prec_cap = prec_cap if base is None: if base_coeffs is None: base_coeffs = Zp(p, prec = prec_cap[0]) elif not isinstance(base_coeffs, ring.Ring): raise TypeError("base_coeffs must be a ring if base is None") base = PowerSeriesRing(base_coeffs, name=variable_name) #elif not isinstance(base, ring.Ring): # raise TypeError("base must be a ring") self._p = base.base_ring().prime() #self._prec_cap = [base.base_ring().precision_cap(), base.default_prec()] self._prec_cap = tuple(prec_cap) k = k % (self._p - 1) #self._cp = (self._p-2) / (self._p-1) CoefficientModule_generic.__init__(self, k, base=base, \ character=character, adjuster=adjuster, act_on_left=act_on_left, \ dettwist=dettwist, action_class=action_class, \ element_class=CoeffMod_OMS_Families_element, padic=True)