F5C: A Variant of Faugere's F5 Algorithm With Reduced Gröbner Bases
The F5 algorithm for computing Gröbner bases achieves a high level of efficiency through the careful analysis of signatures assigned to each computed polynomial. However, it computes and uses many polynomials that turn out to be redundant. Eliminating these redundant polynomials is a non-trivial task, because they correspond to signatures required for reduction. This paper revisits the theory underlying F5 and describes F5C, a new variant that prunes redundant polynomials, then re-computes signatures to preserve correctness. This strategy successfully reduces both overhead and execution time. (C) 2010 Elsevier Ltd. All rights reserved.
Journal of Symbolic Computation
Perry, J. E.
(2010). F5C: A Variant of Faugere's F5 Algorithm With Reduced Gröbner Bases. Journal of Symbolic Computation, 45(12), 1442-1458.
Available at: http://aquila.usm.edu/fac_pubs/906