LieExample.SO3

Description

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

Synopsis

Documentation

Vector in ℝ³

Constructors

Instances

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

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