Struct Basin 

pub struct Basin<P, F> {
    pub path: Vec<P>,
    pub length: F,
    pub witness: Vec<usize>,
}

A distinct valley of the length functional: one geodesic from p to q that is a strict local minimum of length among nearby paths.

A homotopy class may contain several. Two edge-paths lie in the same basin exactly when the discrete geodesic flow carries them to the same geodesic — which is what NerveComplex::basins uses as the label, rather than any combinatorial invariant of the edge-paths themselves. Homotopy cannot distinguish basins; only the flow can.

Fields

path: Vec<P>

The converged geodesic, as a polyline whose vertices lie on it.

length: F

Its exact arc length.

witness: Vec<usize>

The edge-path through the nerve that descended into this basin.

Trait Implementations

impl<P: Clone, F: Clone> Clone for Basin<P, F>

fn clone(&self) -> Basin<P, F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug, F: Debug> Debug for Basin<P, F>

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

Formats the value using the given formatter.