HaskellForMaths-0.4.9: Combinatorics, group theory, commutative algebra, non-commutative algebra
Safe HaskellNone
LanguageHaskell98

Math.QuantumAlgebra.OrientedTangle

Documentation

data Oriented Source #

Constructors

Plus 
Minus 

Instances

Instances details
Eq Oriented Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Methods

(==) :: Oriented -> Oriented -> Bool

(/=) :: Oriented -> Oriented -> Bool

Ord Oriented Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Methods

compare :: Oriented -> Oriented -> Ordering

(<) :: Oriented -> Oriented -> Bool

(<=) :: Oriented -> Oriented -> Bool

(>) :: Oriented -> Oriented -> Bool

(>=) :: Oriented -> Oriented -> Bool

max :: Oriented -> Oriented -> Oriented

min :: Oriented -> Oriented -> Oriented

Show Oriented Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Methods

showsPrec :: Int -> Oriented -> ShowS

show :: Oriented -> String

showList :: [Oriented] -> ShowS

data HorizDir Source #

Constructors

ToL 
ToR 

Instances

Instances details
Eq HorizDir Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Methods

(==) :: HorizDir -> HorizDir -> Bool

(/=) :: HorizDir -> HorizDir -> Bool

Ord HorizDir Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Methods

compare :: HorizDir -> HorizDir -> Ordering

(<) :: HorizDir -> HorizDir -> Bool

(<=) :: HorizDir -> HorizDir -> Bool

(>) :: HorizDir -> HorizDir -> Bool

(>=) :: HorizDir -> HorizDir -> Bool

max :: HorizDir -> HorizDir -> HorizDir

min :: HorizDir -> HorizDir -> HorizDir

Show HorizDir Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Methods

showsPrec :: Int -> HorizDir -> ShowS

show :: HorizDir -> String

showList :: [HorizDir] -> ShowS

data OrientedTangle Source #

Instances

Instances details
Monoidal OrientedTangle Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

MCategory OrientedTangle Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Associated Types

data Ob OrientedTangle Source #

data Ar OrientedTangle Source #

Eq (Ob OrientedTangle) Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Eq (Ar OrientedTangle) Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Ord (Ob OrientedTangle) Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Ord (Ar OrientedTangle) Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Show (Ob OrientedTangle) Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Methods

showsPrec :: Int -> Ob OrientedTangle -> ShowS

show :: Ob OrientedTangle -> String

showList :: [Ob OrientedTangle] -> ShowS

Show (Ar OrientedTangle) Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

Methods

showsPrec :: Int -> Ar OrientedTangle -> ShowS

show :: Ar OrientedTangle -> String

showList :: [Ar OrientedTangle] -> ShowS

data Ob OrientedTangle Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

data Ar OrientedTangle Source # 
Instance details

Defined in Math.QuantumAlgebra.OrientedTangle

idV :: a -> a Source #

idV' :: a -> a Source #

coevalV :: (Eq k, Num k) => Int -> Vect k (Tensor EBasis EBasis) Source #

coevalV' :: (Eq k, Num k) => Int -> Vect k (Tensor EBasis EBasis) Source #

lambda :: Integral b => b -> LaurentPoly Q Source #

c :: Integral b => b -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source #

c' :: Integral b => b -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source #

testcc' :: Integral b => b -> Vect (LaurentPoly Q) (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source #

mu :: Integral b => b -> EBasis -> Vect (LaurentPoly Q) EBasis Source #

mu' :: Integral b => b -> EBasis -> Vect (LaurentPoly Q) EBasis Source #

capRL :: (Eq k, Num k) => Int -> Vect k (Tensor EBasis EBasis) Source #

cupRL :: Int -> (EBasis, EBasis) -> Vect (LaurentPoly Q) () Source #

cupLR :: Int -> (EBasis, EBasis) -> Vect (LaurentPoly Q) () Source #

xplus :: Integral b => b -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source #

xminus :: Integral b => b -> (EBasis, EBasis) -> Vect (LaurentPoly Q) (EBasis, EBasis) Source #

oloop :: Int -> Vect (LaurentPoly Q) () Source #