On Nov 16, 11:56 am, Iftikhar Burhanuddin <[EMAIL PROTECTED]> wrote:
> On Thu, 15 Nov 2007, mabshoff wrote:
> > On Nov 16, 1:30 am, Iftikhar Burhanuddin <[EMAIL PROTECTED]> wrote:
> > > I run into some coercion trouble when I reduce a fourier coefficient
> > > of a cusp form modulo a prime ideal. (See below.)
>
> > No clue for now, but that looks like a bug to me. Please file a bug
> > report.
Hello Ifti,
>
> Hi Michael et al,
>
> This is ticket #1185.
David Roe did open #1183 on this, so I commented on both tickets with
references to the other. I am not sure if it is possible to resolve
your specific problem without doing the fixes suggested by David.
>
> I wonder why the base ring of the form is
>
> {{{
> sage: R
> Univariate Quotient Polynomial Ring in alpha over Rational Field with
> modulus x^2 - 5
>
> }}}
>
> and not
>
> {{{
> sage: O
> Maximal Order in Number Field in alpha with defining polynomial x^2 - 5
>
> }}}
>
> or perhaps
>
> {{{
> sage: K
> Number Field in alpha with defining polynomial x^2 - 5
>
> }}}
>
> Was it a design decision?
I guess Robert or William could comment on that.
> One way to not run into the coercion trouble would be for the base ring of
> the form to return the corresponding the number field.
>
> Regards,
> Ifti
Cheers,
Michael
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---
