#include "petscpartitioner.h" PetscErrorCode PetscPartitionerShellSetRandom(PetscPartitioner part, PetscBool random)