/home/titouan/Bureau/openf4-1.0.1/libopenf4.h File Reference

Declaration of library methods. More...

Go to the source code of this file.

Functions
std::vector< std::string >	groebnerBasisF4 (int64_t modulo, int nbVariable, std::vector< std::string > variableName, std::vector< std::string > polynomialList, int nbThread, int verbose)
	Compute a reduced groebner basis of the ideal defined by the list of polynomials polynomialList. More...
std::vector< std::string >	groebnerBasisGF2F4 (int nbVariable, std::vector< std::string > variableName, std::vector< std::string > polynomialList, int nbThread, int verbose)
	Compute a reduced groebner basis of the ideal defined by the list of polynomials polynomialList. More...
std::vector< std::string >	groebnerBasisGF2ExtensionF4 (std::string modulo, int nbVariable, std::vector< std::string > variableName, std::string polyVarName, std::vector< std::string > polynomialList, int nbThread, int verbose)
	Compute a reduced groebner basis of the ideal defined by the list of polynomials polynomialList. More...

Detailed Description

Declaration of library methods.

Author

Vanessa VITSE, Antoine JOUX, Titouan COLADON

Definition in file libopenf4.h.

Function Documentation

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

Compute a reduced groebner basis of the ideal defined by the list of polynomials polynomialList.

Parameters

modulo	Characteristic of the base field.
nbVariable	Number of variable of the polynomial ring.
variableName	Array of variable names used to describe the monomials.
polynomialList	List of polynomials under text format.
nbThread	Number of threads to use.
verbose	Verbosity level.

Returns

Reduced groebner basis under text format.

Examples:

tutorial-method2.cpp.

std::vector<std::string> groebnerBasisGF2ExtensionF4	(	std::string	modulo,
		int	nbVariable,
		std::vector< std::string >	variableName,
		std::string	polyVarName,
		std::vector< std::string >	polynomialList,
		int	nbThread,
		int	verbose
	)

Compute a reduced groebner basis of the ideal defined by the list of polynomials polynomialList.

Parameters

modulo	String representing the irreducible polynomial used to create the finite field (GF(2^n)=GF2[polyVarName]/modulo)
nbVariable	Number of variable of the polynomial ring.
variableName	Array of variable names used to describe the monomials.
polyVarName	Name of the variable used to describe the polynomial ring GF2[polyVarName].
polynomialList	List of polynomials under text format.
nbThread	Number of threads to use.
verbose	Verbosity level.

Returns

Reduced groebner basis under text format.

Examples:

tutorial-gf2-extension-method2.cpp.

std::vector<std::string> groebnerBasisGF2F4	(	int	nbVariable,
		std::vector< std::string >	variableName,
		std::vector< std::string >	polynomialList,
		int	nbThread,
		int	verbose
	)

Compute a reduced groebner basis of the ideal defined by the list of polynomials polynomialList.

Parameters

nbVariable	Number of variable of the polynomial ring.
variableName	Array of variable names used to describe the monomials.
polynomialList	List of polynomials under text format.
nbThread	Number of threads to use.
verbose	Verbosity level.

Returns

Reduced groebner basis under text format.

Examples:

tutorial-gf2-method2.cpp.