F5 Project at Sage Days 12
Participants
- Martin Albrecht
- John Perry
Questions/Tasks
- Does F5 terminate for all inputs and can it be proven? What adaptations are necessary if not.
- What is the relationship between the F5 criteria and the Buchberger criteria?
- Come up with an F4-style F5.
Literature
Faugere's original paper
Till Steger's Diplom thesis
Justin Gash's PhD thesis on F5
Code
John Perry's Singular implementation of F5 (three variants)
Till Steger's Magma implementation of F5
Simon King's Sage/Cython implementation of F5
Martin Albrecht's Sage/Python implementation of F5 (three variants)
Martin Albrecht's Sage/Python implementation of Matrix F5