Trait BoundedChainComplex 

pub trait BoundedChainComplex: ChainComplex {
    // Required method
    fn max_s(&self) -> i32;

    // Provided method
    fn euler_characteristic(&self, t: i32) -> isize { ... }
}

A bounded chain complex is a chain complex C for which C_s = 0 for all s >= max_s

Required Methods

fn max_s(&self) -> i32

Provided Methods

fn euler_characteristic(&self, t: i32) -> isize

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<M, F1, F2, CC> BoundedChainComplex for FiniteAugmentedChainComplex<M, F1, F2, CC>

where M: Module, CC: ChainComplex<Algebra = M::Algebra>, F1: ModuleHomomorphism<Source = M, Target = M>, F2: ModuleHomomorphism<Source = M, Target = CC::Module>,

impl<M, F> BoundedChainComplex for FiniteChainComplex<M, F>

where M: Module, F: ModuleHomomorphism<Source = M, Target = M>,