Source Code

All code on this page is released into the public domain. You are free to use, modify, and distribute this code for any purpose.

Contact: rpearce@axcas.net

Machine Integers

Portable code for machine integers: mulmod, etc. used in Ax

Updated: August 2nd, 2026

Download .c

F4 Algorithm

The F4 Algorithm for computing Groebner bases in parallel, with accompanying paper and talk.

Updated: June 27th, 2026

Download ZIP Read Article View Slides

Systems Paper

A short paper and talk on the Ax computer algebra system.

Updated: June 27th, 2026

Read Article View Slides

Ax Groebner routines

The F4 and FGLM algorithms, packaged for integration with other software.

Updated: July 17th, 2026

Download ZIP

Cyclic-11 Groebner Basis

We computed a Groebner basis for cyclic-11 mod p in 144 hours using 1.1 TB of memory.

Updated: May 12th, 2026

Timing Data