orient3d_exact_pt

ifc_lite_geometry::kernel::rational

Function orient3d_exact_pt 

Source 
pub fn orient3d_exact_pt(
    a: &[BigRational; 3],
    b: [f64; 3],
    c: [f64; 3],
    d: [f64; 3],
) -> Sign
Expand description

Oracle cross-check: orient3d with the first argument already materialised (the exact LPI point). Independent of the homogenisation above — the two MUST agree, which is what proves the Λ′/flip construction is correct.