hyper-f updates and extract_minimum