Getting Started

AlgebraicSolving is a computer algebra package for the Julia programming language, maintained by Christian Eder and Mohab Safey El Din.

• https://github.com/algebraic-solving/AlgebraicSolving.jl (Source code)

The features of AlgebraicSolving include algorithms for computing Gröbner bases over finite fields and for computing real solutions. The main workhorse of AlgebraicSolving is the msolve library .

Installation

To use Nemo we require Julia 1.6 or higher. Please see https://julialang.org/downloads/ for instructions on how to obtain julia for your system.

At the Julia prompt simply type

julia> using Pkg; Pkg.add("AlgebraicSolving")