How to use this playground
Type GAP code on the left and press Run (or Ctrl/⌘ + Enter). Your code runs on a fresh GitHub machine with the full GAP bundle, and the result appears on the right, usually within a minute. A run that has to wait for a machine can take a little longer.
Like the GAP prompt, a statement ending in ; shows its value (for example (1,2,3)^-1;),
while ;; hides it. Print(…) works too. Load packages with LoadPackage("semigroups");. Runs stop after 120 seconds.
Choose LaTeX above the output to typeset GAP results (permutations, matrices, fractions, powers, groups) automatically, plus any maths written between $…$ or $$…$$.
Prover9 and Mace4: pick the tool next to the editor title. Both read the same input language
(formulas(assumptions). … end_of_list., then formulas(goals). … end_of_list.).
Prover9 searches for a proof; Mace4 searches for a finite model or counterexample
(use assign(domain_size, 6). to fix the size).
They stop themselves after 100 seconds and their output is always shown as raw text.
The first Prover9/Mace4 run compiles the programs, so it waits a little longer.
Connection settings
Use a fine-grained token limited to this one repository with Contents: read & write (sends the run request), Actions: read (downloads the result) and Checks: read (backup output channel). The token is kept only in this browser's local storage and is sent only to api.github.com.