Groebner.jl: A package for Gröbner bases computations in Julia

04/14/2023

∙

by   Alexander Demin, et al.

∙

0

∙

share

We introduce the Julia package Groebner.jl for computing Gröbner bases with the F4 algorithm. Groebner.jl is an efficient, lightweight, portable, thoroughly tested, and documented open-source software. The package works over integers modulo a prime and over the rationals and supports various monomial orderings. The implementation incorporates modern symbolic computation techniques and leverages the Julia type system and tooling, which allows Groebner.jl to be on par in performance with the leading computer algebra systems. Our package is freely available at https://github.com/sumiya11/Groebner.jl .