Math.Combinat.FreeGroups

Words

data Generator a

unGen

type Word a

showGen

showWord

inverseGen

inverseWord

allWords

allWordsNoInv

Random words

randomGenerator

randomGeneratorNoInv

randomWord

randomWordNoInv

The free group on g generators

multiplyFree

reduceWordFree

countIdentityWordsFree

countWordReductionsFree

Free powers of cyclic groups

multiplyZ2

multiplyZ3

multiplyZm

reduceWordZ2

reduceWordZ3

reduceWordZm

countIdentityWordsZ2

countWordReductionsZ2

countIdentityWordsZ3NoInv