Case studies

Verified optimisations on real numerical software

Repository

Sort

6 case studies

skfem/mesh/mesh_tet_1/MeshTet1.py

runtime reduction

Adaptive tetrahedral mesh refinement optimised for finite element solvers. 116/116 tests passing, correctness verified.

skfem/assembly/basis/composite_basis/CompositeBasis.py

runtime reduction

Composite basis splitting streamlined to avoid intermediate NumPy allocations. 1/1 tests passing, correctness verified.

_adaptive_split_elements()

skfem/mesh/mesh_tri_1.py

runtime reduction

Adaptive triangular mesh element splitting rewritten with preallocated output arrays. 11/11 tests passing, correctness verified.

_adaptive_sort_mesh()

skfem/mesh/mesh_tri_1.py

runtime reduction

Adaptive triangular mesh sorting rewritten with in-place difference arrays and squared lengths. 11/11 tests passing, correctness verified.

_adaptive_sort_mesh()

skfem/mesh/mesh_tet_1/MeshTet1.py

runtime reduction

Adaptive tetrahedral mesh sorting rewritten with batched edge-length computations. 470/470 tests passing, correctness verified.

skfem/supermeshing.py

runtime reduction

2D supermesh intersection routine used in non-matching mesh transfer operations. 1/1 tests passing, correctness verified.