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

Safe Haskell | None
Language | Haskell98

Math.Algebras.Matrix

# Documentation

data Mat2 Source #

Constructors

E2 Int Int |

Instances

Eq Mat2 Source # |
Instance details Defined in Math.Algebras.Matrix Methods (==) :: Mat2 -> Mat2 -> Bool Source # (/=) :: Mat2 -> Mat2 -> Bool Source #
Ord Mat2 Source # |
Instance details Defined in Math.Algebras.Matrix Methods compare :: Mat2 -> Mat2 -> Ordering Source # (<) :: Mat2 -> Mat2 -> Bool Source # (<=) :: Mat2 -> Mat2 -> Bool Source # (>) :: Mat2 -> Mat2 -> Bool Source # (>=) :: Mat2 -> Mat2 -> Bool Source # max :: Mat2 -> Mat2 -> Mat2 Source # min :: Mat2 -> Mat2 -> Mat2 Source #
Show Mat2 Source # |
Instance details Defined in Math.Algebras.Matrix Methods showsPrec :: Int -> Mat2 -> ShowS Source # show :: Mat2 -> String Source # showList :: [Mat2] -> ShowS Source #
(Eq k, Num k) => Algebra k Mat2 Source # |
Instance details Defined in Math.Algebras.Matrix Methods unit :: k -> Vect k Mat2 Source # mult :: Vect k (Tensor Mat2 Mat2) -> Vect k Mat2 Source #
(Eq k, Num k) => Module k Mat2 EBasis Source # |
Instance details Defined in Math.Algebras.Matrix Methods action :: Vect k (Tensor Mat2 EBasis) -> Vect k EBasis Source #

toMat2 :: (Eq k, Num k) => [[k]] -> Vect k Mat2 Source #

toEB2 :: (Eq k, Num k) => [k] -> Vect k EBasis Source #

toEB :: (Eq k, Num k) => [k] -> Vect k EBasis Source #

data Mat2' Source #

Constructors

E2' Int Int |

Instances

Eq Mat2' Source # |
Instance details Defined in Math.Algebras.Matrix Methods (==) :: Mat2' -> Mat2' -> Bool Source # (/=) :: Mat2' -> Mat2' -> Bool Source #
Ord Mat2' Source # |
Instance details Defined in Math.Algebras.Matrix Methods compare :: Mat2' -> Mat2' -> Ordering Source # (<) :: Mat2' -> Mat2' -> Bool Source # (<=) :: Mat2' -> Mat2' -> Bool Source # (>) :: Mat2' -> Mat2' -> Bool Source # (>=) :: Mat2' -> Mat2' -> Bool Source # max :: Mat2' -> Mat2' -> Mat2' Source # min :: Mat2' -> Mat2' -> Mat2' Source #
Show Mat2' Source # |
Instance details Defined in Math.Algebras.Matrix Methods showsPrec :: Int -> Mat2' -> ShowS Source # show :: Mat2' -> String Source # showList :: [Mat2'] -> ShowS Source #
(Eq k, Num k) => Coalgebra k Mat2' Source # |
Instance details Defined in Math.Algebras.Matrix Methods counit :: Vect k Mat2' -> k Source # comult :: Vect k Mat2' -> Vect k (Tensor Mat2' Mat2') Source #

data M3 Source #

Constructors

E3 Int Int |

Instances

Eq M3 Source # |
Instance details Defined in Math.Algebras.Matrix Methods (==) :: M3 -> M3 -> Bool Source # (/=) :: M3 -> M3 -> Bool Source #
Ord M3 Source # |
Instance details Defined in Math.Algebras.Matrix Methods compare :: M3 -> M3 -> Ordering Source # (<) :: M3 -> M3 -> Bool Source # (<=) :: M3 -> M3 -> Bool Source # (>) :: M3 -> M3 -> Bool Source # (>=) :: M3 -> M3 -> Bool Source # max :: M3 -> M3 -> M3 Source # min :: M3 -> M3 -> M3 Source #
Show M3 Source # |
Instance details Defined in Math.Algebras.Matrix Methods showsPrec :: Int -> M3 -> ShowS Source # show :: M3 -> String Source # showList :: [M3] -> ShowS Source #
(Eq k, Num k) => Algebra k M3 Source # |
Instance details Defined in Math.Algebras.Matrix Methods unit :: k -> Vect k M3 Source # mult :: Vect k (Tensor M3 M3) -> Vect k M3 Source #