ad "F4 Style InterReduce": Jep, that's what I'm doing. Because when I use Reduce(f,G,tord) all the quotients are computed. I don't need them, so I use Reduce([f],G,tord). ad "Why maple?" I used Singular several times, a great software, and of course, it would fit better for such computations. But at the moment I try to do all computations of that project in Maple. It is hard sometimes, but it's ok. :-)

Thanks, but I think I will have to use my workaround. I'm in a hurry. It works just fine with the F4-reductions. Thank you very much for your efforts! domo

Thanks for the info! Thats what I thought, no F4. ;-) Does InterReduce use a maybe "old-fashioned" algorithm? I wrote a workaround for me. The computation has several rounds and in each round every polynomial p[i] is reduced wrt. to [p[1],...p[i-1],p[i+1],...,p[n]]. The process stops when a round finishes and no polynomial was changed. I think this should work. The most important point is for me that the ideal at the end is exactly the same. Concerning computation of a basis: I tried, but it did not work, ... as expected. The crucial point is: the polynomials are quite large. Number of monomials of each polynomial: [6, 28182, 57472, 100068] Degree of each polynomial: [2,11,12,13] Hm, so shall I post them anyway? ;-)) Thanks!!!

I updated from 10 to 10.06 and it works now. The result is now [1]. I have no idea, but it works. Yeah! But now I have a problem with the license. Our school-network-license works fine, but the single-user-license on my laptop doesnn't work. Maple complains "Invalid license 006". Has anybody seen this message before?

Here is a file with the code which produces the wrong result. View 5656_demo_buggy_gb.mw on MapleNet or Download 5656_demo_buggy_gb.mw
View file details I wanted to do an update of Maple 10, but the menu-entry "Check for updates ..." is not active. Thanks!!!

Thanks for your comment. My Maple returns the same result for your example, it returns [1]. Maple 10 is not always wrong. Hm, what is the result, when you use my equations? It is interresting, when I remove the long equations, the result of Maple 10 is correct. Strange, strange, strange, ...