poly_rust: a domain-specific language for polytopal methods with a Rust interpreter

DOI10.48550/arXiv.2608.09414MaRDI QIDQ7284796zbMATH OpenarXivFDO

Authors Daniele A. Di Pietro

Publication date 10 August 2026

Published in arXiv

Tldr We introduce poly_rust, a domain-specific language for polytopal methods with a Rust interpreter, providing facilities to express various polytopal methods in a syntax close to their mathematical formulation. Our key contribution is an efficient and flexible framework for implementing polytopal finite element methods without requiring the development of low-level implementation details.

Full work available at URL https://doi.org/10.48550/arXiv.2608.09414

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to numerical analysis (65-04) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Packaged methods for numerical algorithms (65Y15)

arXiv classification

math.NA

Cites work

• hp-version composite discontinuous Galerkin methods for elliptic problems on complicated domains
• \texttt{Feel++}: a computational framework for Galerkin methods and advanced numerical methods
• A discontinuous skeletal method for the viscosity-dependent Stokes problem
• A discontinuous-skeletal method for advection-diffusion-reaction on general meshes
• A hybrid high-order method for Kirchhoff-Love plate bending problems
• A hybrid high-order method for the incompressible Navier-Stokes equations based on Temam's device
• A Reynolds-semirobust method with hybrid velocity and pressure for the unsteady incompressible Navier-Stokes equations
• Algorithm 832
• An arbitrary-order and compact-stencil discretization of diffusion on general meshes based on local reconstruction operators
• An arbitrary-order discrete de Rham complex on polyhedral meshes: Exactness, Poincar\'e inequalities, and consistency
• An exterior calculus framework for polytopal methods
• BASIC PRINCIPLES OF VIRTUAL ELEMENT METHODS
• deal.II—A general-purpose object-oriented finite element library
• Discrete functional analysis tools for discontinuous Galerkin methods with application to the incompressible Navier-Stokes equations
• Fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra
• Key challenges and bridges among convergence analysis techniques for polytopal methods
• New development in freefem++
• Numerical integration of homogeneous functions on convex and nonconvex polygons and polyhedra
• On the flexibility of agglomeration based physical space discontinuous Galerkin discretizations
• POLYDIM: A C++ library for POLYtopal DIscretization Methods
• Review of discontinuous Galerkin finite element methods for partial differential equations on complicated domains
• Robust hybrid high-order method on polytopal meshes with small faces
• Stability, convergence, and pressure-robustness of numerical schemes for incompressible flows with hybrid velocity and pressure
• The Hitchhiker's guide to the virtual element method
• The hybrid high-order method for polytopal meshes. Design, analysis, and applications
• Unified form language: a domain-specific language for weak formulations of partial differential equations
• Vem++, a c++ library to handle and play with the Virtual Element Method

This page was built for publication: poly_rust: a domain-specific language for polytopal methods with a Rust interpreter

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7284796)