Struct ChartRegion 

pub struct ChartRegion {
    pub center: Array1<f64>,
    pub radius: f64,
    pub exclusion_r_min: Option<f64>,
    pub radial_r_max: Option<f64>,
}

A chart region on an atom’s latent coordinate: a center t_c plus a certified in-chart radius. Over the ball ‖t − t_c‖ ≤ radius the jet sup bounds returned by BasisHessianLipschitz hold, so the Kantorovich constant L computed from them is valid for any start in the ball.

For radial (Duchon) families the chart also carries the minimum kernel-center distance exclusion_r_min (a lower bound on ‖t − c_k‖ over the chart) that bounds the otherwise-singular 1/r radial tails (issue #1010).

Fields

center: Array1<f64>

Chart center coordinate t_c (length = latent_dim).

radius: f64

In-chart radius in the coordinate metric.

exclusion_r_min: Option<f64>

For radial (Duchon) families: a lower bound on ‖t − c_k‖ over the chart, across every kernel center c_k. None for non-radial families.

radial_r_max: Option<f64>

For radial (Duchon) families: an upper bound on ‖t − c_k‖ over the chart, across every kernel center c_k. None for non-radial families.

Implementations

impl ChartRegion

pub fn new(center: Array1<f64>, radius: f64) -> Self

pub fn with_radial_bounds(self, r_min: f64, r_max: f64) -> Self

Trait Implementations

impl Clone for ChartRegion

fn clone(&self) -> ChartRegion

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChartRegion

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

Formats the value using the given formatter.