Computer algebra system
Groups, moves and rules · GAP, Magma
created · updated
A program that calculates with formulas and abstract objects rather than only numbers. In GAP and Magma groups are defined by moves and rules. The group from the paper arXiv 2610.23637 is defined in GAP with a couple of lines: the free group on x and t, divided by two relations.
The group from the paper in GAP
- Moves · F := FreeGroup("x", "t");; x := F.1;; t := F.2;;
- Rules · G := F / [ x^6, Comm(x^3, t*x^2*t^-1) ];;
Source: gap-system.org, the GAP site
Read more: How many rules does a game need: formally
Where it appears · 1
- How many rules does a game need · Research