namespace for alias changed

Author: KippieSan

include/LinearAlgebra/StaticMatrix/AliasAndConcepts/staticmatrix_alias_and_concepts.hpp

@@ -3,43 +3,49 @@
 #include <concepts>
 #include <cstddef>
 #include <array>
-namespace klibrary::linear_algebra {
-    // 添え字に使用する型の定義
+#include <optional>
+// 実装内のみで使用される型やコンセプト
+namespace klibrary::linear_algebra::alias_and_concepts {
     using SizeT = std::size_t;
-    // 浮動小数点型の定義
+
     template <class T>
     concept FloatingPoint = std::is_floating_point_v<T>;
-    // 配列型の定義
+
     template <class ElemT, SizeT size>
     using Array = std::array<ElemT, size>;
-    // T, Uから変換可能な共通の型が存在するか
+
     template <class T, class U>
     concept HasCommonTypeWith = std::common_with<T, U>;
-    // T, Uから変換可能な共通の型を返す
+
     template <class T, class U>
     using CommonTypeOf = std::common_type<T, U>::type;
-    // FromからToに変換可能であるか
+    
     template <class From, class To>
     concept IsConvertibleTo = std::convertible_to<From, To>;
-    // 加算は定義されているか
+    
     template <class Operand_L, class Operand_R>
     concept IsAdditionDefined = requires(Operand_L a, Operand_R b) {
         {a + b};
     };
-    // 減算は定義されているか
+    
     template <class Operand_L, class Operand_R>
     concept IsSubtractionDefined = requires(Operand_L a, Operand_R b) {
         {a - b};
     };
-    // 乗算は定義されているか
+    
     template <class Operand_L, class Operand_R>
     concept IsMultiplicationDefined = requires(Operand_L a, Operand_R b) {
         {a * b};
     };
-    // 除算は定義されているか
+    
     template <class Operand_L, class Operand_R>
     concept IsDivisionDefined = requires(Operand_L a, Operand_R b) {
         {a / b};
     };
 }
+// ユーザーが使用可能な型やコンセプト
+namespace klibrary::linear_algebra {
+    template <class T>
+    using Infinity = std::optional<T>::nullopt_t;
+}
 #endif // staticmatrix_alias_and_concepts_hpp

include/LinearAlgebra/StaticMatrix/Base/staticmatrix_base.hpp

@@ -6,6 +6,9 @@
 #include <cassert>
 #include <iostream>
 #include <concepts>
+namespace {
+    using namespace klibrary::linear_algebra::alias_and_concepts;
+}
 namespace klibrary::linear_algebra {
     template <class ElemT, SizeT Rows, SizeT Cols>
     class StaticMatrixBase {