Computational group theory and discrete algebra language
