Enum MmpStep 

pub enum MmpStep {
    Contraction {
        divisor: String,
        singularity_type: SingularityType,
    },
    Flip {
        locus: String,
    },
    Flop {
        locus: String,
    },
    MinimalModel,
    FiberSpace {
        base: String,
        fiber_dim: usize,
    },
}

A step in the Minimal Model Program (MMP).

Encodes the four possible outcomes of a single MMP step: divisorial contraction, flip, reaching a minimal model, or arriving at a Mori fiber space.

Variants

Contraction

Contract a divisor E: reduces Picard number by 1.

Fields

divisor: String

The divisor being contracted.

singularity_type: SingularityType

The type of the target singularity after contraction.

Flip

Replace a flipping contraction by its flip.

Fields

locus: String

Description of the flipping locus.

Flop

A flopping contraction followed by its flop.

Fields

locus: String

Description of the flopping locus.

MinimalModel

Terminate: K_X is nef (minimal model reached).

FiberSpace

Terminate: Mori fiber space structure X → Z.

Fields

base: String

The base of the fiber space.

fiber_dim: usize

Dimension of the fiber.

Implementations

impl MmpStep

pub fn description(&self) -> String

Human-readable description of the step.

pub fn is_terminal(&self) -> bool

Whether the step terminates the MMP.

Trait Implementations

impl Clone for MmpStep

fn clone(&self) -> MmpStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MmpStep

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

Formats the value using the given formatter.

impl PartialEq for MmpStep

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

impl StructuralPartialEq for MmpStep