API: Time Manifold #909
Description
Details
Key data structure
The type corresponding to the manifold underlying time. Note that this is not the same as Time which is commonly used in physics.
- is defined
Need
This manifold is of use in topological field theory, where one does not have a metric on the world-volume. It also can be used to give a precise notion to the meaning of the time unit.
Requirements
- The API shall contain an instance of a manifold on the type
Corresponding file system
https://github.com/HEPLean/PhysLean/tree/master/PhysLean/SpaceAndTime/Time