Back to Forum | View unanswered posts | View active topics



Post new topic Reply to topic  Page 1 of 1
  [ 6 posts ] 
  Print view | E-mail friend Previous topic | Next topic 
Author Message
azerbajdzan
 Post subject: Ring Normalization problem and using Singular in Sage.
PostPosted: Sat Dec 28, 2019 7:38 pm 
Here .../DEMOS/GMG-Mainz_DMV-99/Examples/normal.html you can find this code:
Code:
LIB "normal.lib";
ring r=0,(x,y,z),dp;
ideal i=y^2-x^2*z;
list NN=normal(i);
def N=NN[1];
setring N;
PP;
=> PP[1]=T(1)
=> PP[2]=T(1)*T(2)
=> PP[3]=T(2)^2

But it does not work any more when I write it in Singular. Maybe it was written in old version of Singular and does not work any more, but I can not figure out how to amend it to work with current version of Singular.
Another question is how I would use the same code inside Sage?


Report this post
Top
  
Reply with quote  
Guest
 Post subject: Re: Ring Normalization problem and using Singular in Sage.
PostPosted: Sat Dec 28, 2019 7:40 pm 
Three dots represent "www(dot)singular(dot)uni-kl(dot)de". I was not allowed to post url's.


Report this post
Top
  
Reply with quote  
hannes
 Post subject: Re: Ring Normalization problem and using Singular in Sage.
PostPosted: Fri Jan 10, 2020 4:10 pm 

Joined: Wed May 25, 2005 4:16 pm
Posts: 275
Translating your example to newer version of normal.lib:
Code:
LIB "normal.lib";
ring r=0,(x,y,z),dp;
ideal i=y^2-x^2*z;
list NN=normal(i);
def N=NN[1][1];
setring N;
norid;
=> norid[1]=T(1)*x-y
=> norid[2]=-T(1)*y+x*z
=> norid[3]=T(1)^2-z
=> norid[4]=x^2*z-y^2


To use the code in sage: unfortunatly, normal does not return all results
as a return value - yu need to change the ring and then acces the Singular variable norid and normap.


Report this post
Top
 Profile  
Reply with quote  
Guest
 Post subject: Re: Ring Normalization problem and using Singular in Sage.
PostPosted: Fri Jan 10, 2020 5:52 pm 
But the output is not like it was in the original. In the original I got parametrization of $y^2-x^2*z$


Report this post
Top
  
Reply with quote  
azerbajdzan
 Post subject: Re: Ring Normalization problem and using Singular in Sage.
PostPosted: Fri Jan 10, 2020 5:56 pm 
But the output is not like it was in the original. In the original I got parametrization of y^2-x^2*z=0 as x=T(1), y=T(1)*T(2), z=T(2)^2.
I have no idea what the new output should represent?


Report this post
Top
  
Reply with quote  
azerbajdzan
 Post subject: Re: Ring Normalization problem and using Singular in Sage.
PostPosted: Fri Jan 10, 2020 6:25 pm 
Is it a good idea to block your own URL-s in the forum?

None of these codes on your site work anymore:
already mentioned one on
www*singular*uni-kl*de/DEMOS/GMG-Mainz_DMV-99/Examples/normal*html
and the new version of it on
www*singular*uni-kl*de/Overview/Examples/Normalize/index*html


Report this post
Top
  
Reply with quote  
Display posts from previous:  Sort by  
Post new topic Reply to topic  Page 1 of 1
  [ 6 posts ] 

You can post new topics in this forum
You can reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

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