id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
22634 Fix bug with pAutomorphicForms for weights larger than two mmasdeu "The following code illustrates the bug:
{{{
sage: X = BruhatTitsQuotient(7,2)
sage: H = X.harmonic_cocycles(4,20)
sage: A = X.padic_automorphic_forms(4,20,overconvergent=True)
sage: f = A.lift(H.basis()[0]).modular_form(method='moments')
sage: T. = Qq(7^2,20)
sage: a,b,c,d = X.embed_quaternion(X.get_units_of_order()[1]).change_ring(Qp(7,20)).list()
sage: (c*x + d)^4 * f(x) == f((a*x + b)/(c*x + d)) # Should return True
False
}}}
The problem arose because of the way distributions work, which get normalized even when the user wishes they weren't. I propose a fix to this." defect closed major sage-8.0 modular forms fixed Bruhat Tits, Harmonic Cocycles, Overconvergent roed Marc Masdeu Peter Graef N/A 66bf40077256b637f124b958b3276c229fc42160 66bf40077256b637f124b958b3276c229fc42160