A 'WorldVolume' directory

Stream: PhysLean

[Joseph Tooby-Smith]

A would like to argue for the following design decision:

That is to have a main directory called WorldVolume and within that directory move the current Space, Time and SpaceTime directories. Currently the two former ones are in ClassicalMechanics, and the latter is in Relativity. I would also like it to include things like compact versions of Time (e.g. circular) etc.

I understand that WorldVolume is a fairly niche name, and am happy to hear alternatives if people have them. The name WorldVolume comes from Sigma models where you have fields $\phi : \Sigma \to M$, here $\Sigma$ is the WorldVolume and $M$ is the target space.

I'd be happy to hear any comments on this.

[Alok Singh]

i think it's a cool name

[ZhiKai Pong]

I'm a bit concerned about people wouldn't know where to look for those definitions - but I don't know what alternative name would be suitable for the directory other than just calling it SpaceTime which may not be the best

[Joseph Tooby-Smith]

Maybe SpaceAndTime?

[Tomas Skrivan]

I think it does not matter too much. Anytime you import almost anything from PhysLean you will import these files transitively.

[Joseph Tooby-Smith]

This is done in PR624, went with SpaceAndTime for now, can always change later.