Struct StaVector 

#[repr(C, align(16))]
pub struct StaVector {
    pub ct: f32,
    pub x: f32,
    pub y: f32,
    pub z: f32,
}

Minkowski 4-vector in Spacetime Algebra Cl(1, 3). Basis: \gamma_0^2 = +1 (timelike), \gamma_1^2 = \gamma_2^2 = \gamma_3^2 = -1 (spacelike). Metric interval: s^2 = (ct)^2 - (x^2 + y^2 + z^2).

Fields

ct: f32

x: f32

y: f32

z: f32

Implementations

impl StaVector

pub const fn new(ct: f32, x: f32, y: f32, z: f32) -> Self

pub const fn zero() -> Self

pub fn interval_sq(&self) -> f32

Spacetime interval invariant s^2 = (ct)^2 - (x^2 + y^2 + z^2).

pub fn dot(&self, other: &Self) -> f32

Minkowski inner product: u . v = u_0 * v_0 - (u_xv_x + u_yv_y + u_z*v_z).

pub fn is_timelike(&self) -> bool

Checks if interval is timelike (s^2 > 0).

pub fn is_spacelike(&self) -> bool

Checks if interval is spacelike (s^2 < 0).

pub fn is_lightlike(&self) -> bool

Checks if interval is lightlike / null (|s^2| < 1e-12).

pub fn proper_time(&self) -> Option<f32>

Proper time interval \Delta \tau = sqrt(s^2) / c (with c = 1).

Trait Implementations

impl Add for StaVector

type Output = StaVector

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self

Performs the + operation.

impl Clone for StaVector

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for StaVector

impl Debug for StaVector

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for StaVector

fn default() -> Self

Returns the “default value” for a type.

impl Div<f32> for StaVector

type Output = StaVector

The resulting type after applying the / operator.

fn div(self, rhs: f32) -> Self

Performs the / operation.

impl Mul<f32> for StaVector

type Output = StaVector

The resulting type after applying the * operator.

fn mul(self, rhs: f32) -> Self

Performs the * operation.

impl Neg for StaVector

type Output = StaVector

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl PartialEq for StaVector

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for StaVector

impl Sub for StaVector

type Output = StaVector

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self

Performs the - operation.