@@ -1913,16 +1913,14 @@ def integrate(self, f, center=1, level=0, method='moments'):
1913
1913
if method == 'riemann_sum' :
1914
1914
for e in E :
1915
1915
ii += 1
1916
- #print(ii,"/",len(E))
1917
1916
exp = ((R1 ([e [1 , 1 ], e [1 , 0 ]])) ** (self .parent ()._U .weight ()) * e .determinant () ** (- (self .parent ()._U .weight ()) / 2 )) * f (R1 ([e [0 , 1 ], e [0 , 0 ]]) / R1 ([e [1 , 1 ], e [1 , 0 ]]))
1918
- #exp = R2([tmp[jj] for jj in range(self.parent()._k-1)])
1917
+ # exp = R2([tmp[jj] for jj in range(self.parent()._k-1)])
1919
1918
new = eval_dist_at_powseries (self .evaluate (e ), exp .truncate (self .parent ()._U .weight () + 1 ))
1920
1919
value += new
1921
1920
elif method == 'moments' :
1922
1921
n = self .parent ()._U .weight ()
1923
1922
for e in E :
1924
1923
ii += 1
1925
- #print(ii,"/",len(E))
1926
1924
a , b , c , d = e .list ()
1927
1925
delta = e .determinant ()
1928
1926
verbose ('%s' % (R2 ([e [0 , 1 ], e [0 , 0 ]])
@@ -2272,7 +2270,7 @@ def __init__(self, domain, U, prec=None, t=None, R=None,
2272
2270
self ._R = Qp (domain ._p , prec )
2273
2271
else :
2274
2272
self ._R = R
2275
- #U is a CoefficientModuleSpace
2273
+ # U is a CoefficientModuleSpace
2276
2274
if isinstance (U , Integer ):
2277
2275
if t is None :
2278
2276
if overconvergent :
@@ -2281,11 +2279,11 @@ def __init__(self, domain, U, prec=None, t=None, R=None,
2281
2279
t = 0
2282
2280
if overconvergent :
2283
2281
self ._U = OverconvergentDistributions (U - 2 , base = self ._R ,
2284
- prec_cap = U - 1 + t ,
2285
- act_on_left = True ,
2286
- adjuster = _btquot_adjuster (),
2287
- dettwist = - ZZ ((U - 2 ) // 2 ),
2288
- act_padic = True )
2282
+ prec_cap = U - 1 + t ,
2283
+ act_on_left = True ,
2284
+ adjuster = _btquot_adjuster (),
2285
+ dettwist = - ZZ ((U - 2 ) // 2 ),
2286
+ act_padic = True )
2289
2287
else :
2290
2288
self ._U = Symk (U - 2 , base = self ._R , act_on_left = True ,
2291
2289
adjuster = _btquot_adjuster (),
@@ -2485,13 +2483,14 @@ def _element_constructor_(self, data):
2485
2483
F = []
2486
2484
Uold = data .parent ()._U
2487
2485
for ii in range (len (data ._F )):
2488
- newtmp = data .parent ()._Sigma0 (E [ii ].rep .inverse (), check = False ) * Uold (data ._F [ii ],normalize = False )
2486
+ newtmp = data .parent ()._Sigma0 (E [ii ].rep .inverse (), check = False ) * Uold (data ._F [ii ],
2487
+ normalize = False )
2489
2488
tmp .append (newtmp )
2490
2489
F .append (newtmp )
2491
- A = data .parent ()._Sigma0 (Matrix (QQ ,2 , 2 , [0 ,1 / self .prime (),1 , 0 ]),check = False )
2490
+ A = data .parent ()._Sigma0 (Matrix (QQ , 2 , 2 , [0 , ~ self .prime (), 1 , 0 ]), check = False )
2492
2491
for ii in range (len (data ._F )):
2493
2492
F .append (- (A * tmp [ii ]))
2494
- vals = self ._make_invariant ([self ._U (o ,normalize = False ) for o in F ])
2493
+ vals = self ._make_invariant ([self ._U (o , normalize = False ) for o in F ])
2495
2494
return self .element_class (self , vals )
2496
2495
if data == 0 :
2497
2496
return self .zero ()
@@ -2605,11 +2604,12 @@ def _make_invariant(self, F):
2605
2604
m = M [ii ]
2606
2605
for v in Si :
2607
2606
s += 1
2608
- g = self ._Sigma0 (m .adjugate () * self ._source .embed_quaternion (v [0 ], prec = self ._prec ).adjugate () * m ,check = False )
2607
+ g = self ._Sigma0 (m .adjugate () * self ._source .embed_quaternion (v [0 ], prec = self ._prec ).adjugate () * m ,
2608
+ check = False )
2609
2609
newFi += g * x
2610
2610
newF .append ((QQ (1 ) / s ) * newFi )
2611
2611
else :
2612
- newF .append (self ._U (x ,normalize = False ))
2612
+ newF .append (self ._U (x , normalize = False ))
2613
2613
return newF
2614
2614
2615
2615
def _apply_Up_operator (self , f , scale = False , original_moments = None ):
@@ -2650,7 +2650,8 @@ def _apply_Up_operator(self, f, scale=False, original_moments=None):
2650
2650
for gg , edge_list in HeckeData :
2651
2651
u = edge_list [jj ]
2652
2652
tprec = 2 * (prec_cap + u .power ) + 1
2653
- r = S0 (self ._p ** - u .power * (u .t (tprec ) * gg ).adjugate (),check = False )
2653
+ r = S0 (self ._p ** - u .power * (u .t (tprec ) * gg ).adjugate (),
2654
+ check = False )
2654
2655
tmp += r * f ._value [u .label ]
2655
2656
tmp *= factor
2656
2657
for ii in range (self ._n + 1 ):
0 commit comments