Math.QuantumAlgebra.QuantumPlane

A module defining the quantum plane and its symmetries

Documentation

qvar :: Monomial m => v -> Vect (LaurentPoly Q) (m v)

a :: Monomial m => Vect (LaurentPoly Q) (m [Char])

b :: Monomial m => Vect (LaurentPoly Q) (m [Char])

c :: Monomial m => Vect (LaurentPoly Q) (m [Char])

d :: Monomial m => Vect (LaurentPoly Q) (m [Char])

detq :: (Monomial m, Algebra (Vect Q LaurentMonomial) (m [Char]), Show (m [Char]), Ord (m [Char])) => Vect (LaurentPoly Q) (m [Char])

x :: Monomial m => Vect (LaurentPoly Q) (m [Char])

y :: Monomial m => Vect (LaurentPoly Q) (m [Char])

u :: Monomial m => Vect (LaurentPoly Q) (m [Char])

v :: Monomial m => Vect (LaurentPoly Q) (m [Char])

aq20 :: (Monomial m, Algebra (Vect Q LaurentMonomial) (m [Char]), Show (m [Char]), Ord (m [Char])) => [Vect (LaurentPoly Q) (m [Char])]

newtype Aq20 v

Constructors

Aq20 (NonComMonomial v)

Instances

Monomial Aq20

Eq v => Eq (Aq20 v)

Ord v => Ord (Aq20 v)

(Eq v, Show v) => Show (Aq20 v)

Algebra (LaurentPoly Q) (Aq20 String)

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

aq02 :: (Monomial m, Algebra (Vect Q LaurentMonomial) (m [Char]), Show (m [Char]), Ord (m [Char])) => [Vect (LaurentPoly Q) (m [Char])]

newtype Aq02 v

Constructors

Aq02 (NonComMonomial v)

Instances

Monomial Aq02

Eq v => Eq (Aq02 v)

Ord v => Ord (Aq02 v)

(Eq v, Show v) => Show (Aq02 v)

Algebra (LaurentPoly Q) (Aq02 String)

m2q :: (Monomial m, Algebra (Vect Q LaurentMonomial) (m [Char]), Show (m [Char]), Ord (m [Char])) => [Vect (LaurentPoly Q) (m [Char])]

newtype M2q v

Constructors

M2q (NonComMonomial v)

Instances

Monomial M2q

Eq v => Eq (M2q v)

Ord v => Ord (M2q v)

(Eq v, Show v) => Show (M2q v)

Bialgebra (LaurentPoly Q) (M2q String)

Coalgebra (LaurentPoly Q) (M2q String)

Algebra (LaurentPoly Q) (M2q String)

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

sl2q :: (Monomial m, Algebra (Vect Q LaurentMonomial) (m [Char]), Show (m [Char]), Ord (m [Char])) => [Vect (LaurentPoly Q) (m [Char])]

newtype SL2q v

Constructors

SL2q (NonComMonomial v)

Instances

Monomial SL2q

Eq v => Eq (SL2q v)

Ord v => Ord (SL2q v)

(Eq v, Show v) => Show (SL2q v)

HopfAlgebra (LaurentPoly Q) (SL2q String)

Bialgebra (LaurentPoly Q) (SL2q String)

Coalgebra (LaurentPoly Q) (SL2q String)

Algebra (LaurentPoly Q) (SL2q String)

yb :: (Algebra (Vect Q LaurentMonomial) t, Show t, Ord t) => Vect (LaurentPoly Q) (t, t) -> Vect (LaurentPoly Q) (t, t)