Math.QuantumAlgebra.QuantumPlane

A module defining the quantum plane and its symmetries

Documentation

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)

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)

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)

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)