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

Safe Haskell	None
Language	Haskell98

Math.QuantumAlgebra.QuantumPlane

Description

A module defining the quantum plane and its symmetries

Documentation

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

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

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

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

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

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

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

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

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

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

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

newtype Aq20 v Source

Constructors

Aq20 (NonComMonomial v)

Instances

Monomial Aq20 Source
Eq v => Eq (Aq20 v) Source
Ord v => Ord (Aq20 v) Source
(Eq v, Show v) => Show (Aq20 v) Source
Algebra (LaurentPoly Q) (Aq20 String) Source
Comodule (LaurentPoly Q) (M2q String) (Aq20 String) Source

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

newtype Aq02 v Source

Constructors

Aq02 (NonComMonomial v)

Instances

Monomial Aq02 Source
Eq v => Eq (Aq02 v) Source
Ord v => Ord (Aq02 v) Source
(Eq v, Show v) => Show (Aq02 v) Source
Algebra (LaurentPoly Q) (Aq02 String) Source

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

newtype M2q v Source

Constructors

M2q (NonComMonomial v)

Instances

Monomial M2q Source
Eq v => Eq (M2q v) Source
Ord v => Ord (M2q v) Source
(Eq v, Show v) => Show (M2q v) Source
Bialgebra (LaurentPoly Q) (M2q String) Source
Coalgebra (LaurentPoly Q) (M2q String) Source
Algebra (LaurentPoly Q) (M2q String) Source
Comodule (LaurentPoly Q) (M2q String) (Aq20 String) Source

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

newtype SL2q v Source

Constructors

SL2q (NonComMonomial v)

Instances

Monomial SL2q Source
Eq v => Eq (SL2q v) Source
Ord v => Ord (SL2q v) Source
(Eq v, Show v) => Show (SL2q v) Source
HopfAlgebra (LaurentPoly Q) (SL2q String) Source
Bialgebra (LaurentPoly Q) (SL2q String) Source
Coalgebra (LaurentPoly Q) (SL2q String) Source
Algebra (LaurentPoly Q) (SL2q String) Source

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