Struct ExactPoint3 

pub struct ExactPoint3 {
    pub x_num: [f64; 512],
    pub x_num_len: usize,
    pub y_num: [f64; 512],
    pub y_num_len: usize,
    pub z_num: [f64; 512],
    pub z_num_len: usize,
    pub den: [f64; 128],
    pub den_len: usize,
}

An exact point in 3-D, stored as a rational vector with a shared denominator: x = x_num/den, y = y_num/den, z = z_num/den, den > 0.

Every field is a stack-allocated expansion (zero-heap). The denominator is normalized to be strictly positive by construction, which makes sign reasoning in predicates a matter of cross-multiplication with no case split.

Fields

x_num: [f64; 512]

Numerator of the x-coordinate.

x_num_len: usize

y_num: [f64; 512]

Numerator of the y-coordinate.

y_num_len: usize

z_num: [f64; 512]

Numerator of the z-coordinate.

z_num_len: usize

den: [f64; 128]

Shared denominator. Always strictly positive after construction.

den_len: usize

Implementations

impl ExactPoint3

pub fn from_point3(p: Point3) -> Self

Create an exact point from a plain f64 point (denominator = 1).

pub fn to_point3(&self) -> Point3

Convert to a rounded Point3 (for comparison with the filtered path). This does round — use orient_3d_exact_3 for exact predicates.

Trait Implementations

impl Clone for ExactPoint3

fn clone(&self) -> ExactPoint3

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExactPoint3

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

Formats the value using the given formatter.