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