Система компьютерной алгебры
Группы, ходы и правила · GAP, Magma
создано · обновлено
Программа, которая считает с формулами и абстрактными объектами, а не только с числами. В GAP и Magma группы задают ходами и правилами. Группу из статьи arXiv 2610.23637 в GAP задают парой строк: свободная группа на x и t, делённая на два соотношения.
Группа из статьи в GAP
- Ходы · F := FreeGroup("x", "t");; x := F.1;; t := F.2;;
- Правила · G := F / [ x^6, Comm(x^3, t*x^2*t^-1) ];;
Источник: gap-system.org — сайт GAP
Подробнее: Сколько правил нужно, чтобы описать игру: формально
Где встречается · 1
- Сколько правил нужно, чтобы описать игру · Исследования