Enum ManifoldSpec 

pub enum ManifoldSpec {
    Euclidean(usize),
    Circle,
    Sphere {
        intrinsic_dim: usize,
    },
    Torus {
        dim: usize,
    },
    Grassmann {
        k: usize,
        n: usize,
    },
    Stiefel {
        k: usize,
        n: usize,
    },
    Spd {
        n: usize,
    },
    Product(Vec<ManifoldSpec>),
}

Variants

Euclidean(usize)

Circle

Sphere

Fields

intrinsic_dim: usize

Torus

Fields

dim: usize

Grassmann

Fields

k: usize

n: usize

Stiefel

Fields

k: usize

n: usize

Spd

Fields

n: usize

Product(Vec<ManifoldSpec>)

Implementations

impl ManifoldSpec

pub fn build(&self) -> GeometryResult<Box<dyn RiemannianManifold>>

Instantiate the concrete RiemannianManifold for this descriptor.

Fallible because the constrained-frame families have nonempty domains: Gr(k, n) and St(n, k) exist only for 1 ≤ k ≤ n. An out-of-domain descriptor is rejected here (and recursively for Product parts) before any dimension, projection, exponential, or curvature computation can run on a nonexistent manifold.

Trait Implementations

impl Clone for ManifoldSpec

fn clone(&self) -> ManifoldSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ManifoldSpec

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

Formats the value using the given formatter.

impl PartialEq for ManifoldSpec

fn eq(&self, other: &ManifoldSpec) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for ManifoldSpec