Crate nalgebra_spacetime 

Spacetime Extension for nalgebra

Present Features

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

Future Features

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

Re-exports

pub use approx;

pub use nalgebra;

Structs

OFrame

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

OMomentum

Momentum in $n$-dimensional Lorentzian space $\R^{-,+} = \R^{1,n-1}$.

Enums

LightCone

Spacetime regions regarding an event’s light cone.

Traits

Lorentzian

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

Frame5

Inertial frame of reference in $5$-dimensional Lorentzian space $\R^{-,+} = \R^{1,4}$.

Frame6

Inertial frame of reference in $6$-dimensional Lorentzian space $\R^{-,+} = \R^{1,5}$.

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

Momentum5

Momentum in $5$-dimensional Lorentzian space $\R^{-,+} = \R^{1,4}$.

Momentum6

Momentum in $6$-dimensional Lorentzian space $\R^{-,+} = \R^{1,5}$.