API: Configuration space for pendulum #883
Description
Key data structure
The key data structure is the configuration space of the pendulum. There are multiple ways that it could be defined, e.g. by an x and y coordinates which are constrained, or by its angle. One should be chosen.
- is defined
Need
The pendulum is a simple example of a problem in classical mechanics, this API will show the more general power of APIs around classical mechanics.
Requirements
- The API shall contain the structure of a manifold on the configuration space.
- The API shall contain a map from the configuration space to
Space, giving the position of the pendulum in real space. - The API shall contain the definition of a trajectory based on the configuration space
- The API shall subsequently contain the definition of the lagrangian
Corresponding file system
https://github.com/HEPLean/PhysLean/tree/master/PhysLean/ClassicalMechanics/Pendulum