[petsc-dev] proposed minor PetscPartitioner changes

[Vaclav Hapla]

Hello

The whole PetscPartitioner class sources are part of src/dm/impls/plex/plexpartition.c, mixed together with some DMPlex* functions.
If you don't mind, I would move the PetscPartitioner* stuff into the separate file petscpartitioner.c
(in future, it could be even moved to a separate directory).

I would also like to
* add PetscPartitioner{Add,Set,Get}OptionsPrefix,
* create the partitioner lazily in DMPlexGetPartitioner, followed by PetscObjectIncrementTabLevel, PetscLogObjectParent and PetscPartitionerSetOptionsPrefix calls,
* edit src/dm/impls/plex/examples/tutorials/ex5.c so that it calls DMSetFromOptions right after DMPlexCreateFromFile, in order to make the partitioner changeable from options.

Do you have anything against?

Vaclav