Skip to content

sdiehl/groebner

Repository files navigation

Groebner Basis

This is an implementation of the F4 and Buchberger algorithm for computing Groebner bases in Rust.

See examples/basic.rs for a usage example.

Usage

To use in your project:

cargo add groebner

Test Suite

To run the example, use:

cargo run --example basic
cargo test

The test suite is the full list of known Groebner bases for a variety of large multivariate polynomial systems.

References

  1. Cox, D., Little, J., O'Shea, D. "Ideals, Varieties, and Algorithms"
  2. Buchberger, B. "Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory"
  3. Giovini, A., Mora, T., Niesi, G., Robbiano, L., & Traverso, C. (1991, June). “One sugar cube, please” or selection strategies in the Buchberger algorithm. In Proceedings of the 1991 international symposium on Symbolic and algebraic computation (pp. 49-54).
  4. Gebauer, R., & Möller, H. M. (1988). On an installation of Buchberger's algorithm. Journal of Symbolic computation, 6(2-3), 275-286.
  5. Roune, B. H., & Stillman, M. (2012, July). Practical Gröbner basis computation. In Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation (pp. 203-210).

License

Released under the MIT License. See LICENSE for details.

About

Faugère's F4 algorithm for computing Gröbner basis for systems of multivariate polynomials

Topics

Resources

License

Stars

Watchers

Forks

Languages