Groebner.jl: A package for Gr\"obner bases computations in Julia
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:24D4APUNrecord.jsonopen to challenge →
read the original abstract
We present Groebner.jl, a Julia package for computing Groebner bases with the F4 algorithm. Groebner.jl is an efficient, portable, and open-source software. Groebner.jl works over integers modulo a prime and over the rationals, supports basic multi-threading, and specializes in computation in the degree reverse lexicographical monomial ordering. The implementation incorporates various symbolic computation techniques and leverages the Julia type system and tooling, which allows Groebner.jl to compete with the existing state of the art, in many instances outperform it, and exceed them in extensibility. Groebner.jl is freely available at https://github.com/sumiya11/Groebner.jl.
This paper has not been read by Pith yet.
Forward citations
Cited by 2 Pith papers
-
Groebner.jl: Fast Gr\"obner Tracing in Julia
Groebner.jl implements F4 with public Traverso tracing and SIMD-friendly product-ring arithmetic in Julia, achieving 1.5–6.6x speedups in multi-modular Gröbner basis workflows.
-
Fast Rational Univariate Representation via Gaussian Elimination
A Julia package using dense Gaussian elimination computes certified rational univariate representations of polynomial systems with thousands of solutions in seconds, outperforming msolve on several benchmarks.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.