Enum WrapperKind 

pub enum WrapperKind {
    Unit,
    Bulk,
    Unitized,
    Ideal,
    Proper,
    Spacelike,
    Null,
}

Wrapper constraint kinds for constraint simplification.

These represent the different normalization and constraint wrappers that can be applied to geometric types. Each wrapper has specific algebraic constraints that can be used during Groebner basis simplification.

Variants

Unit

Unit wrapper: norm() == 1 (Euclidean norm).

Constraint: norm_squared - 1 = 0

Bulk

Bulk wrapper: bulk_norm() == 1 (PGA versors).

Constraint: bulk_norm_squared - 1 = 0

Unitized

Unitized wrapper: weight_norm() == 1 (PGA standard form).

Constraint: weight_norm_squared - 1 = 0

Ideal

Ideal wrapper: weight_norm() ≈ 0 (PGA elements at infinity).

Constraint: each weight component = 0

Proper

Proper wrapper: timelike, |norm²| == 1 (Minkowski 4-velocities).

Constraint: norm_squared - 1 = 0

Spacelike

Spacelike wrapper: spacelike, |norm²| == 1 (Minkowski spatial).

Constraint: norm_squared + 1 = 0

Null

Null wrapper: norm_squared ≈ 0 (Minkowski lightlike).

Constraint: norm_squared = 0

Trait Implementations

impl Clone for WrapperKind

fn clone(&self) -> WrapperKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WrapperKind

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

Formats the value using the given formatter.

impl Hash for WrapperKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for WrapperKind

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for WrapperKind

impl Eq for WrapperKind

impl StructuralPartialEq for WrapperKind