https://github.com/bjodah/groebner

Some tools I created for fast groebner base calculation.

https://github.com/bjodah/groebner

Repository

Some tools I created for fast groebner base calculation.

https://github.com/bjodah/groebner/blob/master/

# 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 Faugres F5 algorithm
* `FGb`, a wrapper around Faugres [fast groebner library](http://www-polsys.lip6.fr/~jcf/FGb/index.html)

## Papers

* [2014 Sun, Wang, Huang, Lin - A Monomial-oriented GVW for Computing Grobner Bases](https://arxiv.org/abs/1410.0105v1)
* [2010 Faugere - FGb/ a library for computing Grobner bases](http://www-polsys.lip6.fr/~jcf/Papers/ICMS.pdf)
* 2010 Eder, Perry - F5C A variant of Faugere's F5 algorithm with reduced Grobner bases
* [2010 Albrecht, Perry - F45](https://arxiv.org/abs/1006.4933v2)
* [2002 Faugere - A new efficient algorithm for computing Grobner bases without reduction to zero (F5)](http://www-polsys.lip6.fr/~jcf/Papers/F02a.pdf)
* [1999 Faugere - A new efficient algorithm for computing Grobner bases (F4)](http://www-polsys.lip6.fr/~jcf/Papers/F99a.pdf)

# 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 
```

Owner

GitHub Events