Yeah, it has to do with how Pynac and Sage recursively call each other. Certainly a blocker in my book, and it looks like it's been around a while (possibly since the introduction of Pynac, at least since we were able to simplify SR(4)^(1/2)). I hope to have a patch up soon.
On Tue, Feb 14, 2012 at 11:59 PM, P Purkayastha <ppu...@gmail.com> wrote: > This is really funny! > > sage: ((-1)**(1/2))**(0.5) > None > > sage: ((-1)**(0.5))**(0.5) > 0.707106781186548 + 0.707106781186547*I > > sage: type(((-1)**(0.5))) > <type 'sage.rings.complex_number.ComplexNumber'> > > sage: type((-1)**(1/2)) > <type > 'sage.rings.number_field.number_field_element_quadratic.NumberFieldElement_quadratic'> > > sage: type(I) > <type 'sage.symbolic.expression.Expression'> > > sage: type(I**(1/2)) > <type 'sage.symbolic.expression.Expression'> > > sage: I**(1/2) > sqrt(I) > > > > On Wednesday, February 15, 2012 1:58:24 PM UTC+8, William wrote: >> >> Hi, >> >> A student in my class (Andrey Sarantsev) just pointed out to me that >> in Sage-4.8 and Sage-5.0, we have >> >> sage: I^(0.5) >> None >> >> What? That's not good. >> >> I'm not just putting this on trac, because I don't even know how to >> search for whether this is there already. This seems like it should >> be a blocker bug. >> >> -- William > > -- > To post to this group, send an email to sage-devel@googlegroups.com > To unsubscribe from this group, send an email to > sage-devel+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/sage-devel > URL: http://www.sagemath.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org