Numeric.Clifford.LinearOperators

Documentation

data LinearOperator' p q f g where

Constructors

LinearOperator' :: (Multivector p q f -> Multivector p q g) -> LinearOperator' p q f g

Fields

_operator' :: Multivector p q f -> Multivector p q g

LinearOperator :: (Multivector p q f -> Multivector p q f) -> LinearOperator' p q f f

Fields

_operator :: Multivector p q f -> Multivector p q f

Instances

Category (LinearOperator' p q)

(C f, Ord f, C g, Ord g, SingI Nat p, SingI Nat q, ~ * f g) => Monoid (LinearOperator' p q f g)

type LinearOperator p q f = LinearOperator' p q f f

type LinearOperatorCreator p q f = (C f, Ord f, SingI p, SingI q) => Multivector p q f -> LinearOperator p q f

class LinearOperatorClass' p q f g

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

createLinearOperatorFromElements :: forall p q f. (C f, Ord f, SingI p, SingI q) => [[f]] -> LinearOperator p q f

reflect :: (Num a, C a) => a -> a -> a

makeReflectionOperator :: LinearOperatorCreator p q f

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

rotatePlaneAngle :: (Ord b, Show b, SingI Nat p, SingI Nat q, C b) => Multivector p q b -> Multivector p q b -> Multivector p q b -> Multivector p q b

makeRotationOperator :: LinearOperatorCreator p q f

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

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

makeProjectionOperator :: LinearOperatorCreator p q f