REDUCE + ReLie basics

Ensure Docker is running

• Check the CLI is available: docker --version.
• Check the daemon is reachable: docker info.
• If the daemon is not available, start Docker Desktop (macOS: open -a Docker) and wait until docker info succeeds.
  • Example wait loop:

    bash
    1for i in {1..60}; do docker info >/dev/null 2>&1 && break; sleep 1; done

• If you use Colima instead of Docker Desktop, start it with colima start and then re-check docker info.
• If you see permission denied while trying to connect to the docker API at unix:///.../docker.sock, rerun the command with elevated permissions or fix your socket access.
  • In Codex CLI with sandboxing, rerun the docker command with escalated permissions so it can reach the socket.

Use local ReLie source

Use the vendored ReLie file in this repo:

resources/relie-src/relie.red

Run REDUCE in Docker (repo mounted)

Use this canonical command from the repo root:

bash
1docker run --rm -it --platform linux/amd64 \
2  -v "$PWD":/workspace -w /workspace \
3  --entrypoint /usr/lib/reduce/cslbuild/csl/reduce \
4  lunacamp/reduce-algebra

Notes:

• On Apple Silicon, keep --platform linux/amd64.
• If docker is not in PATH, use its full path.

Load ReLie and run a tiny smoke test

In the REDUCE prompt:

reduce
1in "resources/relie-src/relie.red"$
2
3% Tiny smoke test: confirm the REPL responds after load.
41+1;

Exit with bye; when done.

Optional: run a tiny ReLie pipeline test (heat equation)

This mirrors a full run without interactive typing:

bash
1docker run --rm -i --platform linux/amd64 \
2  -v "$PWD":/workspace -w /workspace \
3  --entrypoint /usr/lib/reduce/cslbuild/csl/reduce \
4  lunacamp/reduce-algebra <<'EOF'
5
6in "resources/relie-src/relie.red"$
7
8jetorder := 2$
9xvar := {t,x}$
10uvar := {u}$
11diffeqs := {u_t - u_xx}$
12leadders := {u_xx}$
13
14relie(4)$
15reliegen(1,{})$
16
17symmetries;
18generators;
19bye;
20EOF

If you present results to a user, summarize them in natural language (see reduce-relie-lie-symmetries).