Question: implementation F4 computing Groebner basis in maple

Hi, all,

I want to implement F4 computing Groebner basis in maple. However, when I read the paper described the F4 algorithm, it is terribly difficult to understand that example and I am pretty much sure there are mistakes in that paper.

Do you guys have some advice or documents to let me really get through the F4 algorithm?

 

Many thanks.

gepo

Please Wait...