Knots.PD

Documentation

data Node a

Constructors

N a a a a

Instances

Functor Node

Foldable Node

Eq a => Eq (Node a)

Read a => Read (Node a)

Show a => Show (Node a)

type PD a = [Node a]

indices :: Ord a => PD a -> Set a

trefoil :: PD Int

data ElMo

ElMo is short for Elementary Morphism, for the building blocks of our matrices.

Constructors

Mult Int Int Int

Comult Int Int Int

Neg ElMo

Instances

Eq ElMo

Show ElMo

resolve_set :: Ord a => PD a -> Set (Set a)

resolve_one_set :: Ord a => Node a -> Set (Set a) -> Set (Set a)

mergeParts :: Ord a => a -> a -> Set (Set a) -> Set (Set a)

mirror :: PD a -> PD a

switch :: Node a -> Node a

switch' :: Set Int -> PD a -> PD a

replaceBySeveral :: Eq a => a -> [a] -> PD a -> PD a

replaceFirst :: Eq a => a -> a -> PD a -> PD a

addHopfy

Arguments

:: Ord a

=> a

Position where to add hopfy

-> a

Fresh name (1)

-> a

Fresh name (2)

-> a

Fresh name (3)

-> a

Fresh name (4)

-> PD a

-> PD a