Definition at line 325 of file hilb.cpp.
References current, depth, and R.
Referenced by hilb_comp(), and next_monideal().