modulus_polynomial_inv_naive< V > Struct Template Reference

#include <modular_polynomial.hpp>

Inheritance diagram for modulus_polynomial_inv_naive< V >:

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_polynomial_inv_naive< V >

Definition at line 29 of file modular_polynomial.hpp.

---

Member Function Documentation

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

Definition at line 48 of file modular_polynomial.hpp.

References modulus_polynomial_inv_naive< V >::inv_mod().

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

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

Definition at line 36 of file modular_polynomial.hpp.

References mmx::deg(), and mmx::invert_modulo().

Referenced by modulus_polynomial_inv_naive< V >::inv_mod().

                             {
    if (m.p == 0) {
      if (deg (a) == 0)
        a= 1 / a [0];
      else
        ERROR ("inv_mod: argument is not invertible");
    }
    a = invert_modulo (a, m.p);
    if (a == 0)
      ERROR ("inv_mod: argument is not invertible"); }

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

Definition at line 32 of file modular_polynomial.hpp.

References mmx::abs(), and mmx::gcd().

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

---

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

• include/algebramix/modular_polynomial.hpp