/* DM for redundant globally coupled degrees of freedom */
#if !defined(PETSCDMREDUNDANT_H)
#define PETSCDMREDUNDANT_H

#include <petscdm.h>

PETSC_EXTERN PetscErrorCode DMRedundantCreate(MPI_Comm, PetscMPIInt, PetscInt, DM *);
PETSC_EXTERN PetscErrorCode DMRedundantSetSize(DM, PetscMPIInt, PetscInt);
PETSC_EXTERN PetscErrorCode DMRedundantGetSize(DM, PetscMPIInt *, PetscInt *);

#endif