Alexander S. Petty

nfield

A tool for digit fields, alignment,
and collision arithmetic.

I wrote nfield to get the calculations out of one-off programs and into something I could query, sweep, test, and reuse. You can reproduce a calculation from a paper, change the base or denominator, and see what changes.

What you can investigate

Choose an example to run

Papers and checks

If you came here from a paper, help reading-map identifies the relevant commands. You can inspect one case, scan a range, or run a verifier’s fixed checks.

The output distinguishes exact arithmetic, numerical results, and bounded searches. A verifier reports what it actually checked.

Open the reading map

Run locally

The program is written in C. Build it with Make, LAPACK, and BLAS. Running locally gives you larger inputs, shell completion, and the JSON/TCP daemon.

git clone https://github.com/alexspetty/nfield.git
cd nfield
make
./nfield field 7
Build instructions

Free for personal and educational use

Use nfield for personal work, study, education, and noncommercial research. If you’re using it in commercial work, including commercial research, get in touch about a license.

The Lean proofs are separately available under Apache 2.0.

Licensing and inquiries
Public reference: 9a85687 · Command reference · Lean proofs