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.
|
|