API: Rigid body

[jstoobysmith]

Details

Key data structure

The key data structure shall be the definition of a Rigid Body specified by its mass distribution.

• is defined

Need

This API is needed to study many examples in classical mechanics, for example rigid spheres.

Requirements

• The API shall allow the calculation of the total mass of the rigid body.
• The API shall allow the calculation of the center of mass of the rigid body.
• The API shall allow the calculation of the moment of inertia of the rigid body.
• The API shall contain the definition of the angular velocity of rotation of the rigid body.
• The API shall contain the definition of the velocity of the center of mass of the rigid body.
• The API shall contain the definition of the kinetic energy of the rigid body.
• The API shall contain the definition of Euler angles for a rigid body.

Corresponding file system

https://github.com/HEPLean/PhysLean/tree/master/PhysLean/ClassicalMechanics/RigidBody

References

• Landau and Lifshitz, Mechanics, Section 32.

Parent APIs

#854 #855