#include "petscdmlabel.h" #include "petscsection.h" PetscErrorCode DMLabelGetValue(DMLabel label, PetscInt point, PetscInt *value)