| Singular https://www.singular.uni-kl.de/forum/ |
|
| numerical semigroup ring https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1917 |
Page 1 of 1 |
| Author: | algebra123 [ Thu Mar 31, 2011 6:08 pm ] |
| Post subject: | numerical semigroup ring |
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]] ? |
|
| Author: | barakat [ Thu Apr 14, 2011 1:15 pm ] |
| Post subject: | Re: numerical semigroup ring |
I would simply write it as an affine ring. You can use eliminate to get the ring relations. Mohamed |
|
| Author: | algebra123 [ Mon Apr 18, 2011 8:17 pm ] |
| Post subject: | Re: numerical semigroup ring |
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. |
|
| Author: | greuel [ Tue Apr 19, 2011 2:08 pm ] |
| Post subject: | Re: numerical semigroup ring |
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); |
|
| Page 1 of 1 | All times are UTC + 1 hour [ DST ] |
| Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |
|