clifford-0.1.0.1: A Clifford algebra library

Safe HaskellNone

Numeric.Clifford.ClassicalMechanics

Documentation

data EnergyMethod d f Source

Constructors

Hamiltonian 

Fields

_dqs :: [DynamicSystem d f -> Multivector d f]
 
_dps :: [DynamicSystem d f -> Multivector d f]
 

data DynamicSystem d f Source

Constructors

DynamicSystem 

Fields

_time :: f
 
coordinates :: [Multivector d f]
 
_momenta :: [Multivector d f]
 
_energyFunction :: EnergyMethod d f
 
_projector :: DynamicSystem d f -> DynamicSystem d f
 

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

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

time :: forall d f. Lens' (DynamicSystem d f) fSource

projector :: forall d f. Lens' (DynamicSystem d f) (DynamicSystem d f -> DynamicSystem d f)Source

momenta :: forall d f. Lens' (DynamicSystem d f) [Multivector d f]Source

energyFunction :: forall d f. Lens' (DynamicSystem d f) (EnergyMethod d f)Source

data ReferenceFrame d t Source

Constructors

ReferenceFrame 

Fields

basisVectors :: [Multivector d t]
 

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

psuedoScalar :: forall d f. (Ord f, C f, SingI d) => Multivector d fSource

cross :: (Ord f, SingI Nat n, C f) => Multivector n f -> Multivector n f -> Multivector n fSource

data PhysicalVector d t Source

Constructors

PhysicalVector 

Fields

dimension :: Natural
 
r :: Multivector d t
 
referenceFrame :: ReferenceFrame d t
 

data RigidBody d f whereSource

Constructors

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

Fields

position :: PhysicalVector d f
 
_momentum :: PhysicalVector d f
 
_mass :: f
 
_attitude :: PhysicalVector d f
 
_angularMomentum :: PhysicalVector d f
 
_inertia :: PhysicalVector d f