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

Safe HaskellNone
LanguageHaskell98

Math.Algebras.AffinePlane

Description

A module defining the affine plane and its symmetries

Documentation

data XY Source

Constructors

X 
Y 

Instances

x :: GlexPoly Q XY Source

y :: GlexPoly Q XY Source

data ABCD Source

Constructors

A 
B 
C 
D 

Instances

a :: Monomial m => Vect Q (m ABCD) Source

d :: Monomial m => Vect Q (m ABCD) Source

c :: Monomial m => Vect Q (m ABCD) Source

b :: Monomial m => Vect Q (m ABCD) Source

newtype SL2 v Source

Constructors

SL2 (GlexMonomial v) 

Instances

sl2Var :: Num k => v -> Vect k (SL2 v) Source