MeanField_SERiF/archive/2fedb1a007da2467ca77df263d584e48d4650112.zip

template<typename Map>

concept serif::geometry::deformation::LinearDeformationMap =  DeformationDimensions<Map> && is_linear_deformation<Map> &&

        (std::same_as<DeformationWorkspace<Map>, EmptyDeformationWorkspace> || requires(const Map& map)

        {

            { map.make_workspace() } -> std::same_as<DeformationWorkspace<Map>>;

        }) && requires(const Map& map, std::span<const double> input, std::span<double> output, DeformationWorkspace<Map>& workspace)

        {

            { map.apply(input, output, workspace) } -> std::same_as<DeformationStatus>;

            { map.apply_transpose(input, output, workspace) } -> std::same_as<DeformationStatus>;

        }

serif::geometry::deformation::DeformationDimensions
Matching lengths never replace the physical meanings of the input and output spaces.
Definition actions.hpp:23

serif::geometry::deformation::LinearDeformationMap
Fixed maps provide just forward and transpose actions with caller-owned scratch.
Definition actions.hpp:34

serif::geometry::deformation::is_linear_deformation
constexpr bool is_linear_deformation
Linearity is an explicit property of the mathematics, independent of its action interface.
Definition actions.hpp:16

serif::geometry::deformation::DeformationWorkspace
typename Map::Workspace DeformationWorkspace
Definition workspace.hpp:11

serif::geometry::deformation::EmptyDeformationWorkspace
Stateless maps require no numerical scratch, while retaining the same explicit action interface.
Definition workspace.hpp:7