mpusz/mp-units
1
0
Fork 1
mirror of https://github.com/mpusz/mp-units.git synced 2025-08-02 20:04:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

feat: complex quantity character added

Browse Source
This commit is contained in:
Mateusz Pusz
2024-09-19 21:57:03 -06:00
parent 696f789e77
commit 7f0dea9d18
2 changed files with 16 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/core/include/mp-units/framework/customization_points.h
View File

@@ -64,6 +64,14 @@ constexpr bool treat_as_floating_point<Rep> = treat_as_floating_point<wrapped_ty
template<typename Rep> template<typename Rep>
constexpr bool is_scalar = std::is_floating_point_v<Rep> || (std::is_integral_v<Rep> && !is_same_v<Rep, bool>); constexpr bool is_scalar = std::is_floating_point_v<Rep> || (std::is_integral_v<Rep> && !is_same_v<Rep, bool>);
/**
* @brief Specifies a type to have a complex character
*
* A complex is a physical quantity that has a complex representation type.
*/
template<typename Rep>
constexpr bool is_complex = false;
/** /**
* @brief Specifies a type to have a vector character * @brief Specifies a type to have a vector character
* *

13
src/core/include/mp-units/framework/representation_concepts.h
View File

@@ -50,6 +50,8 @@ namespace mp_units {
* *
* A scalar is a physical quantity that has magnitude but no direction. * A scalar is a physical quantity that has magnitude but no direction.
* *
* A complex is a physical quantity that is represented with a complex number.
*
* Vectors are physical quantities that possess both magnitude and direction * Vectors are physical quantities that possess both magnitude and direction
* and whose operations obey the axioms of a vector space. * and whose operations obey the axioms of a vector space.
* *
@@ -57,7 +59,7 @@ namespace mp_units {
* For example, the Cauchy stress tensor possess magnitude, direction, * For example, the Cauchy stress tensor possess magnitude, direction,
* and orientation qualities. * and orientation qualities.
*/ */
MP_UNITS_EXPORT enum class quantity_character : std::int8_t { scalar, vector, tensor }; MP_UNITS_EXPORT enum class quantity_character : std::int8_t { scalar, complex, vector, tensor };
namespace detail { namespace detail {
@@ -86,11 +88,12 @@ concept WeaklyRegular = std::copyable<T> && std::equality_comparable<T>;
MP_UNITS_EXPORT template<typename T> MP_UNITS_EXPORT template<typename T>
concept Representation = concept Representation =
(is_scalar<T> || is_vector<T> || is_tensor<T>) && detail::WeaklyRegular<T> && detail::Scalable<T>; (is_scalar<T> || is_complex<T> || is_vector<T> || is_tensor<T>) && detail::WeaklyRegular<T> && detail::Scalable<T>;
MP_UNITS_EXPORT template<typename T, quantity_character Ch> MP_UNITS_EXPORT template<typename T, quantity_character Ch>
concept RepresentationOf = Representation<T> && ((Ch == quantity_character::scalar && is_scalar<T>) || concept RepresentationOf =
(Ch == quantity_character::vector && is_vector<T>) || Representation<T> &&
(Ch == quantity_character::tensor && is_tensor<T>)); ((Ch == quantity_character::scalar && is_scalar<T>) || (Ch == quantity_character::complex && is_complex<T>) ||
(Ch == quantity_character::vector && is_vector<T>) || (Ch == quantity_character::tensor && is_tensor<T>));
} // namespace mp_units } // namespace mp_units