Slate swMATH ID: 31053 Software Authors: Thomas H. Gibson, Lawrence Mitchell, David A. Ham, Colin J. Cotter Description: Slate: extending Firedrake’s domain-specific abstraction to hybridized solvers for geoscience and beyond. Within the finite element community, discontinuous Galerkin (DG) and mixed finite element methods have become increasingly popular in simulating geophysical flows. However, robust and efficient solvers for the resulting saddle-point and elliptic systems arising from these discretizations continue to be an on-going challenge. One possible approach for addressing this issue is to employ a method known as hybridization, where the discrete equations are transformed such that classic static condensation and local post-processing methods can be employed. However, it is challenging to implement hybridization as performant parallel code within complex models, whilst maintaining separation of concerns between applications scientists and software experts. In this paper, we introduce a domain-specific abstraction within the Firedrake finite element library that permits the rapid execution of these hybridization techniques within a code-generating framework. The resulting framework composes naturally with Firedrake’s solver environment, allowing for the implementation of hybridization and static condensation as runtime-configurable preconditioners via the Python interface to PETSc, petsc4py. We provide examples derived from second order elliptic problems and geophysical fluid dynamics. In addition, we demonstrate that hybridization shows great promise for improving the performance of solvers for mixed finite element discretizations of equations related to large-scale geophysical flows. Homepage: https://arxiv.org/abs/1802.00303 Dependencies: Firedrake Keywords: arXiv_cs.MS; Firedrake; geoscience; hybridized solvers; domain-specific abstraction; finite element library Related Software: Firedrake; PETSc; FEniCS; FreeFem++; TSFC; chammp; Feel++; DOLFIN; PyOP2; FEniCSx; T-IFISS; NumPy; SciPy; IFISS; deal.ii; DUNE; PLTMG; hypre; FIAT; CGAL Cited in: 6 Publications Standard Articles 1 Publication describing the Software Year Slate: extending Firedrake's domain-specific abstraction to hybridized solvers for geoscience and beyond Thomas H. Gibson, Lawrence Mitchell, David A. Ham, Colin J. Cotter 2018 all top 5 Cited by 21 Authors 3 Cotter, Colin John 2 Bauer, Werner 2 Gibson, Thomas H. 2 Wimmer, Golo A. 1 Betteridge, Jack 1 Bordas, Stéphane Pierre Alain 1 Bulle, Raphaël 1 Charara, Ali 1 Chouly, Franz 1 Dongarra, Jack J. 1 Gates, Mark 1 Graham, Ivan G. 1 Hale, Jack S. 1 Ham, David A. 1 Kurzak, Jakub 1 Lozinski, Alexei 1 McRae, Andrew T. T. 1 Mitchell, Lawrence 1 Müller, Eike Hermann 1 Yamazaki, Ichitaro 1 YarKhan, Asim Cited in 4 Serials 2 Journal of Computational Physics 1 Computers & Mathematics with Applications 1 SpringerBriefs in Mathematics of Planet Earth 1 SMAI Journal of Computational Mathematics Cited in 4 Fields 5 Numerical analysis (65-XX) 4 Geophysics (86-XX) 3 Fluid mechanics (76-XX) 1 Partial differential equations (35-XX) Citations by Year