Enum IntersectionKind 

pub enum IntersectionKind {
    StructuralZero,
    GeometricZero,
    Positive,
    Underdetermined,
}

Classification of an intersection result.

• StructuralZero: total codimension exceeds Grassmannian dimension
• GeometricZero: correctly dimensioned but no intersection points
• Positive: nonempty intersection with known multiplicity
• Underdetermined: the computation could not resolve the result

Variants

StructuralZero

GeometricZero

Positive

Underdetermined

Implementations

impl IntersectionKind

pub fn is_zero(&self) -> bool

True for either kind of empty intersection.

Trait Implementations

impl Clone for IntersectionKind

fn clone(&self) -> IntersectionKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for IntersectionKind

impl Debug for IntersectionKind

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

Formats the value using the given formatter.

impl Eq for IntersectionKind

impl PartialEq for IntersectionKind

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