lifter()

template<typename SourceRing, typename TargetRing>

bool M2::RingPromoter::lifter	(	const Ring *	R,
		const Ring *	S,
		ring_elem &	result_gR,
		const ring_elem	gS )

Definition at line 640 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);
 
    S1.from_ring_elem(gS1, gS);
    bool retval = mylift(R1, S1, fR1, gS1);  // sets fR1.
    if (retval) R1.to_ring_elem(result_gR, fR1);
    return retval;
  }

References M2::mylift().