max_element       117 old_code/2015linfty/dune_bdf.hpp 			std::max_element(precision_vec.begin(), precision_vec.end());
max_element       138 old_code/tumor_growth/tumor_bdf.h       std::max_element(precision_vec.begin(), precision_vec.end());
max_element       156 src/grid_GridAndTime_impl.cpp   const auto rv_ptr = max_element(cbegin(v), cend(v));