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 - Complex Ring with multiple parameters and roots of unity
Author Message
  Post subject:  Re: Complex Ring with multiple parameters and roots of unity  Reply with quote
If the basering is complex or real you can not
define another parameter and set minpoly.

What you can do, is to add a fourth variable, say a and
add the defining equation of the 5th root of unity as
polynomial in a as another generator to the ideals
which you declare for your computations.

Then the std-computations will reduce modulo this "minpoly"
and the results can be interpreted accordingly.
Post Posted: Thu Aug 12, 2010 9:48 pm
  Post subject:  Complex Ring with multiple parameters and roots of unity  Reply with quote
I apologize in advance if the answer to this question is obvious. It's entirely possible that I can't see the forest through the trees.

I'm making a complex ring.
ring r = (complex,30,i),(x,y,z),dp;
And I would like to work with the nth root of unity. For the sake of simplicity, let's look at the 5th root of unity.

What I want to do is add another parameter Q to the ring declaration and then
minpoly = rootofUnity(5);
or something like that.

But I can't figure out how to add another parameter to the complex ring.

Likely, the right way to do this is something completely different, but I'm spinning my wheels and not getting anywhere.

Thanks in advance for any assistance you can provide.
C.
Post Posted: Thu Aug 12, 2010 8:52 pm


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