kyosu v0.1.0
Complex Without Complexes
 
Loading...
Searching...
No Matches

◆ kpart

kyosu::kpart = {}
inlineconstexpr

Extracts the \(k\) part of a value.

Defined in Header

#include <kyosu/functions.hpp>

Callable Signatures

namespace kyosu
{
template<kyosu::concepts::cayley_dickson T> constexpr auto& kpart(T& z) noexcept;
template<kyosu::concepts::cayley_dickson T> constexpr auto kpart(T const& z) noexcept;
template<eve::floating_ordered_value T> constexpr T kpart(T const& z) noexcept;
}
constexpr tags::callable_kpart kpart
Extracts the part of a value.
Definition: kpart.hpp:80
Main KYOSU namespace.
Definition: types.hpp:14

Parameters

  • z: Original value.

Return value

Returns the \(k\) part of its argument. For real and complex inputs, the call returns 0. Its the fourth coefficient in the z representation and so is 0 for complex and floating.

Example

#include <kyosu/kyosu.hpp>
#include <eve/wide.hpp>
#include <iostream>
int main()
{
using kyosu::kpart;
std::cout << "Real: ";
float f = 72.9f;
std::cout << f << " -> " << kpart(f) << "\n";
std::cout << "Complex: ";
auto z = kyosu::complex_t<float>(3.5f,-2.9f);
std::cout << z << " -> " << kpart(z) << "\n";
std::cout << "Quaternion: ";
auto q = kyosu::quaternion_t<double>(1.,2.,3.,4.);
std::cout << q << " -> " << kpart(q) << " => ";
kpart(q) = 42.7;
std::cout << q << "\n";
std::cout << "SIMD: ";
eve::wide<kyosu::quaternion_t<double>, eve::fixed<2>> wz(kyosu::quaternion_t<double>(1.3,-3.7,4.2,-7.8));
std::cout << wz << " -> " << kpart(wz) << " => ";
kpart(wz) = eve::wide<double, eve::fixed<2>>{13.37,63.24};
std::cout << wz << "\n";
return 0;
}
as_cayley_dickson_n_t< 4, T > quaternion_t
Type alias for quaternion numbers.
Definition: quaternion.hpp:27
as_cayley_dickson_n_t< 2, T > complex_t
Type alias for complex numbers.
Definition: complex.hpp:27