modulus_polynomial_reduction_preinverse< X > Struct Template Reference

#include <modular_polynomial.hpp>

List of all members.

Static Public Member Functions

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

---

Detailed Description

template<typename X>
struct mmx::modulus_polynomial_reduction_preinverse< X >

Definition at line 99 of file modular_polynomial.hpp.

---

Member Function Documentation

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

Definition at line 129 of file modular_polynomial.hpp.

References reduce_mod().

                                             {
    dest= s; reduce_mod (dest, m, carry); }

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

Definition at line 125 of file modular_polynomial.hpp.

References reduce_mod().

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

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

Definition at line 112 of file modular_polynomial.hpp.

References mmx::deg(), mmx::degree(), mmx::is_exact_zero(), mmx::quo(), mmx::range(), mmx::rem(), and mmx::rshiftz().

                                                               {
    int d= degree (m.p);
    if (is_exact_zero (m.p) != 0)
      carry= 0;
    else if (deg (dest) < (d << 1)) {
      carry = rshiftz (rshiftz (dest, d) * m.q, d);
      dest = range (dest - carry * m.p, 0, d);
    }
    else {
      carry= quo (dest, m.p);
      dest = rem (dest, m.p); } }

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

Definition at line 101 of file modular_polynomial.hpp.

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

                                            {
    if (is_exact_zero (m.p)) return;
    int d= degree (m.p);
    if (deg (dest) < (d << 1)) {
      Polynomial carry;
      carry = rshiftz (rshiftz (dest, d) * m.q, d);
      dest = range (dest - carry * m.p, 0, d);
    }
    else dest= rem (dest, m.p); }

---

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

• include/algebramix/modular_polynomial.hpp