HaskellForMaths-0.4.5: Combinatorics, group theory, commutative algebra, non-commutative algebra

Safe Haskell | None

Math.QuantumAlgebra.Tangle

Description

A module defining the category of tangles, and representations into the category of vector spaces (specifically, knot invariants).

# Documentation

data Tangle Source

Instances

TensorCategory Tangle |
Category Tangle |
Eq (Ob Tangle) |
Eq (Ar Tangle) |
Ord (Ob Tangle) |
Ord (Ar Tangle) |
Show (Ob Tangle) |
Show (Ar Tangle) |

data Oriented Source

Constructors

Plus |
Minus |

Instances

Eq Oriented |
Ord Oriented |
Show Oriented |

type TangleRep b = Vect (LaurentPoly Q) bSource

cap :: [Oriented] -> TangleRep [Oriented]Source

cup :: [Oriented] -> TangleRep [Oriented]Source

over :: [Oriented] -> TangleRep [Oriented]Source

under :: [Oriented] -> TangleRep [Oriented]Source

loop :: Vect (LaurentPoly Q) [Oriented]Source

trefoil :: Vect (LaurentPoly Q) [Oriented]Source

kauffman :: Ar Tangle -> TangleRep [Oriented] -> TangleRep [Oriented]Source

loopT :: Ar Tangle Source

trefoilT :: Ar Tangle Source