Struct ProjectiveResolution 

pub struct ProjectiveResolution {
    pub module: String,
    pub projective_dimension: Option<usize>,
    pub length: usize,
}

Projective resolution.

Fields

module: String

projective_dimension: Option<usize>

length: usize

Implementations

impl ProjectiveResolution

pub fn new(module: &str, pd: Option<usize>, len: usize) -> Self

pub fn is_finite(&self) -> bool

pub fn global_dimension_description(&self) -> String

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.