ntlib::algebra_traits< T > Class Template Reference

Specialization of ntlib::algebra_traits for integral types. More...

Static Public Member Functions
static constexpr T	get_zero () noexcept
	Returns the additive neutral element of T.
static constexpr T	get_one () noexcept
	Returns the multiplicative neutral element of T.

Static Public Attributes
static constexpr bool	is_additive_commutative = true
	Integral addition is commutative.
static constexpr bool	is_multiplicative_commutative = true
	Integral multiplication is commutative.

Detailed Description

template<std::integral T>
class ntlib::algebra_traits< T >

Specialization of ntlib::algebra_traits for integral types.

Template Parameters

T	An integral type.

Member Function Documentation

get_one()

template<std::integral T>

constexpr T ntlib::algebra_traits< T >::get_one ( )

inlinestaticnodiscardconstexprnoexcept

Returns the multiplicative neutral element of T.

Returns

The multiplicative neutral element, i.e., \(1\).

get_zero()

template<std::integral T>

constexpr T ntlib::algebra_traits< T >::get_zero ( )

inlinestaticnodiscardconstexprnoexcept

Returns the additive neutral element of T.

Returns

The additive neutral element, i.e., \(0\).

---

The documentation for this class was generated from the following file:

• modules/base/concepts.cpp