Groebner.jl: Fast Gröbner Tracing in Julia
Provides a reusable tracing interface for Gröbner basis computations, benefiting Julia users in computer algebra applications.
Groebner.jl implements the F4 algorithm with Traverso's tracing in Julia, achieving speedups in structural identifiability analysis and polynomial system solving by leveraging SIMD-friendly coefficient types.
A standard way to control expression swell in computer algebra is to use multi-modular or evaluation-interpolation methods. In computations involving Gröbner bases, these techniques typically require repeatedly computing Gröbner bases of specializations of the same ideal. These repeated computations can be accelerated through precomputation, notably using Traverso's tracing. We present Groebner.jl (https://github.com/sumiya11/Groebner.jl), a Julia implementation of the F4 algorithm that exposes Traverso's tracing through a reusable public interface. The implementation supports SIMD-friendly coefficient types, such as tuples of machine integers, which Julia compiles to efficient code with little manual intervention. This lets other Julia software leverage tracing to obtain speedups in applications such as structural identifiability of ordinary differential equation models and polynomial system solving.