Safe Haskell	None
Language	Haskell98

Math.Algebras.LaurentPoly

Documentation

data LaurentMonomial Source #

Constructors

LM Int [(String, Int)]

Instances

Eq LaurentMonomial Source #
Methods (==) :: LaurentMonomial -> LaurentMonomial -> Bool # (/=) :: LaurentMonomial -> LaurentMonomial -> Bool #
Ord LaurentMonomial Source #
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 Source #
Methods showsPrec :: Int -> LaurentMonomial -> ShowS # show :: LaurentMonomial -> String # showList :: [LaurentMonomial] -> ShowS #
Mon LaurentMonomial Source #
Methods munit :: LaurentMonomial Source # mmult :: LaurentMonomial -> LaurentMonomial -> LaurentMonomial Source #
(Eq k, Num k) => Algebra k LaurentMonomial Source #
Methods unit :: k -> Vect k LaurentMonomial Source # mult :: Vect k (Tensor LaurentMonomial LaurentMonomial) -> Vect k LaurentMonomial Source #
(Eq k, Fractional k) => Fractional (LaurentPoly k) Source #
Methods (/) :: LaurentPoly k -> LaurentPoly k -> LaurentPoly k # recip :: LaurentPoly k -> LaurentPoly k # fromRational :: Rational -> LaurentPoly k #
HopfAlgebra (LaurentPoly Q) (SL2q String) Source #
Methods antipode :: Vect (LaurentPoly Q) (SL2q String) -> Vect (LaurentPoly Q) (SL2q String) Source #
Bialgebra (LaurentPoly Q) (SL2q String) Source #

Bialgebra (LaurentPoly Q) (M2q String) Source #

Coalgebra (LaurentPoly Q) (SL2q String) Source #
Methods counit :: Vect (LaurentPoly Q) (SL2q String) -> LaurentPoly Q Source # comult :: Vect (LaurentPoly Q) (SL2q String) -> Vect (LaurentPoly Q) (Tensor (SL2q String) (SL2q String)) Source #
Coalgebra (LaurentPoly Q) (M2q String) Source #
Methods counit :: Vect (LaurentPoly Q) (M2q String) -> LaurentPoly Q Source # comult :: Vect (LaurentPoly Q) (M2q String) -> Vect (LaurentPoly Q) (Tensor (M2q String) (M2q String)) Source #
Algebra (LaurentPoly Q) (SL2q String) Source #
Methods unit :: LaurentPoly Q -> Vect (LaurentPoly Q) (SL2q String) Source # mult :: Vect (LaurentPoly Q) (Tensor (SL2q String) (SL2q String)) -> Vect (LaurentPoly Q) (SL2q String) Source #
Algebra (LaurentPoly Q) (M2q String) Source #
Methods unit :: LaurentPoly Q -> Vect (LaurentPoly Q) (M2q String) Source # mult :: Vect (LaurentPoly Q) (Tensor (M2q String) (M2q String)) -> Vect (LaurentPoly Q) (M2q String) Source #
Algebra (LaurentPoly Q) (Aq02 String) Source #
Methods unit :: LaurentPoly Q -> Vect (LaurentPoly Q) (Aq02 String) Source # mult :: Vect (LaurentPoly Q) (Tensor (Aq02 String) (Aq02 String)) -> Vect (LaurentPoly Q) (Aq02 String) Source #
Algebra (LaurentPoly Q) (Aq20 String) Source #
Methods unit :: LaurentPoly Q -> Vect (LaurentPoly Q) (Aq20 String) Source # mult :: Vect (LaurentPoly Q) (Tensor (Aq20 String) (Aq20 String)) -> Vect (LaurentPoly Q) (Aq20 String) Source #
Comodule (LaurentPoly Q) (M2q String) (Aq20 String) Source #
Methods coaction :: Vect (LaurentPoly Q) (Aq20 String) -> Vect (LaurentPoly Q) (Tensor (M2q String) (Aq20 String)) Source #

type LaurentPoly k = Vect k LaurentMonomial Source #

lvar :: String -> LaurentPoly Q Source #

q :: LaurentPoly Q Source #

q' :: LaurentPoly Q Source #