Math.Combinat.Groups.Braid.NF

Normal form

data BraidNF n

nfReprWord

braidNormalForm

braidNormalForm'

braidNormalFormNaive'

Starting and finishing sets

permWordStartingSet

permWordFinishingSet

permutationStartingSet

permutationFinishingSet