HaskellForMaths-0.4.9: Combinatorics, group theory, commutative algebra, non-commutative algebra
Safe HaskellNone
LanguageHaskell98

Math.Algebras.Matrix

Documentation

data Mat2 Source #

Constructors

E2 Int Int 

Instances

Instances details
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

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

Instances details
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

data M3 Source #

Constructors

E3 Int Int 

Instances

Instances details
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 #