Struct VectorSharedScaleFacts 

pub struct VectorSharedScaleFacts<const N: usize> {
    pub exact: ExactRealSetFacts,
    pub known_zero_mask: u128,
    pub known_nonzero_mask: u128,
    pub unknown_zero_mask: u128,
}

Conservative fact packet for a shared-scale vector object.

This is the stable scheduling surface for common-scale vector storage and borrowed common-scale views. It groups exact-set facts, sparse masks, and count helpers without exposing rational numerators or denominators. Keeping this object-level packet separate from scalar storage follows Yap’s exact-geometric-computation layering: geometric objects retain enough structure to choose arithmetic packages before expanding into BigNumber operations. See Yap, “Towards Exact Geometric Computation,” Computational Geometry 7.1-2 (1997).

Fields

exact: ExactRealSetFacts

Exact-rational representation facts for all coordinates.

known_zero_mask: u128

Bit mask of coordinates known to be exactly zero.

known_nonzero_mask: u128

Bit mask of coordinates known to be nonzero.

unknown_zero_mask: u128

Bit mask of coordinates whose zero status is unknown.

Implementations

impl<const N: usize> VectorSharedScaleFacts<N>

pub fn is_known_zero(self) -> bool

Returns true when every coordinate is known to be exactly zero.

pub fn is_known_dense(self) -> bool

Returns true when every coordinate is known to be nonzero.

pub fn known_zero_count(self) -> u32

Counts coordinates known to be exactly zero.

pub fn known_nonzero_count(self) -> u32

Counts coordinates known to be nonzero.

pub fn unknown_zero_count(self) -> u32

Counts coordinates whose zero status is not structurally certified.

pub fn has_dyadic_schedule(self) -> bool

Returns true when the retained facts select a dyadic exact schedule.

pub fn has_shared_denominator_schedule(self) -> bool

Returns true when the retained facts select a non-dyadic shared denominator exact schedule.

pub fn has_integer_grid_schedule(self) -> bool

Returns true when every coordinate is an exact integer.

pub fn has_signed_unit_schedule(self) -> bool

Returns true when every coordinate is a known signed unit or zero.

Trait Implementations

impl<const N: usize> Clone for VectorSharedScaleFacts<N>

fn clone(&self) -> VectorSharedScaleFacts<N>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const N: usize> Copy for VectorSharedScaleFacts<N>

impl<const N: usize> Debug for VectorSharedScaleFacts<N>

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

Formats the value using the given formatter.

impl<const N: usize> Eq for VectorSharedScaleFacts<N>

impl<const N: usize> PartialEq for VectorSharedScaleFacts<N>

fn eq(&self, other: &VectorSharedScaleFacts<N>) -> 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<const N: usize> StructuralPartialEq for VectorSharedScaleFacts<N>