Definition at line 74 of file aring-gf-flint-big.cpp.
Referenced by eval(), and lift_to_original_ring().