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