[sage-support] Re: Unexact computation with roots of unity.

2010-06-22 Thread kcrisman
Here is the essence of it. sage: QQbar(e^(4/3*I*pi)*e^(2/3*I*pi).conjugate()) -0.500? + 0.866025403784439?*I QQbar is not exactly a symbolic ring. In fact, in its documentation we have sage: QQbar.zeta(3) -0.500? + 0.866025403784439?*I I'm not quite sure how to fix

[sage-support] Re: Unexact computation with roots of unity.

2010-06-22 Thread Nils Bruin
On Jun 22, 11:13 am, cjung cjun...@gmx.de wrote: My question is now, if this is a bug or just a mistake in my code? I suspect that you create your roots of unity using exponents that are floats. In that case it may be a bug in Sage that it doesn't throw an error. It may be what you are

Re: [sage-support] Re: Unexact computation with roots of unity.

2010-06-22 Thread Robert Bradshaw
On Jun 22, 2010, at 1:02 PM, Nils Bruin wrote: On Jun 22, 11:13 am, cjung cjun...@gmx.de wrote: My question is now, if this is a bug or just a mistake in my code? I suspect that you create your roots of unity using exponents that are floats. If m and n are integers, m/n shouldn't be a

Re: [sage-support] Re: Unexact computation with roots of unity.

2010-06-22 Thread Robert Bradshaw
On Jun 22, 2:13 pm, cjung cjun...@gmx.de wrote: Dear all, Here's my problem: I've written a function (the scource code below), which should compute the scalarproduct of two classfunction of a group G. But there is a little problem with that, the values of the classfunction are just given as a

[sage-support] Re: Unexact computation with roots of unity.

2010-06-22 Thread cjung
Hello Guys, thank you for your suggestions. s.simplify_full() s.simplify_rational() s.exactify() All these solve the problem. I choosed s.exactify, because it seems to be faster for big groups, so thanks all best regards -- To post to this group, send email to sage-support@googlegroups.com