#include "petscdmadaptor.h" PetscErrorCode DMAdaptorGetSequenceLength(DMAdaptor adaptor, PetscInt *num)