[p1385] add linear algebra standard support

.github/workflows/clang_tidy.yml

@@ -45,6 +45,12 @@ jobs:
             cmake ..
             cmake --build . --parallel
             sudo cmake --install . ) )
+        ( cd /tmp
+          git clone --depth 1 https://github.com/BobSteagall/wg21.git
+          mkdir wg21/build
+          ( cd wg21/build
+            cmake ..
+            sudo cmake --install . ) )
     - name: Verify
       run: |
         FILES=`find . -iname *.hpp -o -iname *.tpp`

.github/workflows/cppcheck.yml

@@ -51,6 +51,12 @@ jobs:
             cmake ..
             cmake --build . --parallel
             sudo cmake --install . ) )
+        ( cd /tmp
+          git clone --depth 1 https://github.com/BobSteagall/wg21.git
+          mkdir wg21/build
+          ( cd wg21/build
+            cmake ..
+            sudo cmake --install . ) )
     - name: Verify
       # unusedStructMember https://trac.cppcheck.net/ticket/10699
       run: |

.github/workflows/deploy_test_coverage_coveralls.yml

@@ -45,6 +45,12 @@ jobs:
             cmake ..
             cmake --build . --parallel
             sudo cmake --install . ) )
+        ( cd /tmp
+          git clone --depth 1 https://github.com/BobSteagall/wg21.git
+          mkdir wg21/build
+          ( cd wg21/build
+            cmake ..
+            sudo cmake --install . ) )
     - name: Build
       run: |
         gcc-12 \

.github/workflows/verify_test_memory_valgrind.yml

@@ -45,6 +45,12 @@ jobs:
             cmake ..
             cmake --build . --parallel
             sudo cmake --install . ) )
+        ( cd /tmp
+          git clone --depth 1 https://github.com/BobSteagall/wg21.git
+          mkdir wg21/build
+          ( cd wg21/build
+            cmake ..
+            sudo cmake --install . ) )
     - name: Build
       run: |
         gcc-12 \

.github/workflows/verify_test_sanitizer_address.yml

@@ -45,6 +45,12 @@ jobs:
             cmake ..
             cmake --build . --parallel
             sudo cmake --install . ) )
+        ( cd /tmp
+          git clone --depth 1 https://github.com/BobSteagall/wg21.git
+          mkdir wg21/build
+          ( cd wg21/build
+            cmake ..
+            sudo cmake --install . ) )
     - name: Build
       run: |
         gcc-12 \

.github/workflows/verify_test_sanitizer_leak.yml

@@ -45,6 +45,12 @@ jobs:
             cmake ..
             cmake --build . --parallel
             sudo cmake --install . ) )
+        ( cd /tmp
+          git clone --depth 1 https://github.com/BobSteagall/wg21.git
+          mkdir wg21/build
+          ( cd wg21/build
+            cmake ..
+            sudo cmake --install . ) )
     - name: Build
       run: |
         gcc-12 \

.github/workflows/verify_test_sanitizer_thread.yml

@@ -45,6 +45,12 @@ jobs:
             cmake ..
             cmake --build . --parallel
             sudo cmake --install . ) )
+        ( cd /tmp
+          git clone --depth 1 https://github.com/BobSteagall/wg21.git
+          mkdir wg21/build
+          ( cd wg21/build
+            cmake ..
+            sudo cmake --install . ) )
     - name: Build
       run: |
         gcc-12 \

.github/workflows/verify_test_sanitizer_undefined_behavior.yml

@@ -45,6 +45,12 @@ jobs:
             cmake ..
             cmake --build . --parallel
             sudo cmake --install . ) )
+        ( cd /tmp
+          git clone --depth 1 https://github.com/BobSteagall/wg21.git
+          mkdir wg21/build
+          ( cd wg21/build
+            cmake ..
+            sudo cmake --install . ) )
     - name: Build
       run: |
         gcc-12 \

.github/workflows/verify_test_ubuntu-22-04_clang.yml

@@ -12,6 +12,15 @@ jobs:
     steps:
     - name: Checkout
       uses: actions/[email protected]
+    - name: Install
+      # Workaround to wg21 installation.
+      run: |
+        ( cd /tmp
+          git clone --depth 1 https://github.com/BobSteagall/wg21.git
+          mkdir wg21/build
+          ( cd wg21/build
+            cmake ..
+            sudo cmake --install . ) )
     - name: Build
       run: |
         export CC=clang

.github/workflows/verify_test_ubuntu-22-04_gcc.yml

@@ -12,6 +12,15 @@ jobs:
     steps:
     - name: Checkout
       uses: actions/[email protected]
+    - name: Install
+      # Workaround to wg21 installation.
+      run: |
+        ( cd /tmp
+          git clone --depth 1 https://github.com/BobSteagall/wg21.git
+          mkdir wg21/build
+          ( cd wg21/build
+            cmake ..
+            sudo cmake --install . ) )
     - name: Build
       run: |
         cmake -B "build" .

.github/workflows/verify_test_windows-2019_msvc.yml

@@ -14,6 +14,14 @@ jobs:
       uses: actions/[email protected]
     - name: Install
       uses: ilammy/[email protected]
+    - name: "Install Linear Algebra"
+      # Workaround to wg21 installation.
+      run: |
+        git clone --depth 1 https://github.com/BobSteagall/wg21.git
+        mkdir wg21/build
+        cd wg21/build
+        cmake ..
+        cmake --install .
     - name: Version
       run: cl
     - name: Build

CMakeLists.txt

@@ -76,7 +76,14 @@ FetchContent_Declare(
   URL_HASH "MD5=e82199374acdfda3f425331028eb4e2a"
   FIND_PACKAGE_ARGS NAMES GTest)
 
-FetchContent_MakeAvailable(eigen fmt google_test google_benchmark)
+FetchContent_Declare(
+  linear_algebra
+  GIT_REPOSITORY "https://github.com/BobSteagall/wg21.git"
+  GIT_TAG "38021cad033938362943e2d3c231f8baf541fc28"
+  FIND_PACKAGE_ARGS NAMES wg21_linear_algebra)
+
+FetchContent_MakeAvailable(google_test eigen fmt google_benchmark
+                           linear_algebra)
 
 add_subdirectory(benchmark)
 add_subdirectory(include)

include/fcarouge/internal/utility.hpp

@@ -41,6 +41,7 @@ For more information, please refer to <https://unlicense.org> */
 
 #include <concepts>
 #include <type_traits>
+#include <utility>
 
 namespace fcarouge::internal {
 
@@ -129,16 +130,36 @@ struct transpose final {
 //! deductions?
 struct deducer final {
   template <typename Lhs, typename Rhs>
+  [[nodiscard]] inline constexpr auto operator()(const Lhs &lhs,
+                                                 const Rhs &rhs) const
+      -> decltype(lhs * std::declval<typename Rhs::transpose_type>());
+
+  template <arithmetic Lhs, typename Rhs>
+  [[nodiscard]] inline constexpr auto operator()(const Lhs &lhs,
+                                                 const Rhs &rhs) const
+      -> decltype(std::declval<typename Rhs::transpose_type>());
+
+  template <typename Lhs, typename Rhs>
+    requires requires(Lhs lhs, Rhs rhs) {
+               typename Lhs::PlainMatrix;
+               typename Lhs::PlainMatrix;
+             }
   [[nodiscard]] inline constexpr auto operator()(const Lhs &lhs,
                                                  const Rhs &rhs) const ->
       typename decltype(lhs * rhs.transpose())::PlainMatrix;
 
   template <typename Lhs, arithmetic Rhs>
+    requires requires(Lhs lhs) { typename Lhs::PlainMatrix; }
   [[nodiscard]] inline constexpr auto operator()(const Lhs &lhs,
                                                  const Rhs &rhs) const ->
       typename Lhs::PlainMatrix;
 
+  template <typename Lhs, arithmetic Rhs>
+  [[nodiscard]] inline constexpr auto operator()(const Lhs &lhs,
+                                                 const Rhs &rhs) const -> Lhs;
+
   template <arithmetic Lhs, typename Rhs>
+    requires requires(Rhs rhs) { typename Rhs::PlainMatrix; }
   [[nodiscard]] inline constexpr auto operator()(const Lhs &lhs,
                                                  const Rhs &rhs) const ->
       typename decltype(rhs.transpose())::PlainMatrix;

test/CMakeLists.txt

@@ -43,7 +43,8 @@ set(SOURCES
     "f.cpp"
     "format.cpp"
     "h.cpp"
-    "initialization.cpp")
+    "initialization.cpp"
+    "p1385_initialization.cpp")
 
 foreach(TEST ${SOURCES})
   get_filename_component(NAME ${TEST} NAME_WE)

test/p1385_initialization.cpp

@@ -0,0 +1,60 @@
+/*  __          _      __  __          _   _
+| |/ /    /\   | |    |  \/  |   /\   | \ | |
+| ' /    /  \  | |    | \  / |  /  \  |  \| |
+|  <    / /\ \ | |    | |\/| | / /\ \ | . ` |
+| . \  / ____ \| |____| |  | |/ ____ \| |\  |
+|_|\_\/_/    \_\______|_|  |_/_/    \_\_| \_|
+
+Kalman Filter for C++
+Version 0.1.0
+https://github.com/FrancoisCarouge/Kalman
+
+SPDX-License-Identifier: Unlicense
+
+This is free and unencumbered software released into the public domain.
+
+Anyone is free to copy, modify, publish, use, compile, sell, or
+distribute this software, either in source code form or as a compiled
+binary, for any purpose, commercial or non-commercial, and by any
+means.
+
+In jurisdictions that recognize copyright laws, the author or authors
+of this software dedicate any and all copyright interest in the
+software to the public domain. We make this dedication for the benefit
+of the public at large and to the detriment of our heirs and
+successors. We intend this dedication to be an overt act of
+relinquishment in perpetuity of all present and future rights to this
+software under copyright law.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
+IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR
+OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
+ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+OTHER DEALINGS IN THE SOFTWARE.
+
+For more information, please refer to <https://unlicense.org> */
+
+#include "fcarouge/kalman.hpp"
+
+#include <cassert>
+#include <linear_algebra.hpp>
+
+namespace fcarouge::test {
+namespace {
+
+template <typename Type, auto Size>
+using vector = std::math::fs_matrix<Type, Size, 1>;
+
+//! @test Verifies default values are initialized for multi-dimension filters.
+[[maybe_unused]] auto p1385_initialization_5x4x3{[] {
+  using kalman =
+      kalman<vector<double, 5>, vector<double, 4>, vector<double, 3>>;
+  kalman filter;
+
+  return 0;
+}()};
+
+} // namespace
+} // namespace fcarouge::test