Crate nalgebra_spacetime

Spacetime Extension for nalgebra

Present Features

• Minkowski space as special case of LorentzianN space.
• Raising/Lowering tensor indices: LorentzianN::dual/LorentzianN::r_dual/LorentzianN::c_dual.
• Metric contraction of degree-1/degree-2 tensors: LorentzianN::contr/LorentzianN::scalar.
• Spacetime LorentzianN::interval with LightCone depiction.
• Inertial FrameN of reference holding boost parameters.
• Lorentz boost as LorentzianN::new_boost matrix.
• Direct Lorentz LorentzianN::boost to FrameN::compose velocities.
• Wigner FrameN::rotation and FrameN::axis_angle between to-be-composed boosts.

Future Features

• Event4/Velocity4/Momentum4/... equivalents of Point4/....
• Categorize Rotation4/PureBoost4/... as Boost4/....
• Wigner FrameN::rotation and FrameN::axis_angle of an already-composed Boost4.
• Distinguish pre/post-rotation and active/passive Boost4 compositions.

Structs

• FrameN
  Inertial frame of reference in $n$-dimensional Lorentzian space $\R^{-,+} = \R^{1,n-1}$.
• MomentumN
  Momentum in $n$-dimensional Lorentzian space $\R^{-,+} = \R^{1,n-1}$.

Enums

• LightCone
  Spacetime regions regarding an event’s light cone.

Traits

• LorentzianN
  Extension for $n$-dimensional Lorentzian space $\R^{-,+} = \R^{1,n-1}$ with metric signature in spacelike sign convention.

Type Aliases

• Frame2
  Inertial frame of reference in $2$-dimensional Lorentzian space $\R^{-,+} = \R^{1,1}$.
• Frame3
  Inertial frame of reference in $3$-dimensional Lorentzian space $\R^{-,+} = \R^{1,2}$.
• Frame4
  Inertial frame of reference in $4$-dimensional Lorentzian space $\R^{-,+} = \R^{1,3}$.
• Momentum2
  Momentum in $2$-dimensional Lorentzian space $\R^{-,+} = \R^{1,1}$.
• Momentum3
  Momentum in $3$-dimensional Lorentzian space $\R^{-,+} = \R^{1,2}$.
• Momentum4
  Momentum in $4$-dimensional Lorentzian space $\R^{-,+} = \R^{1,3}$.