Linear Practical Algebraic Calculus

This page provides access to the source code, benchmarks, and experiments.


2021: First release of Pacheck 2.0 (available here) and Pastèque 2.0 (available here).


For Pacheck 2.0, ensure GMP (on linux, use your package manager) is installed and use ``./ && make''.

For Pasteque 2.0, ensure MLton is installed and use ``make llvm'' (or ``make'' if your MLton does not support LLVM code generation or if it fails due to fPIC errors).

Experimental Data

[ KaufmannFleuryBiereKauers-FMSD-data.tar.xz ] experimental data (21.3 MB)