Numeric.Clifford.Multivector

Documentation

data Multivector p q f where

Constructors

BladeSum :: forall p q f. (Ord f, C f, SingI p, SingI q) => [Blade p q f] -> Multivector p q f

Fields

_terms :: [Blade p q f]

Instances

(C f, Ord f, SingI Nat p, SingI Nat q) => C f (Multivector p q f)

(C f, Ord f, SingI Nat p, SingI Nat q) => C f (Multivector p q f)

(C f, SingI Nat p, SingI Nat q, Ord f) => Monoid (Sum (Multivector p q f))

(C f, SingI Nat p, SingI Nat q, Ord f) => Monoid (Product (Multivector p q f))

Eq (Multivector p q f)

(C f, SingI Nat p, SingI Nat q, Ord f) => Num (Multivector p q f)

Ord (Multivector p q f)

Show f => Show (Multivector p q f)

NFData f => NFData (Multivector p q f)

(C f, C f, Ord f, SingI Nat p, SingI Nat q) => C (Multivector p q f)

(C f, Ord f, SingI Nat p, SingI Nat q) => C (Multivector p q f)

(C f, Ord f, SingI Nat p, SingI Nat q) => C (Multivector p q f)

dimension :: forall p q f. (SingI p, SingI q) => Multivector p q f -> (Natural, Natural)

terms :: Lens' (Multivector p q f) [Blade p q f]

mvNormalForm :: Multivector t t1 t2 -> Multivector t t1 t2

mvTerms :: Multivector p q f -> [Blade p q f]

addLikeTerms' :: (Eq f, SingI Nat p, SingI Nat q, C f) => [Blade p q f] -> [Blade p q f]

groupLikeTerms :: Eq f => [Blade p q f] -> [[Blade p q f]]

compensatedSum' :: C f => [f] -> f

compensatedRunningSum :: (Ord f, Show f, SingI Nat p, SingI Nat q, C f) => [Multivector p q f] -> [Multivector p q f]

multiplyOutBlades :: (SingI p, SingI q, C a) => [Blade p q a] -> [Blade p q a] -> [Blade p q a]

multiplyList :: (Ord t2, SingI Nat t, SingI Nat t1, C t2) => [Multivector t t1 t2] -> Multivector t t1 t2

sumList :: (Ord t2, SingI Nat t, SingI Nat t1, C t2) => [Multivector t t1 t2] -> Multivector t t1 t2

sumLikeTerms :: (C f, SingI p, SingI q) => [[Blade p q f]] -> [Blade p q f]

e :: (C f, Ord f, SingI p, SingI q) => f -> [Natural] -> Multivector p q f

scalar :: (Ord f, SingI Nat p, SingI Nat q, C f) => f -> Multivector p q f

two :: C a => a

mul :: C a => a -> a -> a

psuedoScalar :: forall p q f. (Ord f, C f, SingI p, SingI q, SingI (p + q)) => Multivector p q f

magnitude :: C c => Multivector p q c -> c

(/) :: (C f, Ord f, SingI p, SingI q) => Multivector p q f -> f -> Multivector p q f

(</) :: (Ord f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f -> Multivector p q f

(/>) :: (Ord f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f -> Multivector p q f

(</>) :: (Ord f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f -> Multivector p q f

integratePoly :: (Ord b, SingI Nat p, SingI Nat q, C b) => Multivector p q b -> [Multivector p q b] -> [Multivector p q b]

converge :: (Eq a, Show a) => [a] -> a

aitkensAcceleration :: (Ord t2, SingI Nat t, SingI Nat t1, C t2) => [Multivector t t1 t2] -> [Multivector t t1 t2]

shanksTransformation :: (Ord f, Show f, SingI Nat p, SingI Nat q, C f) => [Multivector p q f] -> [Multivector p q f]

exp :: (Ord f, Show f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f

takeEvery :: Int -> [a] -> [a]

cosh :: (Ord f, Show f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f

sinh :: (Ord f, Show f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f

seriesPlusMinus :: C a => [a] -> [a]

seriesMinusPlus :: C a => [a] -> [a]

sin :: (Ord f, Show f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f

sinTerms :: (Ord f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> [Multivector p q f]

cos :: (Ord f, Show f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f

cosTerms :: (Ord f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> [Multivector p q f]

expTerms :: (Ord f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> [Multivector p q f]

dot :: (Ord t2, SingI Nat t, SingI Nat t1, C t2) => Multivector t t1 t2 -> Multivector t t1 t2 -> Multivector t t1 t2

wedge :: (Ord t2, SingI Nat t, SingI Nat t1, C t2) => Multivector t t1 t2 -> Multivector t t1 t2 -> Multivector t t1 t2

(∧) :: (Ord t2, SingI Nat t, SingI Nat t1, C t2) => Multivector t t1 t2 -> Multivector t t1 t2 -> Multivector t t1 t2

(⋅) :: (Ord t2, SingI Nat t, SingI Nat t1, C t2) => Multivector t t1 t2 -> Multivector t t1 t2 -> Multivector t t1 t2

reverseBlade :: Blade p q f -> Blade p q f

reverseMultivector :: Multivector t t1 t2 -> Multivector t t1 t2

inverse :: (Ord f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f

recip :: (Ord f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f

root :: (Show f, Ord f, C f, SingI p, SingI q) => Integer -> Multivector p q f -> Multivector p q f

rootIterationsStart :: (Ord f, Show f, C f) => Integer -> Multivector p q f -> Multivector p q f -> [Multivector p q f]

rootNewtonIterations :: (C f, Ord f, SingI p, SingI q) => Integer -> Multivector p q f -> Multivector p q f -> [Multivector p q f]

rootHalleysIterations :: (Show a, Ord a, C a, SingI p, SingI q) => Integer -> Multivector p q a -> Multivector p q a -> [Multivector p q a]

pow :: (Ord f, Show f, SingI Nat p, SingI Nat q, C f, C a) => Multivector p q f -> a -> Multivector p q f

halleysMethod :: (Show a, Ord a, C a, SingI p, SingI q) => (Multivector p q a -> Multivector p q a) -> (Multivector p q a -> Multivector p q a) -> (Multivector p q a -> Multivector p q a) -> Multivector p q a -> [Multivector p q a]

secantMethod :: (Ord f, SingI Nat p, SingI Nat q, C f) => (Multivector p q f -> Multivector p q f) -> Multivector p q f -> Multivector p q f -> [Multivector p q f]

normalised :: (Ord f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f

log :: (Ord f, Show f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f

makeSerialize ''Blade) $(derive makeSerialize ''Multivector) $(derive makeData ''Blade) $(derive makeTypeable ''Blade) $(derive makeData ''Multivector) $(derive makeTypeable ''Multivector)

makeArbitrary ''Multivector)