Concept definition

template<typename Ops, typename Vector, typename Scalar>

concept uni20::krylov::KrylovMatrixFreeOperator = KrylovVectorOps<Ops, Vector, Scalar> && KrylovOperator<Ops, Vector>

uni20::krylov::KrylovMatrixFreeOperator

Composite concept for current adapters that own vector ops and OP*x.

Definition matrix_free.hpp:406

uni20::krylov::KrylovOperator

Concept for an output-first Krylov operator application y <- OP*x.

Definition matrix_free.hpp:395

uni20::krylov::KrylovVectorOps

Concept for opaque vector-space operations required by Krylov solvers.

Definition matrix_free.hpp:382

Detailed Description

Composite concept for current adapters that own vector ops and OP*x.

This is the role consumed by the current symmetric Lanczos implementation. Future public entry points can split vector operations and operators into separate objects while preserving this output-first callback convention.