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

Safe HaskellNone
LanguageHaskell98

Math.QuantumAlgebra.Tangle

Contents

Description

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

Documentation

data Tangle Source #

Instances

Monoidal Tangle Source # 
MCategory Tangle Source # 
Eq (Ob Tangle) Source # 

Methods

(==) :: Ob Tangle -> Ob Tangle -> Bool #

(/=) :: Ob Tangle -> Ob Tangle -> Bool #

Eq (Ar Tangle) Source # 

Methods

(==) :: Ar Tangle -> Ar Tangle -> Bool #

(/=) :: Ar Tangle -> Ar Tangle -> Bool #

Ord (Ob Tangle) Source # 
Ord (Ar Tangle) Source # 
Show (Ob Tangle) Source # 
Show (Ar Tangle) Source # 
data Ob Tangle Source # 
data Ob Tangle = OT Int
data Ar Tangle Source # 

Orphan instances

(Eq k, Num k, Ord a) => Algebra k [a] Source # 

Methods

unit :: k -> Vect k [a] Source #

mult :: Vect k (Tensor [a] [a]) -> Vect k [a] Source #

Mon [a] Source # 

Methods

munit :: [a] Source #

mmult :: [a] -> [a] -> [a] Source #