Struct HomPullback 

pub struct HomPullback<M: Module> {
    source: Arc<HomModule<M>>,
    target: Arc<HomModule<M>>,
    map: Arc<FreeModuleHomomorphism<FreeModule<M::Algebra>>>,
    images: OnceBiVec<Subspace>,
    kernels: OnceBiVec<Subspace>,
    quasi_inverses: OnceBiVec<QuasiInverse>,
}

Given a map $\mathtt{map}: A \to B$ and hom modules $\mathtt{source} = \Hom(B, X)$, $\mathtt{target} = \Hom(A, X)$, produce the induced pullback map $\Hom(B, X) \to \Hom(A, X)$.

Fields

source: Arc<HomModule<M>>

target: Arc<HomModule<M>>

map: Arc<FreeModuleHomomorphism<FreeModule<M::Algebra>>>

images: OnceBiVec<Subspace>

kernels: OnceBiVec<Subspace>

quasi_inverses: OnceBiVec<QuasiInverse>

Implementations

impl<M: Module> HomPullback<M>

pub fn new( source: Arc<HomModule<M>>, target: Arc<HomModule<M>>, map: Arc<FreeModuleHomomorphism<FreeModule<M::Algebra>>>, ) -> Self

Trait Implementations

impl<M: Module> ModuleHomomorphism for HomPullback<M>

type Source = HomModule<M>

type Target = HomModule<M>

fn source(&self) -> Arc<Self::Source>

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

fn degree_shift(&self) -> i32

fn min_degree(&self) -> i32

fn apply_to_basis_element( &self, result: FpSliceMut<'_>, coeff: u32, fn_degree: i32, fn_idx: usize, )

Calling this function when input_idx < source().dimension(input_degree) results in undefined behaviour. Implementations are encouraged to panic when this happens (this is usually the case because of out-of-bounds errors.

fn compute_auxiliary_data_through_degree(&self, degree: i32)

fn quasi_inverse(&self, degree: i32) -> Option<&QuasiInverse>

fn kernel(&self, degree: i32) -> Option<&Subspace>

fn image(&self, degree: i32) -> Option<&Subspace>

fn apply( &self, result: FpSliceMut<'_>, coeff: u32, input_degree: i32, input: FpSlice<'_>, )

fn prime(&self) -> ValidPrime

fn auxiliary_data(&self, degree: i32) -> (Subspace, Subspace, QuasiInverse)

Compute the auxiliary data associated to the homomorphism at input degree degree. Returns it in the order image, kernel, quasi_inverse

fn get_matrix(&self, matrix: MatrixSliceMut<'_>, degree: i32)

Write the matrix of the homomorphism at input degree degree to matrix.

fn get_partial_matrix(&self, degree: i32, inputs: &[usize]) -> Matrix

Get the values of the homomorphism on the specified inputs to matrix.

fn apply_quasi_inverse( &self, result: FpSliceMut<'_>, degree: i32, input: FpSlice<'_>, ) -> bool

Attempt to apply quasi inverse to the input. Returns whether the operation was successful. This is required to either always succeed or always fail for each degree.