Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::analysis::detail::IsNumericalBridgeScalar Concept Reference
module dedekind.analysis

Concept definition

template<typename R>
concept dedekind::analysis::detail::IsNumericalBridgeScalar = dedekind::algebra::HasFieldOperators<R> &&
std::floating_point<resolved_value_t<R>>
dedekind::algebra::HasFieldOperators
Pure syntactic shape: T closes strictly under the full field operator surface +, binary -,...
Definition field.cppm:128