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.


Please Wait...