Definition at line 338 of file f4-monlookup.cpp.
References find_one_divisor_vp(), and insert_minimal_vp().