You will first need to compile axfglm using a C compiler:

On Windows with Visual Studio
- open a developer command prompt (64-bit)
- change to the axfglm directory
- run make.bat

On Windows with MinGW
- open a developer command prompt
- change to the axfglm directory
- run makegw.bat

On Mac, Linux, and other platforms
- change to the axfglm directory
- run make

Next, run a small example to see how it works

./axfglm -p 32003 -v [x0,x1,x2,x3,x4,x5,x6] -l [x0,x1,x2,x3,x4,x5,x6] cyclic7_32003.txt

This should compute a lex Groebner basis and save it to a file cyclic7_32003.txt.out
