Struct WrapHom 

pub struct WrapHom<R, S>
where
    R: RingStore,
    S::Type: DelegateRing<Base = R::Type>,
    S: RingStore,
{ /* private fields */ }

Homomorphism from a ring to a DelegateRing with the former ring as delegate target. An element is mapped by using DelegateRing::rev_delegate().

Implementations

impl<R, S> WrapHom<R, S>

where R: RingStore, S::Type: DelegateRing<Base = R::Type>, S: RingStore,

pub fn new(from: R, to: S) -> Self

Creates a new WrapHom between the given rings.

impl<'a, R> WrapHom<RingRef<'a, R::Base>, RingRef<'a, R>>

where R: ?Sized + DelegateRing,

pub fn to_delegate_ring(to: &'a R) -> Self

Creates a new WrapHom from the given ring’s delegate target to the given ring.

This function must take to by reference, since it must be able to obtain a reference to its delegate target that lives long enough.

Trait Implementations

impl<R, S> Homomorphism<<R as RingStore>::Type, <S as RingStore>::Type> for WrapHom<R, S>

where R: RingStore, S::Type: DelegateRing<Base = R::Type>, S: RingStore,

type DomainStore = R

The type of the RingStore used by this object to store the domain ring.

type CodomainStore = S

The type of the RingStore used by this object to store the codomain ring.

fn domain<'b>(&'b self) -> &'b Self::DomainStore

Returns a reference to the domain ring.

fn codomain<'b>(&'b self) -> &'b Self::CodomainStore

Returns a reference to the codomain ring.

fn map(&self, x: El<R>) -> El<S>

Applies this homomorphism to the given element from the domain ring, resulting in an element in the codomain ring.

fn map_ref(&self, x: &Domain::Element) -> Codomain::Element

Applies this homomorphism to the given element from the domain ring, resulting in an element in the codomain ring.

fn mul_assign_map(&self, lhs: &mut Codomain::Element, rhs: Domain::Element)

Multiplies the given element in the codomain ring with an element obtained by applying this homomorphism to a given element from the domain ring.

fn mul_assign_ref_map(&self, lhs: &mut Codomain::Element, rhs: &Domain::Element)

Multiplies the given element in the codomain ring with an element obtained by applying this homomorphism to a given element from the domain ring.

fn mul_map( &self, lhs: Codomain::Element, rhs: Domain::Element, ) -> Codomain::Element

Multiplies the given element in the codomain ring with an element obtained by applying this homomorphism to a given element from the domain ring.

fn fma_map( &self, lhs: &Codomain::Element, rhs: &Domain::Element, summand: Codomain::Element, ) -> Codomain::Element

Fused-multiply-add. This computes lhs * rhs + summand, where rhs is mapped into the ring via this homomorphism.

fn mul_ref_fst_map( &self, lhs: &Codomain::Element, rhs: Domain::Element, ) -> Codomain::Element

Multiplies the given element in the codomain ring with an element obtained by applying this homomorphism to a given element from the domain ring.

fn mul_ref_snd_map( &self, lhs: Codomain::Element, rhs: &Domain::Element, ) -> Codomain::Element

Multiplies the given element in the codomain ring with an element obtained by applying this homomorphism to a given element from the domain ring.

fn mul_ref_map( &self, lhs: &Codomain::Element, rhs: &Domain::Element, ) -> Codomain::Element

Multiplies the given element in the codomain ring with an element obtained by applying this homomorphism to a given element from the domain ring.

fn compose<F, PrevDomain: ?Sized + RingBase>( self, prev: F, ) -> ComposedHom<PrevDomain, Domain, Codomain, F, Self>

where Self: Sized, F: Homomorphism<PrevDomain, Domain>,

Constructs the homomorphism x -> self.map(prev.map(x)).

fn mul_assign_ref_map_through_hom<First: ?Sized + RingBase, H: Homomorphism<First, Domain>>( &self, lhs: &mut Codomain::Element, rhs: &First::Element, hom: H, )

Multiplies the given element in the codomain ring with an element obtained by applying this and another homomorphism to a given element from another ring.

fn mul_assign_map_through_hom<First: ?Sized + RingBase, H: Homomorphism<First, Domain>>( &self, lhs: &mut Codomain::Element, rhs: First::Element, hom: H, )

Multiplies the given element in the codomain ring with an element obtained by applying this and another homomorphism to a given element from another ring.