Numeric.LinearAlgebra.Multivector

A simple implementation of Geometric Algebra.

The Num instance provides the geometric product, and the Fractional instance provides the inverse of multivectors.

This module provides a simple Euclidean embedding.

Documentation

data Multivector

Instances

Eq Multivector

Fractional Multivector

Num Multivector

Show Multivector

coords :: Multivector -> [(Double, [Int])]

scalar :: Double -> Multivector

Creates a scalar multivector.

vector :: [Double] -> Multivector

Creates a grade 1 multivector of from a list of coordinates.

e :: Int -> Multivector

The k-th basis element.

(/\) :: Multivector -> Multivector -> Multivector infixl 7

The exterior (outer) product.

(-|) :: Multivector -> Multivector -> Multivector infixl 7

The contractive inner product.

(\/) :: Multivector -> Multivector -> Multivector infixl 7

Intersection of subspaces.

rever :: Multivector -> Multivector

The reversion operator.

full :: Int -> Multivector

The full space of the given dimension. This is the leviCivita simbol, and the basis of the pseudoscalar.

rotor

Arguments

:: Int

dimension of the space

-> Double

angle

-> Multivector

axis

-> Multivector

result

The rotor operator, used in a sandwich product.

apply :: (Int -> Multivector) -> Multivector -> Multivector

Apply a linear transformation, expressed as the image of the element i-th of the basis.

(This is a monadic bind!)

grade :: Int -> Multivector -> Multivector

maxGrade :: Multivector -> Int

maxDim :: Multivector -> Int

fromTensor :: Tensor Double -> Multivector

Extract a multivector representation from a full antisymmetric tensor.

(We do not check that the tensor is actually antisymmetric.)