Post new topic Reply to topic  [ 2 posts ] 
Author Message
 Post subject: Problem with the notation of ideals in Mac and lp2lstr(J,r);
PostPosted: Fri Sep 27, 2019 11:06 pm 
Hi guys I'm trying to use Singular on Mac but I have a problem which may be with the notation, on Linux I put the following code
ring r = 0,(x1,x0,x2,x4,x7),Wp(1,2,3,4,5);
int d =250; // degree bound
def R = makeLetterplaceRing(d);
setring R;
ideal I = x0(1)*x0(2), x7(1)*x4(2),x4(1)*x0(2)+x2(1)*x0(2),x0(1)*x7(2)+x0(1)*x2(2),x2(1)*x1(2)-x7(1)*x0(2)+x4(1)*x1(2)-x7(1)*x1(2),x2(1)*x7(2)+x4(1)*x4(2)+x2(1)*x2(2),x2(1)*x7(2) -x7(1)*x7(2)+x4(1)*x7(2),x4(1)*x4(2)-x4(1)*x7(2)-x4(1)*x2(2),x1(1)*x7(2)-x0(1)*x7(2)-2*x1(1)*x4(2)+2*x4(1)*x0(2),x7(1)*x2(2)-x2(1)*x4(2)-x4(1)*x4(2)+x7(1)*x7(2),x1(1)*x2(2)-x0(1)*x4(2)+x0(1)*x7(2)-2*x4(1)*x0(2)+x1(1)*x4(2), x0(1)*x1(2)-x2(1)-x7(1), x1(1)*x0(2)-x2(1)-x4(1), x1(1)*x1(2)-x4(1)-x7(1);
option(redSB); option(redTail);
ideal J = letplaceGBasis(I);
J;

and obtain
J[1]=x1(1)*x1(2)-x7(1)-x4(1)
J[2]=x1(1)*x0(2)-x4(1)-x2(1)
J[3]=x0(1)*x1(2)-x7(1)-x2(1)
J[4]=x0(1)*x0(2)
J[5]=x0(1)*x4(2)-x1(1)*x7(2)+x1(1)*x4(2)-x1(1)*x2(2)
J[6]=x0(1)*x7(2)+x0(1)*x2(2)
J[7]=2*x2(1)*x1(2)+x0(1)*x2(2)-x1(1)*x7(2)+2*x1(1)*x4(2)-2*x1(1)*x2(2)
J[8]=2*x2(1)*x0(2)-x0(1)*x2(2)-x1(1)*x7(2)+2*x1(1)*x4(2)
J[9]=2*x4(1)*x1(2)-x0(1)*x2(2)-x1(1)*x7(2)-2*x1(1)*x4(2)
J[10]=2*x4(1)*x0(2)+x0(1)*x2(2)+x1(1)*x7(2)-2*x1(1)*x4(2)
J[11]=x4(1)*x4(2)+x2(1)*x7(2)+x2(1)*x2(2)
J[12]=x4(1)*x7(2)+x4(1)*x2(2)+x2(1)*x7(2)+x2(1)*x2(2)
J[13]=2*x7(1)*x1(2)+x0(1)*x2(2)-x1(1)*x7(2)
J[14]=2*x7(1)*x0(2)-x0(1)*x2(2)-x1(1)*x7(2)-2*x1(1)*x2(2)
J[15]=x7(1)*x2(2)-x4(1)*x2(2)+x2(1)*x7(2)-x2(1)*x4(2)
J[16]=x7(1)*x4(2)
J[17]=x7(1)*x7(2)+x4(1)*x2(2)+x2(1)*x2(2)
J[18]=x0(1)*x2(2)*x2(3)+x1(1)*x2(2)*x4(3)+x1(1)*x2(2)*x2(3)
J[19]=x0(1)*x2(2)*x4(3)
J[20]=x0(1)*x2(2)*x7(3)+x1(1)*x2(2)*x7(3)
J[21]=x4(1)*x2(2)*x2(3)-x2(1)*x2(2)*x4(3)
J[22]=x4(1)*x2(2)*x4(3)+x2(1)*x2(2)*x4(3)
J[23]=x4(1)*x2(2)*x7(3)

lp2lstr(J,r); // export an object called @code@LN to the ring r
setring r; // change to the ring r
lst2str(@LN,1); // output the string presentation
[1]:
x1*x1-x7-x4
[2]:
x1*x0-x4-x2
[3]:
x0*x1-x7-x2
[4]:
x0*x0
[5]:
x0*x4-x1*x7+x1*x4-x1*x2
[6]:
x0*x7+x0*x2
[7]:
2*x2*x1+x0*x2-x1*x7+2*x1*x4-2*x1*x2
[8]:
2*x2*x0-x0*x2-x1*x7+2*x1*x4
[9]:
2*x4*x1-x0*x2-x1*x7-2*x1*x4
[10]:
2*x4*x0+x0*x2+x1*x7-2*x1*x4
[11]:
x4*x4+x2*x7+x2*x2
[12]:
x4*x7+x4*x2+x2*x7+x2*x2
[13]:
2*x7*x1+x0*x2-x1*x7
[14]:
2*x7*x0-x0*x2-x1*x7-2*x1*x2
[15]:
x7*x2-x4*x2+x2*x7-x2*x4
[16]:
x7*x4
[17]:
x7*x7+x4*x2+x2*x2
[18]:
x0*x2*x2+x1*x2*x4+x1*x2*x2
[19]:
x0*x2*x4
[20]:
x0*x2*x7+x1*x2*x7
[21]:
x4*x2*x2-x2*x2*x4
[22]:
x4*x2*x4+x2*x2*x4
[23]:
x4*x2*x7

but on Mac I have the following problem
> ring r = 0,(x1,x0,x2,x4,x7),Wp(1,2,3,4,5);
> int d =250; // degree bound
> def R = makeLetterplaceRing(d);
> setring R;
> ideal I = x0(1)*x0(2), x7(1)*x4(2),x4(1)*x0(2)+x2(1)*x0(2),x0(1)*x7(2)+x0(1)*x2(2),x2(1)*x1(2)-x7(1)*x0(2)+x4(1)*x1(2)-x7(1)*x1(2),x2(1)*x7(2)+x4(1)*x4(2)+x2(1)*x2(2),x2(1)*x7(2) -x7(1)*x7(2)+x4(1)*x7(2),x4(1)*x4(2)-x4(1)*x7(2)-x4(1)*x2(2),x1(1)*x7(2)-x0(1)*x7(2)-2*x1(1)*x4(2)+2*x4(1)*x0(2),x7(1)*x2(2)-x2(1)*x4(2)-x4(1)*x4(2)+x7(1)*x7(2),x1(1)*x2(2)-x0(1)*x4(2)+x0(1)*x7(2)-2*x4(1)*x0(2)+x1(1)*x4(2), x0(1)*x1(2)-x2(1)-x7(1), x1(1)*x0(2)-x2(1)-x4(1), x1(1)*x1(2)-x4(1)-x7(1);
? `x0(1)` is not defined
? error occurred in or before STDIN line 15: `2), x0(1)*x1(2)-x2(1)-x7(1), x1(1)*x0(2)-x2(1)-x4(1), x1(1)*x1(2)-x4(1)-x7(1);`
? expected ideal-expression. type 'help ideal;'

> option(redSB); option(redTail);
> ideal J = letplaceGBasis(I);
? `letplaceGBasis` is not defined
? error occurred in or before STDIN line 7: `ideal J = letplaceGBasis(I);`
? expected ideal-expression. type 'help ideal;'
> J;
? `J` is undefined
? error occurred in or before STDIN line 8: `J;`
> lp2lstr(J,r); // export an object called @code@LN to the ring r
? `int` expected while building `lp2lstr(`
? error occurred in or before STDIN line 9: `lp2lstr(J,r); // export an object called @code@LN to the ring r`
> setring r; // change to the ring r
> lst2str(@LN,1); // output the string presentation
? `int` expected while building `lst2str(`
? error occurred in or before STDIN line 11: `lst2str(@LN,1); // output the string presentation`


I need support for solving the problem because I think that it is a simple change of notation.

Thank you.

Brian.


Report this post
Top
  
Reply with quote  
 Post subject: Re: Problem with the notation of ideals in Mac and lp2lstr(J,r);
PostPosted: Tue Oct 01, 2019 10:40 am 

Joined: Wed May 25, 2005 4:16 pm
Posts: 275
Probably the Mac version is a newer version of Singular
(try system("version");). In the newer versions, Letterplace rings have monomials
like x1*x*x2, not x1(1)*x1(2)*x2(3), and lp2Str(I) is equivalent to string(I)
and out-of-date.


Report this post
Top
 Profile  
Reply with quote  
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 2 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:54 am
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group