Safe Haskell | None |
---|
Documentation
data EnergyMethod p q f Source
Hamiltonian | |
|
data DynamicSystem p q f Source
DynamicSystem | |
|
dqs :: forall p q f. Lens' (EnergyMethod p q f) [DynamicSystem p q f -> Multivector p q f]Source
dps :: forall p q f. Lens' (EnergyMethod p q f) [DynamicSystem p q f -> Multivector p q f]Source
time :: forall p q f. Lens' (DynamicSystem p q f) fSource
projector :: forall p q f. Lens' (DynamicSystem p q f) (DynamicSystem p q f -> DynamicSystem p q f)Source
momenta :: forall p q f. Lens' (DynamicSystem p q f) [Multivector p q f]Source
energyFunction :: forall p q f. Lens' (DynamicSystem p q f) (EnergyMethod p q f)Source
data ReferenceFrame p q t Source
ReferenceFrame | |
|
psuedoScalar' :: forall f p q. (Ord f, C f, SingI p, SingI q) => ReferenceFrame p q f -> Multivector p q fSource
cross :: (Ord f, SingI Nat p, SingI Nat q, C f) => Multivector p q f -> Multivector p q f -> Multivector p q fSource
data PhysicalVector p q t Source
PhysicalVector | |
|
data RigidBody p q f whereSource
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 | |
|
type Vector3 f = Multivector 3 0 fSource
type STVector f = Multivector 3 1 fSource