HaskellForMaths-0.4.3: Combinatorics, group theory, commutative algebra, non-commutative algebra
Math.Algebras.AffinePlane
Description
A module defining the affine plane and its symmetries
data XY Source
Constructors
Instances
x :: GlexPoly Q XYSource
y :: GlexPoly Q XYSource
data ABCD Source
a, d, c, b :: Monomial m => Vect Q (m ABCD)Source
newtype SL2 v Source
sl2Var :: Num k => v -> Vect k (SL2 v)Source