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 .
翻译：本文介绍 Julia 环境下的 Groebner.jl 包，用于使用 F4 算法计算 Gröbner 基。Groebner.jl 是一个高效、轻量、可移植、经过全面测试和文档化的开源软件。该软件包支持整数模素数和有理数域，并支持各种单项式排序方法。该实现采用现代符号计算技术，并利用 Julia 的类型系统和工具，使 Groebner.jl 能够与主流的计算机代数系统性能相当。我们的软件包可在 https://github.com/sumiya11/Groebner.jl 免费获取。
相关内容
微信扫码咨询专知VIP会员