Post a reply
Username:
Note:If not registered, provide any username. For more comfort, register here.
Subject:
Message body:
Enter your message here, it may contain no more than 60000 characters. 

Smilies
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
Font size:
Font colour
Options:
BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON
Disable BBCode
Disable smilies
Do not automatically parse URLs
Confirmation of post
To prevent automated posts the board requires you to enter a confirmation code. The code is displayed in the image you should see below. If you are visually impaired or cannot otherwise read this code please contact the %sBoard Administrator%s.
Confirmation code:
Enter the code exactly as it appears. All letters are case insensitive, there is no zero.
   

Topic review - How do I represent roots of unity?
Author Message
  Post subject:  Re: How do I represent roots of unity?  Reply with quote
You need to define the minimal polynomial over the ground field
of the third root of unity.

Supposed you want to compute in characteristic zero, then
Code:
> ring rQ = 0,x,dp;   // Q[x]
>  factorize(x3-1);
[1]:
   _[1]=1
   _[2]=x-1
   _[3]=x2+x+1
[2]:
   1,1,1
>  ring rQzeta = (0,z),x,dp;    //  Q[z]/(z^2+z+1)[x]
> minpoly = z2+z+1;          // The parameter z is now a 3rd root of unity
> z^3;
1
> z2*x4-2zx+2z+1;
(-z-1)*x4+(-2z)*x+(2z+1)
Post Posted: Thu Oct 07, 2010 7:25 pm
  Post subject:  How do I represent roots of unity?  Reply with quote
If I want an expression that has $\zeta_3$ in it -- how would I write it?
Post Posted: Mon Oct 04, 2010 5:26 am


It is currently Fri May 13, 2022 11:07 am
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group