Smalloverlap — A GAP 4 package for small overlap monoids and semigroups. SmallOverlap is a GAP package for computing with monoids and semigroups given by finite presentations satisfying small overlap conditions of the kind introduced by Remmers [Rem71]. It includes routines for testing whether presentations satisfy small overlap conditions, and an implementation of a new, highly efficient algorithm to solve the word problem for monoid and semigroup presentations satisfying the condition C(4) ...
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.