LieExample.SU3

Description

This is a definition of the SU(3), useful to load into GHCi.

Synopsis

Documentation

Complex Number (real and imaginary part have Real coefficients)

Matrix in ℝ^(3⨯3)

Constructors

Instances

Eq Matrix Source #
Instance details Defined in LieExample.SU3 Methods (==) :: Matrix -> Matrix -> Bool # (/=) :: Matrix -> Matrix -> Bool #
Show Matrix Source #
Instance details Defined in LieExample.SU3 Methods showsPrec :: Int -> Matrix -> ShowS # show :: Matrix -> String # showList :: [Matrix] -> ShowS #
LieAlgebra Matrix CD Source #
Instance details Defined in LieExample.SU3 Methods (\|+\|) :: Matrix -> Matrix -> Matrix Source # (\|*\|) :: CD -> Matrix -> Matrix Source # (\|.\|) :: Matrix -> Matrix -> Matrix Source # basis :: [Matrix] Source # linearCombination :: [CD] -> Matrix Source # adjunction :: Matrix -> Matrix -> Matrix Source # trace :: (Matrix -> Matrix) -> CD Source # (<\|>) :: (Matrix -> Matrix) -> (Matrix -> Matrix) -> CD Source #

Matrix Multiplication

Subtraction, which is Inverse to Vectorspace Addition