Numeric.Clifford.ClassicalMechanics

Documentation

data EnergyMethod p q f

Constructors

Hamiltonian

Fields

_dqs :: [DynamicSystem p q f -> Multivector p q f]

_dps :: [DynamicSystem p q f -> Multivector p q f]

data DynamicSystem p q f

Constructors

DynamicSystem

Fields

_time :: f

coordinates :: [Multivector p q f]

_momenta :: [Multivector p q f]

_energyFunction :: EnergyMethod p q f

_projector :: DynamicSystem p q f -> DynamicSystem p q f

dqs :: forall p q f. Lens' (EnergyMethod p q f) [DynamicSystem p q f -> Multivector p q f]

dps :: forall p q f. Lens' (EnergyMethod p q f) [DynamicSystem p q f -> Multivector p q f]

time :: forall p q f. Lens' (DynamicSystem p q f) f

projector :: forall p q f. Lens' (DynamicSystem p q f) (DynamicSystem p q f -> DynamicSystem p q f)

momenta :: forall p q f. Lens' (DynamicSystem p q f) [Multivector p q f]

energyFunction :: forall p q f. Lens' (DynamicSystem p q f) (EnergyMethod p q f)

data ReferenceFrame p q t

Constructors

ReferenceFrame

Fields

basisFrame :: [Multivector p q t]

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

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

data PhysicalVector p q t

Constructors

PhysicalVector

Fields

r :: Multivector p q t

referenceFrame :: ReferenceFrame p q t

data RigidBody p q f where

Constructors

RigidBody :: (C f, C f (Multivector p q f)) => PhysicalVector p q f -> PhysicalVector p q f -> f -> PhysicalVector p q f -> PhysicalVector p q f -> PhysicalVector p q f -> RigidBody p q f

Fields

position :: PhysicalVector p q f

momentum :: PhysicalVector p q f

mass :: f

attitude :: PhysicalVector p q f

angularMomentum :: PhysicalVector p q f

inertia :: PhysicalVector p q f

type Vector3 f = Multivector 3 0 f

type STVector f = Multivector 3 1 f