2023/04/14 by Alexander Demin, Demin, Alexander, Shashi Gowda +1 · 1 citation
Computer Science · #Commutative Algebra (math.AC) #FOS: Computer and information sciences #FOS: Mathematics #Logic, programming, and type systems #Mathematical Software (cs.MS) #Mathematics, Computing, and Information Processing #Polynomial and algebraic computation #Symbolic Computation (cs.SC)
paper · pdf · doi:10.48550/arxiv.2304.06935
openalex publication_date 2023/04/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.