Struct CoefficientHom 

pub struct CoefficientHom<PFrom, PTo, H>
where
    PFrom: RingStore,
    PTo: RingStore,
    PFrom::Type: MultivariatePolyRing,
    PTo::Type: MultivariatePolyRing,
    H: Homomorphism<<<PFrom::Type as RingExtension>::BaseRing as RingStore>::Type, <<PTo::Type as RingExtension>::BaseRing as RingStore>::Type>,
{ /* private fields */ }

Trait Implementations

impl<PFrom, PTo, H> Homomorphism<<PFrom as RingStore>::Type, <PTo as RingStore>::Type> for CoefficientHom<PFrom, PTo, H>

where PFrom: RingStore, PTo: RingStore, PFrom::Type: MultivariatePolyRing, PTo::Type: MultivariatePolyRing, H: Homomorphism<<<PFrom::Type as RingExtension>::BaseRing as RingStore>::Type, <<PTo::Type as RingExtension>::BaseRing as RingStore>::Type>,

type DomainStore = PFrom

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

type CodomainStore = PTo

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

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

Returns a reference to the codomain ring.

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

Returns a reference to the domain ring.

fn map( &self, x: <PFrom::Type as RingBase>::Element, ) -> <PTo::Type as RingBase>::Element

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

fn map_ref( &self, x: &<PFrom::Type as RingBase>::Element, ) -> <PTo::Type as RingBase>::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.