11 research outputs found
Groebner.jl: A package for Gr\"obner bases computations in Julia
We introduce the Julia package Groebner.jl for computing Gr\"obner 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 .Comment: 10 page
Computing huge Groebner basis like cyclic10 over \Q with Giac
We present a short description on how to fine-tune the modular algorithm
implemented in the Giac computer algebra system to reconstruct huge Groebner
basis over \Q.The classical cyclic10 benchmark will serve as example