auxiliaries_helper< C, p > Struct Template Reference

Compute the auxiliary quantities attached to the modulus p. More...

#include <modular_int.hpp>

List of all members.

Classes

• struct _inverse_helper
• struct _inverse_helper< void, Dummy >

Public Types

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

Static Public Member Functions

• static C q ()

Static Public Attributes

• static const nat m = V::template maximum_size_helper<C>::value
• static const nat n2 = 4*sizeof(C)
• static const nat n = 8*sizeof(C)
• static const uC abs_p = (uC) ((p < 0) ? -p : p)
• static const uC a = MMX_SAFE_LEFT_SHIFT_INT(uC,1,m)
• static const uC up = (abs_p == 0) ? a : abs_p
• static const nat bitsize = int_bitsize_helper<uC, up>::value
• static const nat _b = (bitsize == 0) ? n : bitsize-1
• static const nat r
• static const nat s = (m+2 <= n) ? r-2 : r-1
• static const nat t = (m+2 <= n) ? r+3 : ((m+1 <= n) ? r+1 : r)

---

Detailed Description

template<typename V>
template<typename C, C p>
struct mmx::modulus_mul_int_preinverse< V >::auxiliaries_helper< C, p >

Compute the auxiliary quantities attached to the modulus p.

Definition at line 658 of file modular_int.hpp.

---

Member Typedef Documentation

typedef unsigned_of_helper<C>::type uC

Definition at line 660 of file modular_int.hpp.

typedef unsigned_int_with_double_size_helper<uC>::type uD

Definition at line 661 of file modular_int.hpp.

---

Member Function Documentation

static C q

(

)

[inline, static]

Definition at line 691 of file modular_int.hpp.

References _inverse_helper< D, Dummy >::dyn_value().

                         {
      return _inverse_helper<uD, void>::dyn_value (); }

---

Member Data Documentation

const nat _b = (bitsize == 0) ? n : bitsize-1 [static]

Definition at line 669 of file modular_int.hpp.

const uC a = MMX_SAFE_LEFT_SHIFT_INT(uC,1,m) [static]

Definition at line 666 of file modular_int.hpp.

const uC abs_p = (uC) ((p < 0) ? -p : p) [static]

Definition at line 665 of file modular_int.hpp.

const nat bitsize = int_bitsize_helper<uC, up>::value [static]

Definition at line 668 of file modular_int.hpp.

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

Definition at line 659 of file modular_int.hpp.

const nat n = 8*sizeof(C) [static]

Definition at line 664 of file modular_int.hpp.

const nat n2 = 4*sizeof(C) [static]

Definition at line 663 of file modular_int.hpp.

const nat r [static]

Initial value:

 (bitsize == 0) ? n :
      ( (up == MMX_SAFE_LEFT_SHIFT_INT(uC,1,_b)) ?
        bitsize-1 : bitsize )

Definition at line 670 of file modular_int.hpp.

Referenced by _inverse_helper< void, Dummy >::dyn_value().

const nat s = (m+2 <= n) ? r-2 : r-1 [static]

Definition at line 673 of file modular_int.hpp.

Referenced by _inverse_helper< void, Dummy >::dyn_value().

const nat t = (m+2 <= n) ? r+3 : ((m+1 <= n) ? r+1 : r) [static]

Definition at line 674 of file modular_int.hpp.

Referenced by _inverse_helper< void, Dummy >::dyn_value().

const uC up = (abs_p == 0) ? a : abs_p [static]

Definition at line 667 of file modular_int.hpp.

Referenced by _inverse_helper< void, Dummy >::dyn_value().

---

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

• include/numerix/modular_int.hpp