LieExample.SO3

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

Documentation

data Vector

Vector in ℝ³

Constructors

V Double Double Double

Instances

Eq Vector

Defined in LieExample.SO3

Methods

(==) :: Vector -> Vector -> Bool

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

Show Vector

Defined in LieExample.SO3

Methods

showsPrec :: Int -> Vector -> ShowS

show :: Vector -> String

showList :: [Vector] -> ShowS

LieAlgebra Vector Double

Defined in LieExample.SO3

Methods

(|+|) :: Vector -> Vector -> Vector

(|*|) :: Double -> Vector -> Vector

(|.|) :: Vector -> Vector -> Vector

basis :: [Vector]

linearCombination :: [Double] -> Vector

adjunction :: Vector -> Vector -> Vector

trace :: (Vector -> Vector) -> Double

(<|>) :: (Vector -> Vector) -> (Vector -> Vector) -> Double

crossProduct :: Vector -> Vector -> Vector

Crossproduct, which returns orthogonal vectors where the length is the area of the parallelogram spanned by the input vectors