Division transform for Rational. More...

Public Types
using	value_type = Rational<I>
using	logic_species = Kleene

Public Member Functions
TernaryResult< Rational< I > >	operator() (std::pair< const Rational< I > &, const Rational< I > & > p) const

Detailed Description

template<IsInteger I>
struct dedekind::numbers::HonestDivRational< I >

Division transform for Rational.

Since Rational models exact arithmetic in the quotient field, division does not truncate the way integer division can. Accordingly, this returns Ternary::True whenever the rational quotient is formed. Division by zero propagates via Rational::inverse(), which may throw.

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

src/main/modules/dedekind/numbers/rational.cppm

Public Types

Public Member Functions

Detailed Description