more operations

eggrobin · Mar 23, 2024 · 467474b · 467474b
1 parent cb3ef86
commit 467474b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/quantities/concepts.hpp b/quantities/concepts.hpp
@@ -17,6 +17,7 @@ using namespace quantities::_quantities;
 template<typename G>
 concept additive_group = requires(G x, G y) {
   G{};
+  { +x } -> std::same_as<G>;
   { -x } -> std::same_as<G>;
   { x + y } -> std::same_as<G>;
   { x - y } -> std::same_as<G>;
@@ -41,6 +42,8 @@ concept affine_space = requires(A x, A y) {
   { x - y } -> vector_space<K>;
   { y + (x - y) } -> std::same_as<A>;
   { y += (x - y) } -> std::same_as<A&>;
+  { y - (x - y) } -> std::same_as<A>;
+  { y -= (x - y) } -> std::same_as<A&>;
 };
 
 template<typename V>