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.

Machine Integers

Optimized machine integer routines for high-performance computation.

Updated: August 27th, 2025

Download C Source

F4 Algorithm

The F4 Algorithm for computing Groebner bases in parallel, with accompanying research article.

Updated: March 13th, 2026

Download ZIP Read Article

Cyclic-11 mod p

axf4 has computed a Groebner basis for cyclic-11 mod 2^31-1. It took 201 hours on a Ryzen 9955HX 16c/32t and used 1.8TB of memory.

Updated: March 13th, 2026

View Output

FGLM Algorithm

The FGLM Algorithm for computing lexicographic Groebner bases.

Updated: October 28th, 2025

Download ZIP

Systems Paper

A short paper on the Ax computer algebra system.

Updated: March 26th, 2026

Read Article