Re: [sage-devel] QQbar(-1)^(1/3) != AA(-1)^(1/3)

2024-08-27 Thread Vincent Delecroix
On Wed, 28 Aug 2024 at 03:46, Kwankyu Lee wrote: > > > I think it is of doubtful correctness RR not being closed under coercion: > sage: RR(RR(-1)^(1/3)) > TypeError: unable to convert '0.500+0.866025403784439*I' > to a real number > > > "closed under coercion" sounds vague to me. I do

Re: [sage-devel] QQbar(-1)^(1/3) != AA(-1)^(1/3)

2024-08-27 Thread Kwankyu Lee
I think it is of doubtful correctness RR not being closed under coercion: sage: RR(RR(-1)^(1/3)) TypeError: unable to convert '0.500+0.866025403784439*I' to a real number "closed under coercion" sounds vague to me. I doubt if there is such a concept in sage. Fractional powers n

Re: [sage-devel] Re: QQbar(-1)^(1/3) != AA(-1)^(1/3)

2024-08-27 Thread Nils Bruin
On Tuesday 27 August 2024 at 05:42:55 UTC-7 vdelecroix wrote: This is indeed annoying. For further input, notice that python gives the complex principal root rather than the real root >>> (-1.) ** 0.33 (0.5090414157503712+0.8607420270039436j) I'm not sure that's a completely fair comparison

Re: [sage-devel] QQbar(-1)^(1/3) != AA(-1)^(1/3)

2024-08-27 Thread Georgi Guninski
On Tue, Aug 27, 2024 at 3:37 PM Kwankyu Lee wrote: > > sage: RR(-1)^(1/3) > 0.500 + 0.866025403784439*I I think it is of doubtful correctness RR not being closed under coercion: sage: RR(RR(-1)^(1/3)) TypeError: unable to convert '0.500+0.866025403784439*I' to a real numbe

Re: [sage-devel] Re: QQbar(-1)^(1/3) != AA(-1)^(1/3)

2024-08-27 Thread Kwankyu Lee
Thanks. We plan to fix the behaviors in https://github.com/sagemath/sage/pull/38564, after a deprecation period. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to

Re: [sage-devel] Re: QQbar(-1)^(1/3) != AA(-1)^(1/3)

2024-08-27 Thread Vincent Delecroix
This is indeed annoying. For further input, notice that python gives the complex principal root rather than the real root >>> (-1.) ** 0.33 (0.5090414157503712+0.8607420270039436j) It seems most likely that the behavior of AA should be changed. On Tue, 27 Aug 2024 at 14:38, Kwankyu Lee wrote: >

[sage-devel] Re: QQbar(-1)^(1/3) != AA(-1)^(1/3)

2024-08-27 Thread Kwankyu Lee
For the context, visit here: https://github.com/sagemath/sage/pull/38362#issuecomment-2311850490 -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsub

[sage-devel] QQbar(-1)^(1/3) != AA(-1)^(1/3)

2024-08-27 Thread Kwankyu Lee
Hi, I need advice from algebraic fields experts. Currently, sage: RR(-1)^(1/3) 0.500 + 0.866025403784439*I sage: CC(-1)^(1/3) 0.500 + 0.866025403784439*I sage: QQbar(-1)^(1/3) 0.500? + 0.866025403784439?*I sage: AA(-1)^(1/3) #