API: Time

[jstoobysmith]

Key data structure

The key data structure is Time consisting of a real value. This represents the Time with a given but arbitrary choice of units, with a given by arbitrary choice of zero. It is the usual notion of Time used by physicists.

• is defined

Need

This API is heavily used in non-relativistic physics, specifically classical mechanics.

Requirements

• The API shall contain an instance of a vector space on Time.
• The API shall contain an ordering on Time
• The API shall contain a norm on Time.
• The API shall contain the derivatives of functions from Time to a normed space.
• The API shall contain the derivatives of functions from Time to manifolds.
• The API shall contain an action of the translation group on Time.
• The API shall contain derivatives of distributions from Time to normed spaces.
• The API shall contain derivatives of distributions from Time to manifolds.

Corresponding file system

https://github.com/HEPLean/PhysLean/tree/master/PhysLean/SpaceAndTime/Time

Parent APIs

#909 #911