Magma

Maple package Magma. The Magma package is a collection of routines for working with small, finite magmas. A magma (sometimes also called a groupoid or a general binary system) is simply a set, together with a binary operation defined on that set.