modulus< C, modulus_int_preinverse< m > > Class Template Reference

#include <modular_int.hpp>

List of all members.

Public Types

• typedef C base
• typedef modulus_int_preinverse< m > variant
• typedef modulus< C,
  modulus_int_preinverse< m > > self_type

Public Member Functions

• C operator* () const
• modulus ()
• template<typename X > modulus (const X &x)
• template<typename X , X _p> modulus (const fixed_value< X, _p > &x)
• modulus (const self_type &x)
• self_type & operator= (const self_type &x)
• bool operator== (const self_type &a) const
• bool operator!= (const self_type &a) const

Public Attributes

• C p
• C q
• nat r
• nat s
• nat t
• C h

---

Detailed Description

template<typename C, nat m>
class mmx::modulus< C, modulus_int_preinverse< m > >

Definition at line 942 of file modular_int.hpp.

---

Member Typedef Documentation

typedef C base

Definition at line 951 of file modular_int.hpp.

typedef modulus<C, modulus_int_preinverse<m> > self_type

Definition at line 953 of file modular_int.hpp.

typedef modulus_int_preinverse<m> variant

Definition at line 952 of file modular_int.hpp.

---

Constructor & Destructor Documentation

modulus

(

)

[inline]

Definition at line 957 of file modular_int.hpp.

References modulus< C, V >::p, and s.

                    : p (0) {
    r = variant::dyn_r (p);
    s = variant::dyn_s (p, r);
    t = variant::dyn_t (p, r);
    q = variant::dyn_q (p, r, s, t);
    h = p >> 1;
  }

modulus

(

const X &

x

)

[inline]

Definition at line 966 of file modular_int.hpp.

References ASSERT, mmx::C, modulus< C, V >::p, and s.

                              {
    p = (C) x;
    ASSERT (variant::normalize (p), "modulus: bad value");
    r = variant::dyn_r (p);
    s = variant::dyn_s (p, r);
    t = variant::dyn_t (p, r);
    q = variant::dyn_q (p, r, s, t);
    h = p >> 1;
  }

modulus

(

const fixed_value< X, _p > &

x

)

[inline]

Definition at line 977 of file modular_int.hpp.

References ASSERT, mmx::C, modulus< C, V >::p, and s.

                                               {
    typedef typename variant::template auxiliaries_helper<C, _p> A;
    C loc_p = _p;
    ASSERT (variant::normalize (loc_p), "modulus: bad value");
    p = A::up;
    q = A::q ();
    r = A::r;
    s = A::s;
    t = A::t;
    h = p >> 1; }

modulus

(

const self_type &

x

)

[inline]

Definition at line 988 of file modular_int.hpp.

References s.

                                      : p (x.p), q (x.q),
                                        r (x.r), s (x.s),
                                        t (x.t), h (x.h) {}

---

Member Function Documentation

bool operator!=

(

const self_type &

a

)

const [inline]

Definition at line 1005 of file modular_int.hpp.

References modulus< C, modulus_int_preinverse< m > >::p, and modulus< C, V >::p.

                                                     {
    return p != a.p; }

C operator*

(

)

const [inline]

Definition at line 955 of file modular_int.hpp.

References modulus< C, V >::p.

{ return p; }

self_type& operator=

(

const self_type &

x

)

[inline]

Definition at line 993 of file modular_int.hpp.

References modulus< C, modulus_int_preinverse< m > >::h, modulus< C, modulus_int_preinverse< m > >::p, modulus< C, V >::p, modulus< C, modulus_int_preinverse< m > >::q, modulus< C, modulus_int_preinverse< m > >::r, modulus< C, modulus_int_preinverse< m > >::s, s, and modulus< C, modulus_int_preinverse< m > >::t.

                                  {
    p = x.p;
    q = x.q;
    r = x.r;
    s = x.s;
    t = x.t;
    h = x.h;
    return *this; }

bool operator==

(

const self_type &

a

)

const [inline]

Definition at line 1002 of file modular_int.hpp.

References modulus< C, modulus_int_preinverse< m > >::p, and modulus< C, V >::p.

                                                     {
    return p == a.p; }

---

Member Data Documentation

C h

Definition at line 950 of file modular_int.hpp.

Referenced by modulus< C, modulus_int_preinverse< m > >::operator=().

C p

Definition at line 945 of file modular_int.hpp.

Referenced by modulus< C, modulus_int_preinverse< m > >::operator!=(), modulus< C, modulus_int_preinverse< m > >::operator=(), and modulus< C, modulus_int_preinverse< m > >::operator==().

C q

Definition at line 946 of file modular_int.hpp.

Referenced by modulus< C, modulus_int_preinverse< m > >::operator=().

nat r

Definition at line 947 of file modular_int.hpp.

Referenced by modulus< C, modulus_int_preinverse< m > >::operator=().

nat s

Definition at line 948 of file modular_int.hpp.

Referenced by modulus< C, modulus_int_preinverse< m > >::operator=().

nat t

Definition at line 949 of file modular_int.hpp.

Referenced by modulus< C, modulus_int_preinverse< m > >::operator=().

---

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

• include/numerix/modular_int.hpp