1: \begin{abstract}

2:   Effective relaxation methods are necessary for good multigrid convergence.

3:   For many equations, standard Jacobi and Gau\ss--Seidel are inadequate, and

4:   more sophisticated space decompositions are required; examples include

5:   problems with semidefinite terms or saddle point structure. In this

6:   paper we present a unifying software abstraction, \pcpatch, for the topological

7:   construction of space decompositions for multigrid relaxation methods.

8:   Space decompositions are specified by collecting topological

9:   entities in a mesh (such as all vertices or facets) and applying a construction rule (such

10:   as taking all degrees of freedom in the cells around each entity). The

11:   software is implemented in PETSc and facilitates the elegant expression of a

12:   wide range of schemes merely by varying solver options at runtime. In turn,

13:   this allows for the very rapid development of fast solvers for difficult problems.

14: \end{abstract}

15: