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 care so much about the condition
exp(2 * pi * I / n) == xi_n
The most important reason is to avoid some trouble when mixing the new
symbol with numerical values.
The use case i have in mind is to simplification e.g. i want that (xi_4)
* I = 1 holds (same with e^(pi * I / 2)) ands is used when I want to
simplify expressions.
The condition you quoted seemed to be the most elegant way to archive this.
bg,
Johannes
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
