Re: [sage-devel] I^(0.5)

2012-02-15 Thread Keshav Kini
On Wed, Feb 15, 2012 at 21:07, Stephen Montgomery-Smith wrote: > I have a concern over I^(0.5).  It is plus or minus (1+I)/sqrt(2).  The > difficulty I have is with the "plus or minus".  It is possible to define the > positive square root of a real number so that sqrt(ab)=sqrt(a)*sqrt(b).  But > y

Re: [sage-devel] I^(0.5)

2012-02-15 Thread Stephen Montgomery-Smith
On 02/15/2012 12:34 AM, William Stein wrote: On Tue, Feb 14, 2012 at 10:15 PM, Dr. David Kirkby wrote: On 02/15/12 05:58 AM, William Stein 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

Re: [sage-devel] I^(0.5)

2012-02-14 Thread Dan Drake
On Wed, 15 Feb 2012 at 06:15AM +, Dr. David Kirkby wrote: > What is sqrt(i), and why? As for sqrt(i), if you represent it as exp(i*pi/2), there are two numbers z that satisfy z^2 = i, namely exp(i*pi/4) and exp(i*5*pi/4). Look up the polar form of complex numbers. As for why: well, why should

Re: [sage-devel] I^(0.5)

2012-02-14 Thread William Stein
On Tue, Feb 14, 2012 at 10:15 PM, Dr. David Kirkby wrote: > On 02/15/12 05:58 AM, William Stein 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 j

Re: [sage-devel] I^(0.5)

2012-02-14 Thread Dr. David Kirkby
On 02/15/12 05:58 AM, William Stein 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