HaskellForMaths-0.4.9: Combinatorics, group theory, commutative algebra, non-commutative algebra
Math.Algebras.Matrix
data Mat2 Source #
Constructors
Defined in Math.Algebras.Matrix
Methods
(==) :: Mat2 -> Mat2 -> Bool Source #
(/=) :: Mat2 -> Mat2 -> Bool Source #
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 #
showsPrec :: Int -> Mat2 -> ShowS Source #
show :: Mat2 -> String Source #
showList :: [Mat2] -> ShowS Source #
unit :: k -> Vect k Mat2 Source #
mult :: Vect k (Tensor Mat2 Mat2) -> Vect k Mat2 Source #
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 #
(==) :: Mat2' -> Mat2' -> Bool Source #
(/=) :: Mat2' -> Mat2' -> Bool Source #
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 #
showsPrec :: Int -> Mat2' -> ShowS Source #
show :: Mat2' -> String Source #
showList :: [Mat2'] -> ShowS Source #
counit :: Vect k Mat2' -> k Source #
comult :: Vect k Mat2' -> Vect k (Tensor Mat2' Mat2') Source #
data M3 Source #
(==) :: M3 -> M3 -> Bool Source #
(/=) :: M3 -> M3 -> Bool Source #
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 #
showsPrec :: Int -> M3 -> ShowS Source #
show :: M3 -> String Source #
showList :: [M3] -> ShowS Source #
unit :: k -> Vect k M3 Source #
mult :: Vect k (Tensor M3 M3) -> Vect k M3 Source #