Re : how to handle roots of unity symbolically ?



Because that gets you the *primitive* root of unity, which is what I think
the Original Poster was looking for.

Actually, I am not sure what the original poster was looking for.  Maybe he
wanted map(tellrat,args(factor(x^12-1))), for example.

            -s

On Sat, Nov 24, 2012 at 11:48 AM, Robert Dodier <robert.dodier at gmail.com>wrote:

> On 2012-11-23, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
>
> > (%i2) p: x^12-1$
> > (%i3) factor(p);
> > (%o3) (x-1)*(x+1)*(x^2+1)*(x^2-x+1)*(x^2+x+1)*(x^4-x^2+1)
> > (%i4) tellrat(last(%));
>
> Stavros, why did you factor p and apply tellrat to only the last factor?
> That seems to have a different effect compared to tellrat(p).
>
> Is there some unstated assumption in tellrat about p? Maybe we need to
> add something to the documentation -- ? tellrat says only that p is a
> polynomial with integer coefficients.
>
> best
>
> Robert Dodier
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>