boundlab.ops

Numeric kernels shared by the abstract domains.

Closed-form extrema of scalar quadratics over the unit interval, matrix splittings, and small custom operators. Submodules hold the heavier kernels: deept (blockwise zonotope matmul bound), sparse_poly (sparse pair products, reference + Triton), legendre (Legendre bases) and unary_fn_opt (spline-certified function ranges).

Functions

definiteness_split	Split matrix as pos + neg by shifting the shared diagonal.
quadratic_shift	Complete the square: \(x^T A x + b^T x = (x - c)^T A (x - c) + \beta\) with \(c = -A^{-1} b / 2\) and \(\beta = c^T A c\) returned as (c, bias).
residual_add	Emit a custom boundlab::ResidualAdd ONNX node marking x + fx as a residual connection, so interpreters can treat the skip path specially instead of seeing an anonymous Add.

Modules

deept	CPU-friendly primitives used by the DeepT matrix-product bound.
legendre	Legendre polynomial bases and basis-to-monomial conversion.
sparse_poly	Backend-dispatched sparse polynomial generator operations.
unary_fn_opt	Certified elementwise function ranges via cubic Hermite splines.