Function canonical_simplify 

pub fn canonical_simplify(
    model: &mut Model,
    shape: &Shape,
    tolerance: f64,
    tol: Tolerances,
) -> OgeomResult<(Built, CanonicalReport)>

Replace every free-form surface in shape that is secretly analytic, within tolerance, by the plane, cylinder, cone or sphere it is.

Faces are rebuilt on the recognized carrier with exact pcurves; their edges’ space curves are untouched, because the curves were never wrong. A surface that does not verify is left untouched: the decision is the product, and a wrong yes is a solid that measures nearly right with the wrong surface under every later operation.

Errors

OgeomError::Construction if tolerance is not a positive distance, or a recognized face cannot be rebuilt on its own boundary.