|
Size: 997
Comment:
|
Size: 1060
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 14: | Line 14: |
| * Justin Gash's PhD thesis on F5 [[attachment:gash-phd.pdf]] |
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
Justin Gash's PhD thesis on F5 gash-phd.pdf
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