Question: Algorithm used by InterReduce

Hi! Does anybody know which algorithm is used when the command "InterReduce" is envoked? I'm using Maple 12 and I want to interreduce a list of four homogeneous polynomials in 9 unknowns. I thought that "InterReduce" would use the F4 algorithm to reduce the polynomials, but the process does not finish, even after six hours. When I interreduce the polynomials "by hand" using the command "Reduce" everything is finished after 10 minutes. So, the question is, what does "InterReduce"? Which algorithm is used? Thanks a lot!! domo
Please Wait...