Struct ProjectiveVariety 

pub struct ProjectiveVariety {
    pub dim: usize,
    pub degree: u64,
    pub name: String,
}

A projective variety represented by dimension and degree.

Fields

dim: usize

Dimension of the variety.

degree: u64

Degree in projective space (self-intersection of hyperplane class).

name: String

Name / description.

Implementations

impl ProjectiveVariety

pub fn new(dim: usize, degree: u64, name: impl Into<String>) -> Self

Create a new projective variety.

pub fn projective_space(n: usize) -> Self

Projective space P^n, which has degree 1.

pub fn quadric(n: usize) -> Self

A quadric hypersurface Q ⊂ P^{n+1} of dimension n and degree 2.

pub fn del_pezzo(d: usize) -> Self

Del Pezzo surface of degree d (1 ≤ d ≤ 9). S_d = P^2 blown up at (9-d) points in general position.

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.

impl PartialEq for ProjectiveVariety

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

impl StructuralPartialEq for ProjectiveVariety