unsigned_int_reconstruct_helper< U > Struct Template Reference

#include <int.hpp>

List of all members.

Static Public Member Functions

• static bool reconstruct (typename signed_of_helper< U >::type &n, typename signed_of_helper< U >::type &d, const U &u, const U &m, const U &N, const U &D)

---

Detailed Description

template<typename U>
struct mmx::unsigned_int_reconstruct_helper< U >

Definition at line 759 of file int.hpp.

---

Member Function Documentation

static bool reconstruct	(	typename signed_of_helper< U >::type &	n,
		typename signed_of_helper< U >::type &	d,
		const U &	u,
		const U &	m,
		const U &	N,
		const U &	D
	)			[inline, static]

Definition at line 760 of file int.hpp.

References mmx::abs(), ASSERT, mmx::gcd(), mmx::I(), and mmx::rem().

                                                   {
  /* Return in r = n / d such that abs (n) <= N, 0 < d <= D, gcd (n, d) = 1,
     and n / d = u mod m. If such a rational exists then the function returns
     true and false otherwise. */
  ASSERT (m > u, "invalid input");
  ASSERT (N > 0, "invalid input");
  ASSERT (D > 0, "invalid input");
  U aux= N * D;
  ASSERT (aux / D == N && (aux << 1) / 2 == aux && (aux << 1) < m,
          "invalid input");
  U r0= m, t0= 0;
  U r1= u, t1= 1;
  U q;
  while (r1 > N) {
    U aux= rem (r0, r1, q);
    r0= r1; r1= aux;
    aux= t0;
    t0= t1; t1= aux - q * t1;
  }
  n= (I) r1; d= (I) t1;
  if (d < 0) { n= -n; d= -d; }
  if ((U) d > D) return false;
  return abs (gcd (n, d)) == 1; }

---

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

• include/basix/int.hpp