modulus_inv_integer_naive< V > Struct Template Reference

#include <modular_integer.hpp>

List of all members.

Static Public Member Functions

• template<typename C , typename M > static bool is_invertible_mod (const C &s, const M &m)
• template<typename C , typename M > static void inv_mod (C &a, const M &m)
• template<typename C , typename M > static void inv_mod (C &dest, const C &s, const M &m)

---

Detailed Description

template<typename V>
struct mmx::modulus_inv_integer_naive< V >

Definition at line 114 of file modular_integer.hpp.

---

Member Function Documentation

static void inv_mod	(	C &	dest,
		const C &	s,
		const M &	m
	)			[inline, static]

Definition at line 133 of file modular_integer.hpp.

                                            {
    dest = s;
    inv_mod (dest, m); }

static void inv_mod	(	C &	a,
		const M &	m
	)			[inline, static]

Definition at line 121 of file modular_integer.hpp.

Referenced by modulus_inv_integer_naive< modulus_mul_naive< modulus_add_integer_naive< modulus_reduction_naive< modulus_normalization_integer_naive > > > >::inv_mod().

                             {
    if (m.p == 0) {
      if (a == 1 || a == -1)
        return;
      else
        ERROR ("inv_mod: argument is not invertible");  
    }
    a = invert_modulo (a, m.p);
    if (a == 0 && m.p != 1)
      ERROR ("inv_mod: argument is not invertible"); }

static bool is_invertible_mod	(	const C &	s,
		const M &	m
	)			[inline, static]

Definition at line 117 of file modular_integer.hpp.

                                             {
    return abs (gcd (s, m.p)) == 1; }

---

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

• include/numerix/modular_integer.hpp