- Notifications
You must be signed in to change notification settings - Fork3
Utility for computing boolean Groebner bases with Buchberger's algorithm
License
mzinin/buchberger
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
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 ..makeOn 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 CORRECTbuchberger 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.