PETSc

Published configurations

PETSc integration module for Rodin.

Solver::KSP(poisson).solve();

PETSc::Math::LinearSystem groups PETSc matrix and vector handles, while KSP and SNES expose linear and nonlinear solvers. PETSc-backed variational and assembly specializations connect the same weak-form interfaces to distributed algebra, preconditioning, and solver configuration for larger PDE systems.

Benchmarks

Assembly

PETSc assembly.