dedekind::numbers::PartialMulRational< I > Struct Template Reference

Partial multiplication 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::PartialMulRational< I >

Partial multiplication transform for Rational.

Since rational arithmetic is mathematically exact (no rounding loss), this always returns Ternary::True.

---

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

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