F4
Library for Gröebner basis computations over finite fields.
 All Classes Namespaces Files Functions Variables Friends Pages
/home/titouan/Bureau/Stage/project-f4-cpp/libf4.h
Go to the documentation of this file.
1 /*
2  * Copyright (C) 2015 Antoine Joux, Vanessa Vitse and Titouan Coladon
3  *
4  * This file is part of F4.
5  *
6  * F4 is free software: you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License as published by
8  * the Free Software Foundation, either version 3 of the License, or
9  * (at your option) any later version.
10  *
11  * F4 is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14  * GNU General Public License for more details.
15  *
16  * You should have received a copy of the GNU General Public License
17  * along with F4. If not, see <http://www.gnu.org/licenses/>.
18  */
19 
26 #ifndef F4_LIBF4_H
27 #define F4_LIBF4_H
28 
30 #include "f4/include/global.h"
31 #include <iostream>
32 #include <string>
33 #include <vector>
47 std::vector<std::string> groebnerBasisF4(int64_t modulo, int nbVariable, std::vector<std::string> variableName, std::vector<std::string> polynomialList, int nbThread, int verbose);
48 
58 std::vector<std::string> groebnerBasisGF2F4(int nbVariable, std::vector<std::string> variableName, std::vector<std::string> polynomialList, int nbThread, int verbose);
59 
71 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);
72 
73 //#ifdef HAVE_GIVARO
84 std::vector<std::string> groebnerBasisGivaroIntegerF4(std::string modulo, int nbVariable, std::vector<std::string> variableName, std::vector<std::string> polynomialList, int nbThread, int verbose);
85 //#endif // HAVE_GIVARO
86 
87 #endif // F4_LIBF4_H
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.
Wrapper for config.h in order to avoid multiple definitions.
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.
std::vector< std::string > groebnerBasisGivaroIntegerF4(std::string 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. Use only if modulo > 4294967291, otherwise use groebnerBasisF4.
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.