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

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Demin, Alexander, Gowda, Shashi
Format: Preprint
Veröffentlicht: 2023
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866914675104415744
author Demin, Alexander
Gowda, Shashi
author_facet Demin, Alexander
Gowda, Shashi
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2304_06935
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Groebner.jl: A package for Gröbner bases computations in Julia
Demin, Alexander
Gowda, Shashi
Mathematical Software
Symbolic Computation
Commutative Algebra
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.
title Groebner.jl: A package for Gröbner bases computations in Julia
topic Mathematical Software
Symbolic Computation
Commutative Algebra
url https://arxiv.org/abs/2304.06935