Struct ProjectiveVariety 

pub struct ProjectiveVariety {
    pub name: String,
    pub ambient_dim: usize,
    pub degree: usize,
    pub is_smooth: bool,
    pub is_irreducible: bool,
}

Projective variety data.

Fields

name: String

ambient_dim: usize

degree: usize

is_smooth: bool

is_irreducible: bool

Implementations

impl ProjectiveVariety

pub fn projective_space(n: usize) -> Self

Projective space P^n.

pub fn hypersurface(n: usize, d: usize) -> Self

Smooth hypersurface of degree d in P^n.

pub fn expected_dim(&self) -> usize

Dimension (ambient - 1 for hypersurface, etc.).

pub fn bezout_bound(&self, other_degree: usize) -> usize

Bezout’s theorem: intersection number bound.

Trait Implementations

impl Clone for ProjectiveVariety

fn clone(&self) -> ProjectiveVariety

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProjectiveVariety

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

Formats the value using the given formatter.