ISPermutation

PETSC_TRUE or PETSC_FALSE depending on whether the index set has been declared to be a permutation.

#include "petscis.h" 
int ISPermutation(IS is,PetscTruth *perm)

Collective on IS

is -the index set

perm -PETSC_TRUE if a permutation, else PETSC_FALSE