On Thu, 19 Mar 2009 20:22:18 -0700 (PDT)
Alex Raichev <[email protected]> wrote:
>
> Here's another one for you, Burcin...
Thanks. I am really glad you're trying things out. This use case hadn't
occured to me at all. Good catch.
> sage: var('n',ns=1)
> n
> sage: (QQbar(2)^3)^n
> ---------------------------------------------------------------------------
> TypeError Traceback (most recent call
> last)
>
<snip>
> TypeError: no canonical coercion from New Symbolic Ring to Rational
> Field
Since pynac now supports using arbitrary Sage objects in symbolic
expressions, it is possible to coerce QQbar(2) to the new symbolic
ring. So we should really return a symbolic expression, but this case
is not treated since the maxima backed symbolics didn't support this.
Unfortunately, the __pow__ method, the function that handles
exponentiation in python, is not a part of the coercion system. This
makes it hard to implement this functionality in a general way.
I've made this issue #5574 on trac. You can follow the progress here:
http://trac.sagemath.org/sage_trac/ticket/5574
Thanks again.
Cheers,
Burcin
--~--~---------~--~----~------------~-------~--~----~
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-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
