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 - numerical semigroup ring
Author Message
  Post subject:  Re: numerical semigroup ring  Reply with quote
A procedure for two lines would be overkill since one has to specify the map anyway.
Here is the SINGULAR input:

ring r = 0,(t,x,y),dp;
ideal i = x-t5, y-t7;
eliminate(i,t);
Post Posted: Tue Apr 19, 2011 2:08 pm
  Post subject:  Re: numerical semigroup ring  Reply with quote
Yes, this would do it. But how can we use eliminate to get the defining ideal? I am surprised that there is not a procedure that would take a map, say x to t^5 and y to t^7, and produce the defining ideal.
Post Posted: Mon Apr 18, 2011 8:17 pm
  Post subject:  Re: numerical semigroup ring  Reply with quote
I would simply write it as an affine ring. You can use eliminate to get the ring relations.

Mohamed
Post Posted: Thu Apr 14, 2011 1:15 pm
  Post subject:  numerical semigroup ring  Reply with quote
How do I define a numerical semigroup ring in Singular. For example

k[[t^5,t^7]]

or something like

k[[t^6,t^8 + t^9,t^11]] ?
Post Posted: Thu Mar 31, 2011 6:08 pm


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