Definition at line 321 of file relem.cpp.
References R, result(), RingElement(), and val.
Referenced by IM2_RingElement_lift().