Knots.Braid

Documentation

data Braid

Constructors

Braid

Fields

braidWidth :: Int

braidWord :: [Int]

Instances

Eq Braid

Read Braid

Show Braid

data N a

Constructors

Z a

S (N a)

Instances

Eq a => Eq (N a)

Ord a => Ord (N a)

Read a => Read (N a)

Show a => Show (N a)

the :: N a -> a

fromBraid :: Braid -> PD (N Int)

fromBraid' :: Int -> [Int] -> ([N Int], PD (N Int))

renameShift :: Int -> N Int -> N Int

torusBraid :: Int -> Int -> Braid

mirrorBraid :: Braid -> Braid

torusTurn :: Int -> [Int]