Read-only forum archive

The difference between my book and Singular.

The difference between my book and Singular.

Popcorn · Fri Feb 05, 2010 8:20 pm

I have a problem with the exercise.

Code:
ring A  = 0 , (x,y,z), dp; // a global ordering
poly f = x2yz + xy2z + y2z + z3 + xy;
poly f1 = xy + y2 -1
poly f2 = xy;
ideal G = f1, f2;
ideal S = std(G)  //a standard basis of <G>
S;


In my book I have a result:
//-> S[1]=xy
//-> S[2]=y2-1

but in Singular the returns:
//-> S[1]=x
//-> S[2]=y2-1

Why?

Cheers







and the programme returns:
//-> S[1]=x
//-> S[2]=y2-1

Re: The difference between my book and Singular.

greuel · Sun Feb 14, 2010 9:28 pm

You don't need a computer to see that your book is wrong.
Multiply f1 with x and you see that x is in G.