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