Matthew Gretton-Dann
3288d85db7
I changed the name of the repository in gitea so the URIs in the README, dune-project, and partridge.opam files need updating.
46 lines
808 B
Markdown
46 lines
808 B
Markdown
# Partridge
|
|
|
|
Following Matt Parker's Video on Squares of Triangle Numbers being sum of cubes,
|
|
and the Partridge Problem: https://youtu.be/eqyuQZHfNPQ?si=hbOQdVKBC-jwvysk.
|
|
|
|
This repository contains code that will find solutions to the problem.
|
|
|
|
## Copyright & Licence
|
|
|
|
This code is copyright 2025 Matthew Gretton-Dann. Licensed under the
|
|
Apache-2.0 license.
|
|
|
|
## Running the code
|
|
|
|
### Prerequisites
|
|
|
|
Prerequisite is to have `git` and `opam` installed on the path.
|
|
|
|
### Code checkout and setup.
|
|
|
|
```sh
|
|
git clone https://gitea.gretton-dann.org.uk/mgrettondann/partridge.git
|
|
cd partridge
|
|
opam switch create .
|
|
opam update
|
|
opam install . --deps-only
|
|
```
|
|
|
|
### Building
|
|
|
|
```sh
|
|
dune build
|
|
```
|
|
|
|
### Testing
|
|
|
|
```sh
|
|
dune runtest
|
|
```
|
|
|
|
### Executing
|
|
|
|
```sh
|
|
N=9 # Set N to largest size of square.
|
|
dune exec partridge $N
|
|
``` |