Dear all,(adsbygoogle = window.adsbygoogle || []).push({});

I have a question concerning Faugere's improved F4 algorithm. You can find it in the attached file

faugere_f4.pdf on page 9. In section 2.6 (page 14) an example is given for how the algorithm works.

According to the example the second while-loop in the improved F4 algorithm (page 9) is entered for the first

time with the set G={{f_4}}. I do not understand why.

Before entering the second while-loop the algorithm runs through the first while-loop for two times calling the Update function each time. I have attached this function in the file update.jpg. As you can see each time the function is called with a particular polynomial h this polynomial will end up in G_new, and thereby in the set G of the F4 algorithm (third to last line in update.jpg). Which polynomial Update is called with depends on the first() function in the F4 algorithm. In my opinion when cycling through the first while-loop first() should return f_4 and then f_3. Thus the set G would have to contain f_3 when the second while-loop is entered. I have specified what I think should be going on in specification.pdf. Could anyone explain to me whether and if so why my reasoning is wrong?

Best

Luther

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# F4 algorithm for calculating Groebner bases

Loading...

Similar Threads - algorithm calculating Groebner | Date |
---|---|

I Non-Hermitian wavefunctions and their solutions | Jan 18, 2018 |

A How do I supply arpack drivers with all starting vectors? | Dec 24, 2016 |

Issue with behavior of ray-plane intersection algorithm | Jan 28, 2016 |

Algorithm to find square root of a quadratic residue mod p | Feb 14, 2015 |

Division Algorithm for Polynomials in R[x] confusing me | Nov 24, 2014 |

**Physics Forums - The Fusion of Science and Community**