kernels.cppm File Reference

Kernel primitives – Gaussian and reproducing kernels. More...

#include <cmath>
#include <concepts>
import dedekind.sequences;

Include dependency graph for kernels.cppm:

Classes
struct	dedekind::analysis::GaussianKernel< T >
	Gaussian radial basis function (RBF) kernel. More...
struct	dedekind::analysis::ReproducingKernel< DomainSet, T >

Concepts
concept	dedekind::analysis::IsKernel

Detailed Description

Kernel primitives – Gaussian and reproducing kernels.

@partition :kernels

Copyright

2026 The Dedekind Authors Licensed under the Apache License, Version 2.0.

kernels__Description

This partition currently provides a compact kernel toolkit used to anchor analysis terminology in code:

• GaussianKernel<T> – symmetric radial kernel on a scalar carrier.
• ReproducingKernel – unary representer view over a domain species.
• IsKernel – concept witness for binary kernels.

Note

"Die Theorie reproduzierender Kerne verbindet Geometrie und Rechnung auf eine Weise, die den Operator erst wirklich sichtbar macht." ("The theory of reproducing kernels links geometry and computation in a way that makes the operator truly visible.") – Stefan Bergman, paraphrase

See also

#273 Kernel Functions and Feature Maps (work in progress): a positive-definiteness witness for IsKernel (symmetry is unchecked today), the Gabor kernel and the kernel rig.