Struct ProjectiveResolution 

pub struct ProjectiveResolution {
    pub module_name: String,
    pub steps: Vec<ResolutionStep>,
}

A projective (free) resolution … → P_2 → P_1 → P_0 → M → 0.

Fields

module_name: String

The module being resolved.

steps: Vec<ResolutionStep>

The steps P_0, P_1, …, P_n.

Implementations

impl ProjectiveResolution

pub fn new(module_name: &str) -> Self

Create a new projective resolution.

pub fn add_step(&mut self, rank: usize, boundary: Vec<Vec<i64>>)

Add a resolution step.

pub fn projective_dimension(&self) -> Option<usize>

Projective dimension: the length of the resolution (largest non-zero step).

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

Betti numbers: β_i = rank(P_i).

Trait Implementations

impl Clone for ProjectiveResolution

fn clone(&self) -> ProjectiveResolution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProjectiveResolution

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

Formats the value using the given formatter.