Math.Algebras.LaurentPoly

Documentation

data LaurentMonomial

Constructors

LM Int [(String, Int)]

Instances

Eq LaurentMonomial

Defined in Math.Algebras.LaurentPoly

Methods

(==) :: LaurentMonomial -> LaurentMonomial -> Bool

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

Ord LaurentMonomial

Defined in Math.Algebras.LaurentPoly

Methods

compare :: LaurentMonomial -> LaurentMonomial -> Ordering

(<) :: LaurentMonomial -> LaurentMonomial -> Bool

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

(>) :: LaurentMonomial -> LaurentMonomial -> Bool

(>=) :: LaurentMonomial -> LaurentMonomial -> Bool

max :: LaurentMonomial -> LaurentMonomial -> LaurentMonomial

min :: LaurentMonomial -> LaurentMonomial -> LaurentMonomial

Show LaurentMonomial

Defined in Math.Algebras.LaurentPoly

Methods

showsPrec :: Int -> LaurentMonomial -> ShowS

show :: LaurentMonomial -> String

showList :: [LaurentMonomial] -> ShowS

Mon LaurentMonomial

Defined in Math.Algebras.LaurentPoly

Methods

munit :: LaurentMonomial

mmult :: LaurentMonomial -> LaurentMonomial -> LaurentMonomial

(Eq k, Num k) => Algebra k LaurentMonomial

Defined in Math.Algebras.LaurentPoly

Methods

unit :: k -> Vect k LaurentMonomial

mult :: Vect k (Tensor LaurentMonomial LaurentMonomial) -> Vect k LaurentMonomial

(Eq k, Fractional k) => Fractional (LaurentPoly k)

Defined in Math.Algebras.LaurentPoly

Methods

(/) :: LaurentPoly k -> LaurentPoly k -> LaurentPoly k

recip :: LaurentPoly k -> LaurentPoly k

fromRational :: Rational -> LaurentPoly k

HopfAlgebra (LaurentPoly Q) (SL2q String)

Defined in Math.QuantumAlgebra.QuantumPlane

Methods

antipode :: Vect (LaurentPoly Q) (SL2q String) -> Vect (LaurentPoly Q) (SL2q String)

Bialgebra (LaurentPoly Q) (SL2q String)

Defined in Math.QuantumAlgebra.QuantumPlane

Bialgebra (LaurentPoly Q) (M2q String)

Defined in Math.QuantumAlgebra.QuantumPlane

Coalgebra (LaurentPoly Q) (SL2q String)

Defined in Math.QuantumAlgebra.QuantumPlane

Methods

counit :: Vect (LaurentPoly Q) (SL2q String) -> LaurentPoly Q

comult :: Vect (LaurentPoly Q) (SL2q String) -> Vect (LaurentPoly Q) (Tensor (SL2q String) (SL2q String))

Coalgebra (LaurentPoly Q) (M2q String)

Defined in Math.QuantumAlgebra.QuantumPlane

Methods

counit :: Vect (LaurentPoly Q) (M2q String) -> LaurentPoly Q

comult :: Vect (LaurentPoly Q) (M2q String) -> Vect (LaurentPoly Q) (Tensor (M2q String) (M2q String))

Algebra (LaurentPoly Q) (SL2q String)

Defined in Math.QuantumAlgebra.QuantumPlane

Methods

unit :: LaurentPoly Q -> Vect (LaurentPoly Q) (SL2q String)

mult :: Vect (LaurentPoly Q) (Tensor (SL2q String) (SL2q String)) -> Vect (LaurentPoly Q) (SL2q String)

Algebra (LaurentPoly Q) (M2q String)

Defined in Math.QuantumAlgebra.QuantumPlane

Methods

unit :: LaurentPoly Q -> Vect (LaurentPoly Q) (M2q String)

mult :: Vect (LaurentPoly Q) (Tensor (M2q String) (M2q String)) -> Vect (LaurentPoly Q) (M2q String)

Algebra (LaurentPoly Q) (Aq02 String)

Defined in Math.QuantumAlgebra.QuantumPlane

Methods

unit :: LaurentPoly Q -> Vect (LaurentPoly Q) (Aq02 String)

mult :: Vect (LaurentPoly Q) (Tensor (Aq02 String) (Aq02 String)) -> Vect (LaurentPoly Q) (Aq02 String)

Algebra (LaurentPoly Q) (Aq20 String)

Defined in Math.QuantumAlgebra.QuantumPlane

Methods

unit :: LaurentPoly Q -> Vect (LaurentPoly Q) (Aq20 String)

mult :: Vect (LaurentPoly Q) (Tensor (Aq20 String) (Aq20 String)) -> Vect (LaurentPoly Q) (Aq20 String)

Comodule (LaurentPoly Q) (M2q String) (Aq20 String)

Defined in Math.QuantumAlgebra.QuantumPlane

Methods

coaction :: Vect (LaurentPoly Q) (Aq20 String) -> Vect (LaurentPoly Q) (Tensor (M2q String) (Aq20 String))

type LaurentPoly k = Vect k LaurentMonomial

lvar :: String -> LaurentPoly Q

q :: LaurentPoly Q

q' :: LaurentPoly Q