Enum CartanError 

pub enum CartanError {
    CutLocus {
        message: String,
    },
    NumericalFailure {
        operation: String,
        message: String,
    },
    NotOnManifold {
        constraint: String,
        violation: Real,
    },
    NotInTangentSpace {
        constraint: String,
        violation: Real,
    },
    LineSearchFailed {
        steps_tried: usize,
    },
    ConvergenceFailure {
        iterations: usize,
        gradient_norm: Real,
    },
}

The unified error type for all cartan operations.

Each variant captures a specific class of failure with enough context to diagnose the problem. Mathematical operations that can fail (log map, parallel transport across cut locus, Cholesky of near-singular matrix) return Result<T, CartanError>.

Under no_alloc, message fields are &'static str (no heap). Under alloc or std, message fields are String (rich formatting).

Variants

CutLocus

Log map failed: point is on or near the cut locus.

On the sphere, this means the two points are nearly antipodal. On SO(n), this means the rotation angle is near pi. On Cartan-Hadamard manifolds (SPD, Hyperbolic), this should never occur since the cut locus is empty.

Fields

message: String

NumericalFailure

A matrix decomposition or numerical computation failed.

Examples: Cholesky on a matrix that lost positive-definiteness due to roundoff, SVD that did not converge, matrix logarithm of a matrix with negative eigenvalues.

Fields

operation: String

message: String

NotOnManifold

Point does not satisfy the manifold constraint.

The constraint field describes what was checked (e.g., “||p|| = 1” for the sphere), and violation gives the magnitude of the deviation.

Fields

constraint: String

violation: Real

NotInTangentSpace

Tangent vector is not in the tangent space at the given point.

The constraint field describes the tangent space condition (e.g., “p^T v = 0” for the sphere).

Fields

constraint: String

violation: Real

LineSearchFailed

Line search failed to find a step size satisfying the Armijo condition.

Fields

steps_tried: usize

ConvergenceFailure

Optimizer did not converge within the maximum number of iterations.

Fields

iterations: usize

gradient_norm: Real

Trait Implementations

impl Clone for CartanError

fn clone(&self) -> CartanError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CartanError

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

Formats the value using the given formatter.

impl Display for CartanError

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

Formats the value using the given formatter.

impl Error for CartanError

Available on crate feature std only.

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.