Math.Combinat.Permutations

The Permutation type

data Permutation

fromPermutation

permutationArray

permutationUArray

uarrayToPermutationUnsafe

isPermutation

maybePermutation

toPermutation

toPermutationUnsafe

permutationSize

Disjoint cycles

data DisjointCycles

fromDisjointCycles

disjointCyclesUnsafe

permutationToDisjointCycles

disjointCyclesToPermutation

numberOfCycles

Queries

isIdentityPermutation

isReversePermutation

isEvenPermutation

isOddPermutation

signOfPermutation

signValueOfPermutation

isCyclicPermutation

Some concrete permutations

transposition

transpositions

adjacentTransposition

adjacentTranspositions

cycleLeft

cycleRight

reversePermutation

Inversions

inversions

numberOfInversions

numberOfInversionsNaive

numberOfInversionsMerge

bubbleSort2

bubbleSort

Permutation groups

identity

inverse

multiply

multiplyMany

multiplyMany'

Action of the permutation group

permute

permuteList

permuteLeft

permuteRight

permuteLeftList

permuteRightList

ASCII drawing

asciiPermutation

asciiDisjointCycles

twoLineNotation

inverseTwoLineNotation

genericTwoLineNotation

List of permutations

permutations

_permutations

permutationsNaive

_permutationsNaive

countPermutations

Random permutations

randomPermutation

_randomPermutation

randomCyclicPermutation

_randomCyclicPermutation

randomPermutationDurstenfeld

randomCyclicPermutationSattolo

Multisets

permuteMultiset

countPermuteMultiset

fasc2B_algorithm_L