Math.Combinat.Groups.Thompson.F

Tree diagrams

data TDiag

mkTDiag

mkTDiagDontReduce

isValidTDiag

isPositive

isReduced

x0

x1

xk

identity

positive

inverse

equivalent

Reduction of tree diagrams

reduce

treeCaretList

removeCarets

Composition of tree diagrams

compose

composeDontReduce

extensionToCommonTree

Subdivions

subdivision1

subdivision2

Binary trees

data Tree a

graft

listGraft

type T

leaf

branch

caret

treeNumberOfLeaves

treeWidth

enumerate_

enumerate

rightVine

leftVine

flipTree

Conversion to/from BinTree

toBinTree

fromBinTree

Pattern synonyms

ASCII

asciiT

asciiT'

asciiTLabels

asciiTLabels'

asciiTDiag