DMLabelCreate: add note label name is PetscObject name

DMLabelGetStratumIS: add Notes to manpage

DMLabelFilter: minor manpage fix

DMLabelFilter: employ ISGeneralFilter()

Fix a bunch of PetscValidPointer() -> PetscValidXXXPointer()

Merge from doc-fixes branch

Fixes for doctext update

Add PetscArraycmp(), PetscArraycpy(), PetscArrayzero(), PetscArraymove(), update code to use new forms

Replace a couple multi-mallocs with a single malloc
Replace backwards loops in MatSetValues_*()

Add PetscArraycmp(), PetscArraycpy(), PetscArrayzero(), PetscArraymove(), update code to use new forms

Replace a couple multi-mallocs with a single malloc
Replace backwards loops in MatSetValues_*() with PetscArraymove()

Commit-type: style-fix, feature

show more ...

DMLabel: Put collective info in all functions

DMPlex: Speedup DMPlexStratify()

The depth label encodes a (non overlaping) partition of the points in the
Plex chart. The set of points in each level can be represented with a
contiguous range of i

DMPlex: Speedup DMPlexStratify()

The depth label encodes a (non overlaping) partition of the points in the
Plex chart. The set of points in each level can be represented with a
contiguous range of integer. From these assumptions, the depth label can
be constructed very quickly and using negligible memory by storing the
label strata as stride index sets.

show more ...