Procedure from library qhmoduli.lib (see qhmoduli_lib).
qhmoduli.lib
Min(data); intvec/list of integers data
find the minimal integer contained in ’data’
list
’data’ contains only integers and is not empty