Trait AugmentedChainComplex 

pub trait AugmentedChainComplex: ChainComplex {
    type TargetComplex: ChainComplex<Algebra = Self::Algebra>;
    type ChainMap: ModuleHomomorphism<Source = Self::Module, Target = <Self::TargetComplex as ChainComplex>::Module>;

    // Required methods
    fn target(&self) -> Arc<Self::TargetComplex>;
    fn chain_map(&self, s: i32) -> Arc<Self::ChainMap>;
}

An augmented chain complex is a map of chain complexes C -> D that is a quasi-isomorphism. We usually think of C as a resolution of D. The chain map must be a map of degree shift 0.

Required Associated Types

type TargetComplex: ChainComplex<Algebra = Self::Algebra>

type ChainMap: ModuleHomomorphism<Source = Self::Module, Target = <Self::TargetComplex as ChainComplex>::Module>

Required Methods

fn target(&self) -> Arc<Self::TargetComplex>

fn chain_map(&self, s: i32) -> Arc<Self::ChainMap>

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> AugmentedChainComplex 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>,

type ChainMap = F2

type TargetComplex = CC

impl<M: ZeroModule<Algebra = MilnorAlgebra>> AugmentedChainComplex for Resolution<M>

type ChainMap = MuFreeModuleHomomorphism<false, M>

type TargetComplex = FiniteChainComplex<M>

impl<const U: bool, CC: ChainComplex> AugmentedChainComplex for MuResolution<U, CC>

where CC::Algebra: MuAlgebra<U>,

type ChainMap = MuFreeModuleHomomorphism<U, <CC as ChainComplex>::Module>

type TargetComplex = CC