int_reconstruct_helper< I > Struct Template Reference

#include <int.hpp>

List of all members.

Static Public Member Functions

• static bool reconstruct (I &n, I &d, const I &u, const I &m, const I &N, const I &D)

---

Detailed Description

template<typename I>
struct mmx::int_reconstruct_helper< I >

Definition at line 714 of file int.hpp.

---

Member Function Documentation

static bool reconstruct	(	I &	n,
		I &	d,
		const I &	u,
		const I &	m,
		const I &	N,
		const I &	D
	)			[inline, static]

Definition at line 715 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 (u >= 0, "invalid input");
  ASSERT (m > u, "invalid input");
  ASSERT (N > 0, "invalid input");
  ASSERT (D > 0, "invalid input");
  I aux= N * D;
  ASSERT (aux / D == N && (aux << 1) / 2 == aux && (aux << 1) < m,
          "invalid input");
  I r0= m, t0= 0;
  I r1= u, t1= 1;
  I q;
  while (r1 > N) {
    I aux= rem (r0, r1, q);
    r0= r1; r1= aux;
    aux= t0;
    t0= t1; t1= aux - q * t1;
  }
  n= r1; d= t1;
  if (d < 0) { n= -n; d= -d; }
  if (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