groebner

This repository contains algorithms for groebner basis computation:

• moGVW, my own implementation of Sun, Wang, Huang and Lins monomial-oriented groebner GVW for computing groebner bases
• F5, my own implementation of Faugères F5 algorithm
• FGb, a wrapper around Faugères fast groebner library

Papers

• 2014 Sun, Wang, Huang, Lin - A Monomial-oriented GVW for Computing Gröbner Bases
• 2010 Faugère - FGb/ a library for computing Gröbner bases
• 2010 Eder, Perry - F5C A variant of Faugère's F5 algorithm with reduced Gröbner bases
• 2010 Albrecht, Perry - F45
• 2002 Faugère - A new efficient algorithm for computing Gröbner bases without reduction to zero (F5)
• 1999 Faugère - A new efficient algorithm for computing Gröbner bases (F4)

Installation

Docker ubuntu:xenial

To build using docker, run:

docker build -t groebner .
docker run -it --rm -v $(pwd):/groebner /bin/bash
make

Mac OS X

Currently, groebner only compiles with gcc, so install that first. To install gcc and other build requirements with homebrew:

brew install gcc yasm

Then, start the build process:

make

This should download and compile some libraries and eventually compile the programs.

Vagrant/Ubuntu

Running vagrant up in a checkout should create an Ubuntu 16.04 image with all necessary software installed. You can then enter the VM and start the build process:

vagrant ssh
cd groebner
make

Adding time stamps to the log output of FGb

In order to add timestamps to the FGb log output, run it as

LD_PRELOAD=./intercept.so ./FGb <polynomial file>