promoter()

template<typename SourceRing, typename TargetRing>

bool M2::RingPromoter::promoter	(	const Ring *	R,
		const Ring *	S,
		const ring_elem	fR,
		ring_elem &	resultS )

Definition at line 618 of file aring-glue.hpp.

  {
    assert(dynamic_cast<const ConcreteRing<SourceRing> *>(R) != 0);
    assert(dynamic_cast<const ConcreteRing<TargetRing> *>(S) != 0);
    const SourceRing &R1 =
        dynamic_cast<const ConcreteRing<SourceRing> *>(R)->ring();
    const TargetRing &S1 =
        dynamic_cast<const ConcreteRing<TargetRing> *>(S)->ring();
 
    typename SourceRing::Element fR1(R1);
    typename TargetRing::Element gS1(S1);
 
    R1.from_ring_elem(fR1, fR);
    bool retval = mypromote(R1, S1, fR1, gS1);
    if (retval) S1.to_ring_elem(resultS, gS1);
    return retval;
  }

References M2::mypromote().