LieExample.SU3

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

Documentation

type CD = Complex Double

Complex Number (real and imaginary part have Real coefficients)

data Matrix

Matrix in ℝ^(3⨯3)

Constructors

M CD CD CD CD CD CD CD CD CD

Instances

Eq Matrix

Defined in LieExample.SU3

Methods

(==) :: Matrix -> Matrix -> Bool

(/=) :: Matrix -> Matrix -> Bool

Show Matrix

Defined in LieExample.SU3

Methods

showsPrec :: Int -> Matrix -> ShowS

show :: Matrix -> String

showList :: [Matrix] -> ShowS

LieAlgebra Matrix CD

Defined in LieExample.SU3

Methods

(|+|) :: Matrix -> Matrix -> Matrix

(|*|) :: CD -> Matrix -> Matrix

(|.|) :: Matrix -> Matrix -> Matrix

basis :: [Matrix]

linearCombination :: [CD] -> Matrix

adjunction :: Matrix -> Matrix -> Matrix

trace :: (Matrix -> Matrix) -> CD

(<|>) :: (Matrix -> Matrix) -> (Matrix -> Matrix) -> CD

(|||) :: Matrix -> Matrix -> Matrix

Matrix Multiplication

(|-|) :: Matrix -> Matrix -> Matrix

Subtraction, which is Inverse to Vectorspace Addition