diff --git a/quantities/concepts.hpp b/quantities/concepts.hpp index f8df6029f8..80a3f571ac 100644 --- a/quantities/concepts.hpp +++ b/quantities/concepts.hpp @@ -17,6 +17,7 @@ using namespace quantities::_quantities; template concept additive_group = requires(G x, G y) { G{}; + { +x } -> std::same_as; { -x } -> std::same_as; { x + y } -> std::same_as; { x - y } -> std::same_as; @@ -41,6 +42,8 @@ concept affine_space = requires(A x, A y) { { x - y } -> vector_space; { y + (x - y) } -> std::same_as; { y += (x - y) } -> std::same_as; + { y - (x - y) } -> std::same_as; + { y -= (x - y) } -> std::same_as; }; template