Groebner bases
Groebner bases use the implementation of the F4 algorithm from Groebner.jl package as its backend. We refer to the documentation of Groebner.jl, which lists some implementations details and possible use-cases of Groebner bases.
Symbolics.groebner_basis — Functiongroebner_basis(polynomials)Computes a Groebner basis of the ideal generated by the given polynomials.
This function requires a Groebner bases backend (such as Groebner.jl) to be loaded.