F4
Implementation of the F4 algorithm.
 All Classes Namespaces Files Functions Variables Friends
Macros | Typedefs | Functions
libf4.cpp File Reference

Compute a grevlex groebner groebner basis of the input. More...

#include <iostream>
#include <sstream>
#include "../include/libf4.h"
#include "../include/ideal.h"
Include dependency graph for libf4.cpp:

Typedefs

typedef ElementPrime< int16_t > eltType1
 
typedef ElementPrime< int32_t > eltType2
 
typedef ElementPrime< int64_t > eltType3
 

Functions

vector< string > groebnerBasisF4 (int64_t modulo, int nbVariable, vector< string > variableName, vector< string > polynomialList, int nbThread, int verbose)
 

Detailed Description

Compute a grevlex groebner groebner basis of the input.

Author
Vanessa VITSE, Antoine JOUX, Titouan COLADON