Definition at line 102 of file frac.cpp.
References FRAC_RINGELEM, make_elem(), and R_.
Referenced by RingElement::fraction().