Singular
https://www.singular.uni-kl.de/forum/

Problem with the notation of ideals in Mac and lp2lstr(J,r);
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2866		 Page 1 of 1
Author:  Brian [ Fri Sep 27, 2019 11:06 pm ]
Post subject:  Problem with the notation of ideals in Mac and lp2lstr(J,r);
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.
Author:  hannes [ Tue Oct 01, 2019 10:40 am ]
Post subject:  Re: Problem with the notation of ideals in Mac and lp2lstr(J,r);
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.
Page 1 of 1 All times are UTC + 1 hour [ DST ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/