ntlib::algebra_traits< rational< T > > Class Template Reference

Specialization of ntlib::algebra_traits for rational. More...

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

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

Detailed Description

template<Integer T>
class ntlib::algebra_traits< rational< T > >

Specialization of ntlib::algebra_traits for rational.

Template Parameters

T	An integer-like type.

Member Function Documentation

get_one()

template<Integer T>

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

inlinestaticnodiscardconstexprnoexcept

Returns the multiplicative neutral element of rational<T>.

Returns

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

get_zero()

template<Integer T>

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

inlinestaticnodiscardconstexprnoexcept

Returns the additive neutral element of rational<T>.

Returns

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

---

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

• modules/types/rational.cpp