On 11/6/07, Robert Bradshaw <[EMAIL PROTECTED]> wrote:
> On Nov 6, 2007, at 1:59 PM, William Stein wrote:
>
> > Hi Robert (cc: sage-devel),
> >
> > Should the new coercion model address this sort of thing?
>
> Yes, it doesn't yet though, but shouldn't be too hard to add--the
> construction method of ComplexField needs to be implemented.

Please explain how to do this.  This will help other people start
filling in the coercion implementations all over in Sage.

>
> > sage: ComplexField(200)(1) + RealField(53)(1)
> > Traceback (most recent call last):
> > ...
> > TypeError: unsupported operand parent(s) for '+': 'Complex Field with
> > 200 bits of precision' and 'Real Field with 53 bits of precision'
> >
> >
> > It would make sense for the answer to be an element of RealField(53)
>
> Shouldn't be in ComplexField(53)?

Yes, I definitely meant ComplexField(53).  I just mistyped RealField
for some reason.

William

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
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/
-~----------~----~----~----~------~----~------~--~---

Reply via email to