Struct SecondaryComposite 

pub struct SecondaryComposite<A: PairAlgebra> {
    target: Arc<FreeModule<A>>,
    degree: i32,
    composite: BiVec<Vec<A::Element>>,
}

A homotopy of a map A -> M of pair modules. We assume this map does not hit generators.

Fields

target: Arc<FreeModule<A>>

degree: i32

composite: BiVec<Vec<A::Element>>

The component of the map on the R_B portion. gen_deg -> gen_idx -> coefficient

Implementations

impl<A: PairAlgebra> SecondaryComposite<A>

pub fn algebra(&self) -> Arc<A>

pub fn new(target: Arc<FreeModule<A>>, degree: i32, hit_generator: bool) -> Self

pub fn to_bytes(&self, buffer: &mut impl Write) -> Result<()>

pub fn from_bytes( target: Arc<FreeModule<A>>, degree: i32, hit_generator: bool, buffer: &mut impl Read, ) -> Result<Self>

pub fn finalize(&mut self)

pub fn add_composite( &mut self, coeff: u32, gen_degree: i32, gen_idx: usize, d1: &FreeModuleHomomorphism<FreeModule<A>>, d0: &FreeModuleHomomorphism<FreeModule<A>>, )

pub fn act( &self, result: FpSliceMut<'_>, coeff: u32, op_degree: i32, op: FpSlice<'_>, )