#include <petscmath.h> type PetscMin(type v1,type v2)
Notes: type can be integer or floating point value