research-template

Requirements

Project layout

Directory	Contents
computations/	Magma .m and SageMath .sage scripts run by verify_all.sh
logs/	Output from verify_all.sh (committed as a record of the computations)
src/	Library/source code shared across computations
tests/	Test scripts

Running computations

To run all scripts in computations/ in parallel (requires GNU parallel):

make verify           # uses 10 parallel jobs by default
bash verify_all.sh 4  # or call the script directly to set the job count

Output lands in logs/<subdir>/<script-name>.txt, mirroring the computations/ layout. SageMath scripts also produce a .timing.txt alongside.

Running tests

make test

Running on a remote machine

make verify_remote ssh="user@hostname"  # sync and run all computations
make copy_logs     ssh="user@hostname"  # fetch logs back afterwards

Troubleshooting

parallel: command not found

GNU parallel is not installed. Install it with:

# macOS
brew install parallel

# Debian / Ubuntu
sudo apt install parallel

# RHEL / Fedora
sudo dnf install parallel