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

Math.QuantumAlgebra.QuantumPlane

Description

A module defining the quantum plane and its symmetries

Documentation

newtype Aq20 v Source

Constructors

Aq20 (NonComMonomial v) 

Instances

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) 

newtype M2q v Source

Constructors

M2q (NonComMonomial v) 

Instances

newtype SL2q v Source

Constructors

SL2q (NonComMonomial v) 

Instances