Math.Algebra.Group.StringRewriting
rewrite
rewrite1
splitSubstring
findOverlap
knuthBendix1
ordpair
shortlex
knuthBendix2
merge
knuthBendix3
knuthBendix
nfs
elts
data SGen
s_
s1
s2
s3
_S
_S'
tri
_D