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

Safe HaskellSafe-Infered

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 (LaurentPoly Q) (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 (LaurentPoly Q) (m [Char]), Monomial m) => [Vect (LaurentPoly Q) (m [Char])]Source

newtype Aq20 v Source

Constructors

Aq20 (NonComMonomial v) 

Instances

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

newtype Aq02 v Source

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 :: (Ord (m [Char]), Show (m [Char]), Algebra (LaurentPoly Q) (m [Char]), Monomial m) => [Vect (LaurentPoly Q) (m [Char])]Source

newtype M2q v Source

Constructors

M2q (NonComMonomial v) 

Instances

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

newtype SL2q v Source

Constructors

SL2q (NonComMonomial v) 

Instances

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