Safe Haskell	None
Language	Haskell98

Math.Algebras.Matrix

Documentation

Constructors

Instances

Eq Mat2 Source #
Instance details Defined in Math.Algebras.Matrix Methods (==) :: Mat2 -> Mat2 -> Bool # (/=) :: Mat2 -> Mat2 -> Bool #
Ord Mat2 Source #
Instance details Defined in Math.Algebras.Matrix Methods compare :: Mat2 -> Mat2 -> Ordering # (<) :: Mat2 -> Mat2 -> Bool # (<=) :: Mat2 -> Mat2 -> Bool # (>) :: Mat2 -> Mat2 -> Bool # (>=) :: Mat2 -> Mat2 -> Bool # max :: Mat2 -> Mat2 -> Mat2 # min :: Mat2 -> Mat2 -> Mat2 #
Show Mat2 Source #
Instance details Defined in Math.Algebras.Matrix Methods showsPrec :: Int -> Mat2 -> ShowS # show :: Mat2 -> String # showList :: [Mat2] -> ShowS #
(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 #

Constructors

Instances

Eq Mat2' Source #
Instance details Defined in Math.Algebras.Matrix Methods (==) :: Mat2' -> Mat2' -> Bool # (/=) :: Mat2' -> Mat2' -> Bool #
Ord Mat2' Source #
Instance details Defined in Math.Algebras.Matrix Methods compare :: Mat2' -> Mat2' -> Ordering # (<) :: Mat2' -> Mat2' -> Bool # (<=) :: Mat2' -> Mat2' -> Bool # (>) :: Mat2' -> Mat2' -> Bool # (>=) :: Mat2' -> Mat2' -> Bool # max :: Mat2' -> Mat2' -> Mat2' # min :: Mat2' -> Mat2' -> Mat2' #
Show Mat2' Source #
Instance details Defined in Math.Algebras.Matrix Methods showsPrec :: Int -> Mat2' -> ShowS # show :: Mat2' -> String # showList :: [Mat2'] -> ShowS #
(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 #

Constructors

Instances

Eq M3 Source #
Instance details Defined in Math.Algebras.Matrix Methods (==) :: M3 -> M3 -> Bool # (/=) :: M3 -> M3 -> Bool #
Ord M3 Source #
Instance details Defined in Math.Algebras.Matrix Methods compare :: M3 -> M3 -> Ordering # (<) :: M3 -> M3 -> Bool # (<=) :: M3 -> M3 -> Bool # (>) :: M3 -> M3 -> Bool # (>=) :: M3 -> M3 -> Bool # max :: M3 -> M3 -> M3 # min :: M3 -> M3 -> M3 #
Show M3 Source #
Instance details Defined in Math.Algebras.Matrix Methods showsPrec :: Int -> M3 -> ShowS # show :: M3 -> String # showList :: [M3] -> ShowS #
(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 #