Crate nalgebra_spacetime

Spacetime Extension for nalgebra

Present Features

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

Future Features

• Event4/Velocity4/Momentum4/... equivalents of Point4/....
• Categorize Rotation4/PureBoost4/... as Boost4/....
• Wigner rotation() and axis_angle() of an already-composed Boost4.
• Distinguish pre/post-rotation and active/passive Boost4 compositions.
• Spacetime algebra (STA) as special case of CliffordMN space.

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

LorentzianMN

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

Type Definitions

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}$.