From d611fcde939ee179f42aee59dcf50c7ba9e7a569 Mon Sep 17 00:00:00 2001
From: Joel Falcou <joel.falcou@lri.fr>
Date: Mon, 6 Nov 2023 21:52:36 +0100
Subject: [PATCH] Add tests for as_real and constants

---
 include/kyosu/types/cayley_dickson.hpp        |  12 +-
 test/unit/infra/as_cayley_dickinson.cpp       | 200 +++++++++---------
 .../infra/{as_real.cpp => as_real_type.cpp}   |   4 +-
 test/unit/infra/constants.cpp                 |  50 +++++
 4 files changed, 161 insertions(+), 105 deletions(-)
 rename test/unit/infra/{as_real.cpp => as_real_type.cpp} (81%)
 create mode 100644 test/unit/infra/constants.cpp

diff --git a/include/kyosu/types/cayley_dickson.hpp b/include/kyosu/types/cayley_dickson.hpp
index e323e8ba..28cbc1b5 100644
--- a/include/kyosu/types/cayley_dickson.hpp
+++ b/include/kyosu/types/cayley_dickson.hpp
@@ -182,12 +182,18 @@ namespace kyosu
     }
   }
 
+template<typename T> struct print;
+
   // TODO: Move to tag_invoke when EVE catch up on this front
-  template<typename Tag, eve::floating_scalar_value Type, unsigned int N>
-  KYOSU_FORCEINLINE constexpr auto tagged_dispatch(Tag const&, eve::as<cayley_dickson<Type,N>> const&) noexcept
+  template<typename Tag, concepts::cayley_dickson T>
+  KYOSU_FORCEINLINE constexpr auto tagged_dispatch(Tag const&, eve::as<T> const&) noexcept
   {
     eve::detail::callable_object<Tag> cst;
-    return cayley_dickson<Type,N>( cst(eve::as<Type>{}) );
+    auto val = cst( eve::as<as_real_type_t<T>>{} );
+    using val_t = std::remove_cvref_t<decltype(val)>;
+
+    if constexpr(!eve::floating_value<val_t>) return val;
+    else return as_cayley_dickson_n_t<eve::element_type_t<T>::static_size,val_t>(val);
   }
 
   template<typename Tag, typename T>
diff --git a/test/unit/infra/as_cayley_dickinson.cpp b/test/unit/infra/as_cayley_dickinson.cpp
index 9a19c20f..e9cbe52a 100644
--- a/test/unit/infra/as_cayley_dickinson.cpp
+++ b/test/unit/infra/as_cayley_dickinson.cpp
@@ -8,117 +8,117 @@
 #include <kyosu/kyosu.hpp>
 #include <test.hpp>
 
-// TTS_CASE( "Check as_cayley_dickson_n<N,T> with scalar reals")
-// {
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, std::int32_t > ), kyosu::complex<float>    );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, float        > ), kyosu::complex<float>    );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, std::int64_t > ), kyosu::complex<double>   );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, double       > ), kyosu::complex<double>   );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, std::int32_t > ), kyosu::quaternion<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, float        > ), kyosu::quaternion<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, std::int64_t > ), kyosu::quaternion<double>);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, double       > ), kyosu::quaternion<double>);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, std::int32_t > ), kyosu::octonion<float>   );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, float        > ), kyosu::octonion<float>   );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, std::int64_t > ), kyosu::octonion<double>  );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, double       > ), kyosu::octonion<double>  );
-// };
+TTS_CASE( "Check as_cayley_dickson_n<N,T> with scalar reals")
+{
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, std::int32_t > ), kyosu::complex_t<float>    );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, float        > ), kyosu::complex_t<float>    );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, std::int64_t > ), kyosu::complex_t<double>   );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, double       > ), kyosu::complex_t<double>   );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, std::int32_t > ), kyosu::quaternion_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, float        > ), kyosu::quaternion_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, std::int64_t > ), kyosu::quaternion_t<double>);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, double       > ), kyosu::quaternion_t<double>);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, std::int32_t > ), kyosu::octonion_t<float>   );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, float        > ), kyosu::octonion_t<float>   );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, std::int64_t > ), kyosu::octonion_t<double>  );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, double       > ), kyosu::octonion_t<double>  );
+};
 
-// TTS_CASE( "Check as_cayley_dickson_n<N,T> with scalar non-reals")
-// {
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, kyosu::complex<float>  > ), kyosu::complex<float>    );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, kyosu::complex<double> > ), kyosu::complex<double>   );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, kyosu::complex<float>  > ), kyosu::quaternion<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, kyosu::complex<double> > ), kyosu::quaternion<double>);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, kyosu::complex<float>  > ), kyosu::octonion<float>   );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, kyosu::complex<double> > ), kyosu::octonion<double>  );
+TTS_CASE( "Check as_cayley_dickson_n<N,T> with scalar non-reals")
+{
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, kyosu::complex_t<float>  > ), kyosu::complex_t<float>    );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, kyosu::complex_t<double> > ), kyosu::complex_t<double>   );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, kyosu::complex_t<float>  > ), kyosu::quaternion_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, kyosu::complex_t<double> > ), kyosu::quaternion_t<double>);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, kyosu::complex_t<float>  > ), kyosu::octonion_t<float>   );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, kyosu::complex_t<double> > ), kyosu::octonion_t<double>  );
 
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, kyosu::quaternion<float>  > ), kyosu::complex<float>    );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, kyosu::quaternion<double> > ), kyosu::complex<double>   );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, kyosu::quaternion<float>  > ), kyosu::quaternion<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, kyosu::quaternion<double> > ), kyosu::quaternion<double>);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, kyosu::quaternion<float>  > ), kyosu::octonion<float>   );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, kyosu::quaternion<double> > ), kyosu::octonion<double>  );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, kyosu::quaternion_t<float>  > ), kyosu::complex_t<float>    );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, kyosu::quaternion_t<double> > ), kyosu::complex_t<double>   );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, kyosu::quaternion_t<float>  > ), kyosu::quaternion_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, kyosu::quaternion_t<double> > ), kyosu::quaternion_t<double>);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, kyosu::quaternion_t<float>  > ), kyosu::octonion_t<float>   );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, kyosu::quaternion_t<double> > ), kyosu::octonion_t<double>  );
 
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, kyosu::octonion<float>  > ), kyosu::complex<float>    );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, kyosu::octonion<double> > ), kyosu::complex<double>   );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, kyosu::octonion<float>  > ), kyosu::quaternion<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, kyosu::octonion<double> > ), kyosu::quaternion<double>);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, kyosu::octonion<float>  > ), kyosu::octonion<float>   );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, kyosu::octonion<double> > ), kyosu::octonion<double>  );
-// };
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, kyosu::octonion_t<float>  > ), kyosu::complex_t<float>    );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, kyosu::octonion_t<double> > ), kyosu::complex_t<double>   );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, kyosu::octonion_t<float>  > ), kyosu::quaternion_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, kyosu::octonion_t<double> > ), kyosu::quaternion_t<double>);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, kyosu::octonion_t<float>  > ), kyosu::octonion_t<float>   );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, kyosu::octonion_t<double> > ), kyosu::octonion_t<double>  );
+};
 
-// TTS_CASE( "Check as_cayley_dickson_n<N,Ts...> with mixed scalar")
-// {
-//   using kyosu::complex;
-//   using kyosu::quaternion;
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex<float> , complex<float>> ), complex<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex<float> , int           > ), complex<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex<float> , std::int64_t  > ), complex<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex<float> , float         > ), complex<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex<float> , double        > ), complex<float> );
+TTS_CASE( "Check as_cayley_dickson_n<N,Ts...> with mixed scalar")
+{
+  using kyosu::complex_t;
+  using kyosu::quaternion_t;
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex_t<float> , complex_t<float>> ), complex_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex_t<float> , int           > ), complex_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex_t<float> , std::int64_t  > ), complex_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex_t<float> , float         > ), complex_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex_t<float> , double        > ), complex_t<float> );
 
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex<float> , complex<float>> ), complex<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, int            , complex<float>> ), complex<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, std::int64_t   , complex<float>> ), complex<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, float          , complex<float>> ), complex<float> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, double         , complex<float>> ), complex<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex_t<float> , complex_t<float>> ), complex_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, int            , complex_t<float>> ), complex_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, std::int64_t   , complex_t<float>> ), complex_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, float          , complex_t<float>> ), complex_t<float> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, double         , complex_t<float>> ), complex_t<float> );
 
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex<double>, complex<double>>), complex<double> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex<double>, int           > ), complex<double> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex<double>, std::int64_t  > ), complex<double> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex<double>, float         > ), complex<double> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex<double>, double        > ), complex<double> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex_t<double>, complex_t<double>>), complex_t<double> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex_t<double>, int           > ), complex_t<double> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex_t<double>, std::int64_t  > ), complex_t<double> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex_t<double>, float         > ), complex_t<double> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex_t<double>, double        > ), complex_t<double> );
 
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex<double>, complex<double>> ), complex<double> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, int            , complex<double>> ), complex<double> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, std::int64_t   , complex<double>> ), complex<double> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, float          , complex<double>> ), complex<double> );
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, double         , complex<double>> ), complex<double> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, complex_t<double>, complex_t<double>> ), complex_t<double> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, int            , complex_t<double>> ), complex_t<double> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, std::int64_t   , complex_t<double>> ), complex_t<double> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, float          , complex_t<double>> ), complex_t<double> );
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, double         , complex_t<double>> ), complex_t<double> );
 
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, complex<double>, quaternion<double>> ), quaternion<double> );
-// };
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, complex_t<double>, quaternion_t<double>> ), quaternion_t<double> );
+};
 
-// TTS_CASE( "Check as_cayley_dickson_n<N,T> on SIMD reals")
-// {
-//   using eve::wide;
+TTS_CASE( "Check as_cayley_dickson_n<N,T> on SIMD reals")
+{
+  using eve::wide;
 
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<std::int32_t >> ), wide<kyosu::complex<float>    >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<float        >> ), wide<kyosu::complex<float>    >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<std::int64_t >> ), wide<kyosu::complex<double>   >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<double       >> ), wide<kyosu::complex<double>   >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<std::int32_t >> ), wide<kyosu::quaternion<float> >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<float        >> ), wide<kyosu::quaternion<float> >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<std::int64_t >> ), wide<kyosu::quaternion<double>>);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<double       >> ), wide<kyosu::quaternion<double>>);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<std::int32_t >> ), wide<kyosu::octonion<float>   >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<float        >> ), wide<kyosu::octonion<float>   >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<std::int64_t >> ), wide<kyosu::octonion<double>  >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<double       >> ), wide<kyosu::octonion<double>  >);
-// };
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<std::int32_t >> ), wide<kyosu::complex_t<float>    >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<float        >> ), wide<kyosu::complex_t<float>    >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<std::int64_t >> ), wide<kyosu::complex_t<double>   >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<double       >> ), wide<kyosu::complex_t<double>   >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<std::int32_t >> ), wide<kyosu::quaternion_t<float> >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<float        >> ), wide<kyosu::quaternion_t<float> >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<std::int64_t >> ), wide<kyosu::quaternion_t<double>>);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<double       >> ), wide<kyosu::quaternion_t<double>>);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<std::int32_t >> ), wide<kyosu::octonion_t<float>   >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<float        >> ), wide<kyosu::octonion_t<float>   >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<std::int64_t >> ), wide<kyosu::octonion_t<double>  >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<double       >> ), wide<kyosu::octonion_t<double>  >);
+};
 
-// TTS_CASE( "Check as_cayley_dickson_n<N,T> on SIMD non-reals")
-// {
-//   using eve::wide;
+TTS_CASE( "Check as_cayley_dickson_n<N,T> on SIMD non-reals")
+{
+  using eve::wide;
 
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<kyosu::complex<float>     >> ), wide<kyosu::complex<float>  >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<kyosu::complex<double>    >> ), wide<kyosu::complex<double> >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<kyosu::quaternion<float>  >> ), wide<kyosu::complex<float>  >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<kyosu::quaternion<double> >> ), wide<kyosu::complex<double> >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<kyosu::octonion<float>    >> ), wide<kyosu::complex<float>  >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<kyosu::octonion<double>   >> ), wide<kyosu::complex<double> >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<kyosu::complex_t<float>     >> ), wide<kyosu::complex_t<float>  >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<kyosu::complex_t<double>    >> ), wide<kyosu::complex_t<double> >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<kyosu::quaternion_t<float>  >> ), wide<kyosu::complex_t<float>  >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<kyosu::quaternion_t<double> >> ), wide<kyosu::complex_t<double> >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<kyosu::octonion_t<float>    >> ), wide<kyosu::complex_t<float>  >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<2, wide<kyosu::octonion_t<double>   >> ), wide<kyosu::complex_t<double> >);
 
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<kyosu::complex<float>     >> ), wide<kyosu::quaternion<float> >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<kyosu::complex<double>    >> ), wide<kyosu::quaternion<double>>);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<kyosu::quaternion<float>  >> ), wide<kyosu::quaternion<float> >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<kyosu::quaternion<double> >> ), wide<kyosu::quaternion<double>>);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<kyosu::octonion<float>    >> ), wide<kyosu::quaternion<float> >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<kyosu::octonion<double>   >> ), wide<kyosu::quaternion<double>>);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<kyosu::complex_t<float>     >> ), wide<kyosu::quaternion_t<float> >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<kyosu::complex_t<double>    >> ), wide<kyosu::quaternion_t<double>>);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<kyosu::quaternion_t<float>  >> ), wide<kyosu::quaternion_t<float> >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<kyosu::quaternion_t<double> >> ), wide<kyosu::quaternion_t<double>>);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<kyosu::octonion_t<float>    >> ), wide<kyosu::quaternion_t<float> >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<4, wide<kyosu::octonion_t<double>   >> ), wide<kyosu::quaternion_t<double>>);
 
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<kyosu::complex<float>     >> ), wide<kyosu::octonion<float> >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<kyosu::complex<double>    >> ), wide<kyosu::octonion<double>>);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<kyosu::quaternion<float>  >> ), wide<kyosu::octonion<float> >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<kyosu::quaternion<double> >> ), wide<kyosu::octonion<double>>);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<kyosu::octonion<float>    >> ), wide<kyosu::octonion<float> >);
-//   TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<kyosu::octonion<double>   >> ), wide<kyosu::octonion<double>>);
-// };
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<kyosu::complex_t<float>     >> ), wide<kyosu::octonion_t<float> >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<kyosu::complex_t<double>    >> ), wide<kyosu::octonion_t<double>>);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<kyosu::quaternion_t<float>  >> ), wide<kyosu::octonion_t<float> >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<kyosu::quaternion_t<double> >> ), wide<kyosu::octonion_t<double>>);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<kyosu::octonion_t<float>    >> ), wide<kyosu::octonion_t<float> >);
+  TTS_TYPE_IS((kyosu::as_cayley_dickson_n_t<8, wide<kyosu::octonion_t<double>   >> ), wide<kyosu::octonion_t<double>>);
+};
diff --git a/test/unit/infra/as_real.cpp b/test/unit/infra/as_real_type.cpp
similarity index 81%
rename from test/unit/infra/as_real.cpp
rename to test/unit/infra/as_real_type.cpp
index 05760341..a7cfde69 100644
--- a/test/unit/infra/as_real.cpp
+++ b/test/unit/infra/as_real_type.cpp
@@ -8,13 +8,13 @@
 #include <kyosu/kyosu.hpp>
 #include <test.hpp>
 
-TTS_CASE_TPL( "Check as_real behavior on real types", kyosu::real_types)
+TTS_CASE_TPL( "Check as_real_type_t behavior on real types", kyosu::real_types)
 <typename T>(tts::type<T>)
 {
   TTS_TYPE_IS(kyosu::as_real_type_t<T>, T);
 };
 
-TTS_CASE_TPL( "Check as_real behavior on non-real types", kyosu::real_types)
+TTS_CASE_TPL( "Check as_real_type_t behavior on non-real types", kyosu::real_types)
 <typename T>(tts::type<T>)
 {
   TTS_TYPE_IS(kyosu::as_real_type_t<kyosu::complex_t<T>>    , T);
diff --git a/test/unit/infra/constants.cpp b/test/unit/infra/constants.cpp
new file mode 100644
index 00000000..2cc24a10
--- /dev/null
+++ b/test/unit/infra/constants.cpp
@@ -0,0 +1,50 @@
+//======================================================================================================================
+/*
+  Kyosu - Complex Without Complexes
+  Copyright : KYOSU Contributors & Maintainers
+  SPDX-License-Identifier: BSL-1.0
+*/
+//======================================================================================================================
+#include <kyosu/kyosu.hpp>
+#include <test.hpp>
+
+TTS_CASE_TPL( "Check as_real behavior on real types", kyosu::real_types)
+<typename T>(tts::type<T>)
+{
+  T x = {};
+
+  TTS_EQUAL(eve::half(kyosu::as_real<T>{}), T{0.5});
+  TTS_EQUAL(eve::half(kyosu::as_real(x)), T{0.5});
+};
+
+TTS_CASE_TPL( "Check as_real behavior on non-real types", kyosu::real_types)
+<typename T>(tts::type<T>)
+{
+  kyosu::complex_t<T>     cx = {};
+  kyosu::quaternion_t<T>  qx = {};
+  kyosu::octonion_t<T>    ox = {};
+
+  TTS_EQUAL(eve::half(kyosu::as_real<kyosu::complex_t<T>>{}), T{0.5});
+  TTS_EQUAL(eve::half(kyosu::as_real<kyosu::quaternion_t<T>>{}), T{0.5});
+  TTS_EQUAL(eve::half(kyosu::as_real<kyosu::octonion_t<T>>{}), T{0.5});
+
+  TTS_EQUAL(eve::half(kyosu::as_real(cx)), T{0.5});
+  TTS_EQUAL(eve::half(kyosu::as_real(qx)), T{0.5});
+  TTS_EQUAL(eve::half(kyosu::as_real(ox)), T{0.5});
+};
+
+TTS_CASE_TPL( "Check as behavior on non-real types", kyosu::real_types)
+<typename T>(tts::type<T>)
+{
+  kyosu::complex_t<T>     cx = {};
+  kyosu::quaternion_t<T>  qx = {};
+  kyosu::octonion_t<T>    ox = {};
+
+  // TTS_EQUAL(eve::half(kyosu::as<kyosu::complex_t<T>>{})   , kyosu::complex_t<T>(0.5));
+  // TTS_EQUAL(eve::half(kyosu::as<kyosu::quaternion_t<T>>{}), kyosu::quaternion_t<T>{0.5});
+  // TTS_EQUAL(eve::half(kyosu::as<kyosu::octonion_t<T>>{})  , kyosu::octonion_t<T>{0.5});
+
+  TTS_EQUAL(eve::half(kyosu::as(cx)),kyosu::complex_t<T>(0.5));
+  TTS_EQUAL(eve::half(kyosu::as(qx)),kyosu::quaternion_t<T>{0.5});
+  TTS_EQUAL(eve::half(kyosu::as(ox)),kyosu::octonion_t<T>{0.5});
+};