Enum SingularityType 

pub enum SingularityType {
    Smooth,
    Terminal,
    Canonical,
    Klt,
    Dlt,
    LogCanonical,
}

The type of singularity produced after a contraction.

Variants

Smooth

Smooth point.

Terminal

Terminal singularity: discrepancy > 0 for all exceptional divisors.

Canonical

Canonical singularity: discrepancy ≥ 0 for all exceptional divisors.

Klt

Kawamata log-terminal: discrepancy > -1 for log pairs.

Dlt

Divisorially log-terminal: klt except possibly along reduced boundary.

LogCanonical

Log-canonical: discrepancy ≥ -1.

Implementations

impl SingularityType

pub fn name(&self) -> &'static str

Short name for display.

pub fn at_least_as_mild_as(&self, other: &SingularityType) -> bool

Partial order: severity (smooth is mildest, lc is most general). Returns true if self is at least as mild as other.

Trait Implementations

impl Clone for SingularityType

fn clone(&self) -> SingularityType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SingularityType

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

Formats the value using the given formatter.

impl PartialEq for SingularityType

fn eq(&self, other: &SingularityType) -> 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 Eq for SingularityType

impl StructuralPartialEq for SingularityType