qualia_core_db/solvers/transforms/mod.rs
1//! **Integral & discrete transforms** (Gap analysis §3.4) — Fourier, Laplace, Z.
2//!
3//! * [`fourier`] — discrete Fourier transform / inverse over complex samples.
4//! The forward [`dft`] is the f64-exact CPU reference; [`dft_accelerated`] is
5//! an opt-in f32 fast path that uses the WGSL forge FFT when an accelerator is
6//! present (for spectral callers that accept f32 precision).
7//! * [`laplace`] — numerical Laplace transform by quadrature (general), plus a symbolic
8//! table transform over the CAS [`Expr`](crate::specialized_libs::symbolic_algebra::Expr)
9//! for the cases the current expression algebra can represent (constants, powers `tⁿ`,
10//! and their linear combinations) — fail-closed on the rest.
11//! * [`ztransform`] — Z-transform of a finite sequence + the standard closed forms.
12//!
13//! Complex numbers are `(re, im)` tuples (`Cplx`). Fail-closed throughout.
14
15pub mod fourier;
16pub mod laplace;
17pub mod ztransform;
18
19pub use fourier::{dft, dft_accelerated, idft, Cplx};
20pub use laplace::{laplace_numeric, laplace_table, LaplaceError};
21pub use ztransform::{geometric_z, unit_step_z, z_transform_finite};