Struct ProjectiveSpace 

pub struct ProjectiveSpace {
    pub dim: usize,
}

Projective space P^n.

Fields

dim: usize

The dimension n of the projective space P^n.

Implementations

impl ProjectiveSpace

pub fn new(dim: usize) -> Self

Create n-dimensional projective space.

pub fn projective_line() -> Self

The projective line P^1.

pub fn projective_plane() -> Self

The projective plane P^2.

pub fn num_coordinates(&self) -> usize

Number of homogeneous coordinates (dim + 1).

pub fn euler_characteristic(&self) -> i64

Euler characteristic of P^n: χ(P^n) = n + 1.

pub fn betti_numbers(&self) -> Vec<u64>

The Betti numbers of P^n: b_{2k} = 1 for 0 ≤ k ≤ n, all others 0.

Trait Implementations

impl Clone for ProjectiveSpace

fn clone(&self) -> ProjectiveSpace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProjectiveSpace

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

Formats the value using the given formatter.

impl Display for ProjectiveSpace

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

Formats the value using the given formatter.

impl PartialEq for ProjectiveSpace

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

impl StructuralPartialEq for ProjectiveSpace