Math.Combinat.Groups.Braid

Artin generators

data BrGen

brGenIdx

brGenSign

brGenSignIdx

invBrGen

The braid type

data Braid n

numberOfStrands

data SomeBraid

someBraid

withSomeBraid

mkBraid

withBraid

braidWord

braidWordLength

extend

freeReduceBraidWord

Some specific braids

sigma

sigmaInv

doubleSigma

positiveWord

halfTwist

_halfTwist

theGarsideBraid

tau

tauPerm

Group operations

identity

inverse

compose

composeMany

composeDontReduce

Braid permutations

isPureBraid

braidPermutation

_braidPermutation

Permutation braids

isPositiveBraidWord

isPermutationBraid

_isPermutationBraid

permutationBraid

_permutationBraid

_permutationBraid'

linkingMatrix

_linkingMatrix

strandLinking

Growth

bronfmanH

bronfmanHsList

expandBronfmanH

ASCII diagram

horizBraidASCII

horizBraidASCII'

List of all words

allPositiveBraidWords

allBraidWords

_allPositiveBraidWords

_allBraidWords

Random braids

randomBraidWord

randomPositiveBraidWord

randomPerturbBraidWord

withRandomBraidWord

withRandomPositiveBraidWord

_randomBraidWord

_randomPositiveBraidWord