Thanks for that information! Maybe, I know, I should do an update tp Maple 11. lg domo

Thanks for that information! Maybe, I know, I should do an update tp Maple 11. lg domo

If I use InterReduce before I execute the Basis-Command, the result is correct. But, nevertheless, I'd like to know, why it doesn't work without that extra-command.

If I use InterReduce before I execute the Basis-Command, the result is correct. But, nevertheless, I'd like to know, why it doesn't work without that extra-command.

... when I use that command, it behaves very buggy. I get always the same result: [] I tried both versions, your version, where k is a parameter and my version, where k is a variable: Groebner[Basis]( the_ideal, tdeg(x0,x1,x2,x3,y0,y1,y2,y3)) and Groebner[Basis]( the_ideal, tdeg(x0,x1,x2,x3,y0,y1,y2,y3,k)) I get this result, when I use all 8 equations. Even when I add a ninth equation "1" (by adding a "1" to the list of polynomials), I get the result []. I think, it has something to do with the sqareroots. When I use all equations except the three long ones in the middle of the list, I get [1]. The same behavior when I replace all squareroots by a variable, e.g. "w". Using then one of the commands above gives the correct result. I have no idea. Why gives your Maple 10 the correct result, but mine complete nonsense?

... when I use that command, it behaves very buggy. I get always the same result: [] I tried both versions, your version, where k is a parameter and my version, where k is a variable: Groebner[Basis]( the_ideal, tdeg(x0,x1,x2,x3,y0,y1,y2,y3)) and Groebner[Basis]( the_ideal, tdeg(x0,x1,x2,x3,y0,y1,y2,y3,k)) I get this result, when I use all 8 equations. Even when I add a ninth equation "1" (by adding a "1" to the list of polynomials), I get the result []. I think, it has something to do with the sqareroots. When I use all equations except the three long ones in the middle of the list, I get [1]. The same behavior when I replace all squareroots by a variable, e.g. "w". Using then one of the commands above gives the correct result. I have no idea. Why gives your Maple 10 the correct result, but mine complete nonsense?