UnstableFreeModuleHomomorphism

algebra::module::homomorphism

Type Alias UnstableFreeModuleHomomorphism 

Source 
pub type UnstableFreeModuleHomomorphism<M> = MuFreeModuleHomomorphism<true, M>;

Aliased Type§

pub struct UnstableFreeModuleHomomorphism<M> {
    source: Arc<MuFreeModule<true, <M as Module>::Algebra>>,
    target: Arc<M>,
    outputs: OnceBiVec<Vec<FpVector>>,
    pub images: OnceBiVec<Option<Subspace>>,
    pub kernels: OnceBiVec<Option<Subspace>>,
    pub quasi_inverses: OnceBiVec<Option<QuasiInverse>>,
    min_degree: i32,
    degree_shift: i32,
}

Fields§

§source: Arc<MuFreeModule<true, <M as Module>::Algebra>>§target: Arc<M>§outputs: OnceBiVec<Vec<FpVector>>§images: OnceBiVec<Option<Subspace>>§kernels: OnceBiVec<Option<Subspace>>§quasi_inverses: OnceBiVec<Option<QuasiInverse>>§min_degree: i32§degree_shift: i32

degree shift, such that ouptut_degree = input_degree - degree_shift