Safe Haskell | None |
---|
Documentation
data EnergyMethod d f Source
Hamiltonian | |
|
data DynamicSystem d f Source
DynamicSystem | |
|
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
ReferenceFrame | |
|
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
PhysicalVector | |
|
data RigidBody d f whereSource
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 | |
|