Commit 2026-01-22 02:22 30605855

feat(Analysis/Distribution): the Laplacian on Schwartz functions (#33636) We introduce a notation type-class for the Laplacian, change the definition of InnerProductSpace.laplacian to Laplacian.laplacian and define the Laplacian using the sum of second derivatives on Schwartz functions. We define an abstract Laplacian for any space with LineDeriv in order to avoid duplication for other function spaces (in particular, this will be reused for the tempered distribution Laplacian).