Linear Practical Algebraic Calculus
This page provides access to the source code, benchmarks, and experiments.
For Pacheck 2.0, ensure GMP (on linux, use your package manager) is installed and use ``./configure.sh && 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).
[ KaufmannFleuryBiereKauers-FMSD-data.tar.xz ] experimental data (21.3 MB)