ZeroHomomorphism

Trait ZeroHomomorphism 

Source
pub trait ZeroHomomorphism<S: Module, T: Module<Algebra = S::Algebra>>: ModuleHomomorphism<Source = S, Target = T> {
    // Required method
    fn zero_homomorphism(s: Arc<S>, t: Arc<T>, degree_shift: i32) -> Self;
}

Required Methods§

Source

fn zero_homomorphism(s: Arc<S>, t: Arc<T>, degree_shift: i32) -> Self

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§

Source§

impl<S: Module, T: Module<Algebra = S::Algebra>> ZeroHomomorphism<S, T> for FullModuleHomomorphism<S, T>

Source§

impl<S: Module, T: Module<Algebra = S::Algebra>> ZeroHomomorphism<S, T> for GenericZeroHomomorphism<S, T>

Source§

impl<const U: bool, M: Module> ZeroHomomorphism<MuFreeModule<U, <M as Module>::Algebra>, M> for MuFreeModuleHomomorphism<U, M>
where M::Algebra: MuAlgebra<U>,