Macaulay2 Engine
Loading...
Searching...
No Matches

◆ mylift() [7/16]

bool M2::mylift ( const ARingRR & R,
const ARingCCC & S,
ARingRR::ElementType & result_gR,
const ARingCCC::ElementType & gS )
inline

Definition at line 590 of file aring-translate.hpp.

594{
595 auto gS1 = const_cast<ARingRRR::ElementType&>(S.realPartReference(gS));
596 R.set_from_BigReal(result_gR, &gS1);
597 return (S.real_ring().is_zero(S.imaginaryPartReference(gS)));
598}
const RealRingType & real_ring() const
Definition aring-CCC.hpp:91
const ARingRRR::ElementType & realPartReference(const ElementType &a) const
const ARingRRR::ElementType & imaginaryPartReference(const ElementType &a) const
bool set_from_BigReal(ElementType &result, gmp_RR a) const
Definition aring-RR.hpp:156
bool is_zero(const ElementType &f) const
Definition aring-RRR.hpp:96

References M2::ARingCCC::imaginaryPartReference(), M2::ARingRRR::is_zero(), M2::ARingCCC::real_ring(), M2::ARingCCC::realPartReference(), and M2::ARingRR::set_from_BigReal().