modulus_polynomial_mul_preinverse< X, W > Struct Template Reference

#include <modular_polynomial.hpp>

List of all members.

Static Public Member Functions

• template<typename C , typename V , typename M > static void mul_mod (polynomial< C, V > &dest, const polynomial< C, V > &s, const M &m)
• template<typename C , typename V , typename M > static void mul_mod (polynomial< C, V > &dest, const polynomial< C, V > &s, const M &m, polynomial< C, V > &carry)
• template<typename C , typename V , typename M > static void mul_mod (polynomial< C, V > &dest, const polynomial< C, V > &s1, const polynomial< C, V > &s2, const M &m)
• template<typename C , typename V , typename M > static void mul_mod (polynomial< C, V > &dest, const polynomial< C, V > &s1, const polynomial< C, V > &s2, const M &m, polynomial< C, V > &carry)

---

Detailed Description

template<typename X, typename W = modulus_mul_naive<X>>
struct mmx::modulus_polynomial_mul_preinverse< X, W >

Definition at line 135 of file modular_polynomial.hpp.

---

Member Function Documentation

static void mul_mod	(	polynomial< C, V > &	dest,
		const polynomial< C, V > &	s1,
		const polynomial< C, V > &	s2,
		const M &	m,
		polynomial< C, V > &	carry
	)			[inline, static]

Definition at line 170 of file modular_polynomial.hpp.

References mul_mod().

                                          {
    dest = s1;
    mul_mod (dest, s2, m, carry); }

static void mul_mod	(	polynomial< C, V > &	dest,
		const polynomial< C, V > &	s1,
		const polynomial< C, V > &	s2,
		const M &	m
	)			[inline, static]

Definition at line 164 of file modular_polynomial.hpp.

References mul_mod().

                       {
    dest = s1;
    mul_mod (dest, s2, m); }

static void mul_mod	(	polynomial< C, V > &	dest,
		const polynomial< C, V > &	s,
		const M &	m,
		polynomial< C, V > &	carry
	)			[inline, static]

Definition at line 149 of file modular_polynomial.hpp.

References mmx::degree(), mmx::is_exact_zero(), mul_mod(), Polynomial, and mmx::rshiftz().

                              {
    if (is_exact_zero (*m)) {
      dest = dest * s + carry;
      carry = 0;
    }
    else {
      int d= degree (*m);
      Polynomial a= dest * s + carry;
      carry= rshiftz (rshiftz (a, d) * m.q, d);
      dest= a - carry * (* m);
    }
  }

static void mul_mod	(	polynomial< C, V > &	dest,
		const polynomial< C, V > &	s,
		const M &	m
	)			[inline, static]

Definition at line 138 of file modular_polynomial.hpp.

References mmx::degree(), mmx::is_exact_zero(), Polynomial, and mmx::rshiftz().

                                                              {
    if (is_exact_zero (*m)) dest *= s;
    else {
      int d= degree (*m);
      Polynomial a= dest * s;
      Polynomial b= rshiftz (rshiftz (a, d) * m.q, d);
      dest= a - b * (* m);
    }
  }

---

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

• include/algebramix/modular_polynomial.hpp