On 09.12.2015 14:08, Jeroen Demeyer wrote:
On 2015-12-09 12:22, Johannes wrote:
Some more Information about the general setting:
I play around with actions of finite groups on a polynomial ring acting
by multiplication with a power of the n-th root of unity.
Interesting. But then, why do you c
On 2015-12-09 12:22, Johannes wrote:
Some more Information about the general setting:
I play around with actions of finite groups on a polynomial ring acting
by multiplication with a power of the n-th root of unity.
Interesting. But then, why do you care so much about the condition
exp(2 * pi *
On 08.12.2015 23:18, Nils Bruin wrote:
[..]
yea, you are right. i was not precise enough. So this should be the
better formulated properties:
* (xi_n in QQbar) == true
* xi.parent() == QQbar
* (exp(2 * pi * I / n) == xi_n)
sage: cyclotomic_polynomial(5).roots(QQbar)
[(-0.8090169943749474? -
On Tuesday, December 8, 2015 at 12:54:04 PM UTC-8, Johhannes wrote:
>
> Hey Guys,
>
> I want to add a symbolic expression to CC representing an primitive n-th
> root of unity analogous to 'I'.
>
> Lets call this Element xi_n, besides the usual rules xi_n should satisfy
> the following properti
