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

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

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

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


Next, run a small example to see how it works

./axf4 -p 32003 -v [x0,x1,x2,x3,x4,x5,x6] cyclic7.txt

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