pub enum GradedBettiTableError {
Resolution(ResolutionError),
MinimalityRequired,
GradingRequired,
DegreeRank {
expected: usize,
actual: usize,
},
HomologicalDegree {
length: usize,
degree: usize,
},
ZeroMultiplicity,
TooManyEntries {
limit: usize,
},
Noncanonical,
}Expand description
Failure to construct or derive an exact graded Betti table.
Variants§
Resolution(ResolutionError)
Resolution construction or verification failed.
MinimalityRequired
Betti numbers require a verified minimal resolution.
GradingRequired
One represented free module did not carry exact shifts.
DegreeRank
One internal degree had the wrong grading rank.
HomologicalDegree
An entry lay above the represented homological range.
ZeroMultiplicity
A multiplicity was zero.
TooManyEntries
A bounded table exceeded its fixed sparse-entry limit.
Noncanonical
An in-memory table was not in canonical sparse order.
Trait Implementations§
Source§impl Clone for GradedBettiTableError
impl Clone for GradedBettiTableError
Source§fn clone(&self) -> GradedBettiTableError
fn clone(&self) -> GradedBettiTableError
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for GradedBettiTableError
impl Debug for GradedBettiTableError
Source§impl Display for GradedBettiTableError
impl Display for GradedBettiTableError
Source§impl Error for GradedBettiTableError
impl Error for GradedBettiTableError
Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
Source§impl From<GradedBettiTableError> for ModuleInvariantError
impl From<GradedBettiTableError> for ModuleInvariantError
Source§fn from(value: GradedBettiTableError) -> Self
fn from(value: GradedBettiTableError) -> Self
Converts to this type from the input type.
Source§impl From<ResolutionError> for GradedBettiTableError
impl From<ResolutionError> for GradedBettiTableError
Source§fn from(value: ResolutionError) -> Self
fn from(value: ResolutionError) -> Self
Converts to this type from the input type.
Source§impl PartialEq for GradedBettiTableError
impl PartialEq for GradedBettiTableError
impl Eq for GradedBettiTableError
impl StructuralPartialEq for GradedBettiTableError
Auto Trait Implementations§
impl Freeze for GradedBettiTableError
impl RefUnwindSafe for GradedBettiTableError
impl Send for GradedBettiTableError
impl Sync for GradedBettiTableError
impl Unpin for GradedBettiTableError
impl UnwindSafe for GradedBettiTableError
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more