Repository files navigation

This in an C++ implementation ofBuchberger's algorithm. The input ofbuchberger util is the initial boolean basis inGNV format, the output is the corresponding booleanGröbner basis.

To compile this project one would need:

• C++ compiler with C++14 support (tested ones are GCC and MSVC)
• CMake >= 3.5.0

On Linux:

cd ./buildcmake ..make

On Windows do the following:

cd ./buildcmake ..

and openbuchberger.sln with Visual Studio.

To get the usage message just run utility without any arguments:

$ ./buchbergerUsage:./buchberger <file_name.gnv> - execute given task;./buchberger -v, --version - print version;./buchberger -h, --help - print this message.

At is it said in the usage message, to run a becnhmark of computing boolean Gröbner basis one should provide path to GNV file as the first argument:

$ ./buchberger ./kats14.gnv  user time: 0.70 secsystem time: 0.00 sec  real time: 0.70 secThe answer is CORRECT

buchberger utility will read the content on the GNV file and build a boolean Gröbner basis for the initial basis. If and only if the GNV file contains the correct answer, the output messageThe answer is CORRECT ofThe answer is WRONG has meaning.