FreeModuleHomomorphism

algebra::module::homomorphism

Type Alias FreeModuleHomomorphism 

Source 
pub type FreeModuleHomomorphism<M> = MuFreeModuleHomomorphism<false, M>;

Aliased Type§

pub struct FreeModuleHomomorphism<M> {
    source: Arc<MuFreeModule<false, <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<false, <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