_dynamic_inverse_helper< C, D > Struct Template Reference

#include <modular_int.hpp>

List of all members.

Public Types

• typedef unsigned_of_helper< C >
  ::type uC
• typedef unsigned_of_helper< D >
  ::type uD

Static Public Member Functions

• static uC op (const uC &p, nat r, nat s, nat t)

Static Public Attributes

• static const nat m = V::template maximum_size_helper<C>::value

---

Detailed Description

template<typename V>
template<typename C, typename D>
struct mmx::modulus_mul_int_preinverse< V >::_dynamic_inverse_helper< C, D >

Definition at line 536 of file modular_int.hpp.

---

Member Typedef Documentation

typedef unsigned_of_helper<C>::type uC

Definition at line 537 of file modular_int.hpp.

typedef unsigned_of_helper<D>::type uD

Definition at line 538 of file modular_int.hpp.

---

Member Function Documentation

static uC op	(	const uC &	p,
		nat	r,
		nat	s,
		nat	t
	)			[inline, static]

Definition at line 542 of file modular_int.hpp.

References _dynamic_inverse_helper< C, D >::m.

Referenced by modulus_mul_int_preinverse< modulus_add_int_naive< modulus_reduction_int_naive< modulus_normalization_int_naive< modulus_maximum_size_int< m > > > > >::dyn_q(), and _dynamic_inverse_helper< C, void >::op().

                                          {
      (void) r;
      if (p == 1 && s+t == (nat) -1) return 0; // only case when s+t < 0
      uD loc_p = (p == 0) ? ((uD) 1) << m : (uD) ((uC) p);
      return (((uD) 1) << (s+t)) / loc_p; }

---

Member Data Documentation

const nat m = V::template maximum_size_helper<C>::value [static]

Definition at line 539 of file modular_int.hpp.

Referenced by _dynamic_inverse_helper< C, void >::op(), and _dynamic_inverse_helper< C, D >::op().

---

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

• include/numerix/modular_int.hpp