Not to forget: we need to change the name

uwu

This repository contains a Julia implementation of the algorithms for Groebner bases computing.

We will demonstrate the usage on a simple example. Let's first add GroebnerBases.jl

julia> import Pkg
julia> Pkg.add(url="https://github.com/sumiya11/GroebnerBases")
julia> using GroebnerBases

The package provides definitions for several test systems. We obtain one of them, the set of cyclic polynomials of degree 3, by calling rootn(3)

julia> polys = rootn(3)
3-element Array{AbstractAlgebra.Generic.MPoly{Rational{BigInt}},1}:
 x1 + x2 + x3
 x1*x2 + x1*x3 + x2*x3
 x1*x2*x3 - 1

Call groebner providing the system

julia> G = groebner(polys)
3-element Array{AbstractAlgebra.Generic.MPoly{Rational{BigInt}},1}:
 x3^3 - 1
 x2^2 + x2*x3 + x3^2
 x1 + x2 + x3

Finally, we can check if the basis is correct

julia> is_groebner(G)
true