Math.Combinat.Groups.Free

Words

data Generator idx

genIdx

genSign

genSignValue

absGen

type Word idx

showGen

showWord

inverseGen

inverseWord

allWords

allWordsNoInv

Random words

randomGenerator

randomGeneratorNoInv

randomWord

randomWordNoInv

The free group on g generators

multiplyFree

equivalentFree

reduceWordFree

reduceWordFreeNaive

countIdentityWordsFree

countWordReductionsFree

Free powers of cyclic groups

multiplyZ2

multiplyZ3

multiplyZm

equivalentZ2

equivalentZ3

equivalentZm

reduceWordZ2

reduceWordZ3

reduceWordZm

reduceWordZ2Naive

reduceWordZ3Naive

reduceWordZmNaive

countIdentityWordsZ2

countWordReductionsZ2

countIdentityWordsZ3NoInv