Enum RealZeroOneMinusOneStatus 

pub enum RealZeroOneMinusOneStatus {
    Zero,
    One,
    MinusOne,
    NeitherOrUnknown,
}

Cheap exact classification for signed unit and zero values.

Matrix, vector, and predicate kernels frequently branch on 0, 1, and -1 to select sparse, identity, or signed-permutation schedules. Keeping the combined query in hyperreal lets higher crates consume one structural fact without duplicating scalar representation checks. This is the scalar-layer counterpart to Yap’s recommendation that exact geometric computation preserve inexpensive object facts before expanding arithmetic; see Yap, “Towards Exact Geometric Computation,” Computational Geometry 7.1-2 (1997).

Variants

Zero

The value is structurally known to be exactly zero.

One

The value is structurally known to be exactly one.

MinusOne

The value is structurally known to be exactly minus one.

NeitherOrUnknown

The value is neither known zero nor a signed unit, or cannot be decided without refinement.

Trait Implementations

impl Clone for ZeroOneMinusOneStatus

fn clone(&self) -> ZeroOneMinusOneStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ZeroOneMinusOneStatus

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

Formats the value using the given formatter.

impl PartialEq for ZeroOneMinusOneStatus

fn eq(&self, other: &ZeroOneMinusOneStatus) -> 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 ZeroOneMinusOneStatus

impl Eq for ZeroOneMinusOneStatus

impl StructuralPartialEq for ZeroOneMinusOneStatus