modular< M, V > Class Template Reference

#include <modular.hpp>

List of all members.

Public Types

• typedef M modulus
• typedef M::base C
• typedef V::template
  modulus_storage< M > S

Public Member Functions

• C operator* () const
• modular ()
• modular (const modular< M, V > &s)
• modular (const C &a, bool reduced)
• modular (const C &s, const M &p, bool reduced=false)
• template<typename O > modular (const O &a)
• modular< M, V > & operator= (const modular< M, V > &a)
• bool operator== (const modular< M, V > &a) const
• bool operator!= (const modular< M, V > &a) const

Static Public Member Functions

• static M get_modulus ()
• static void set_modulus (const M &p)

Public Attributes

• C rep

---

Detailed Description

template<typename M, typename V = typename modular_variant_helper< M >::MV>
class mmx::modular< M, V >

Examples:

modular_test.cpp.

Definition at line 96 of file modular.hpp.

---

Member Typedef Documentation

typedef M::base C

Definition at line 100 of file modular.hpp.

typedef M modulus

Definition at line 99 of file modular.hpp.

typedef V::template modulus_storage<M> S

Definition at line 101 of file modular.hpp.

---

Constructor & Destructor Documentation

modular

(

)

[inline]

Definition at line 112 of file modular.hpp.

References mmx::encode_mod(), modular< M, V >::get_modulus(), and modular< M, V >::rep.

{ encode_mod (rep, C (), get_modulus ()); }

modular

(

const modular< M, V > &

s

)

[inline]

Definition at line 114 of file modular.hpp.

: rep (s.rep) {}

modular	(	const C &	a,
		bool	reduced
	)		[inline]

Definition at line 116 of file modular.hpp.

References mmx::encode_mod(), modular< M, V >::get_modulus(), and modular< M, V >::rep.

                                            {
    if (reduced) rep = a;
    else encode_mod (rep, a, get_modulus ()); }

modular	(	const C &	s,
		const M &	p,
		bool	reduced = false
	)		[inline]

Definition at line 120 of file modular.hpp.

References mmx::encode_mod(), modular< M, V >::get_modulus(), and modular< M, V >::rep.

                                                              {
    VERIFY (p == get_modulus (), "wrong modulus");
    if (reduced) rep= s; 
    else encode_mod (rep, s, p); }

modular

(

const O &

a

)

[inline]

Definition at line 126 of file modular.hpp.

References mmx::encode_mod(), modular< M, V >::get_modulus(), and modular< M, V >::rep.

                              {
    encode_mod (rep, as<C> (a), get_modulus ()); }

---

Member Function Documentation

static M get_modulus

(

)

[inline, static]

Definition at line 104 of file modular.hpp.

Referenced by modular< M, modular_local >::get_modulus(), modular< M, modular_local >::modular(), modular< M, V >::modular(), and modular< M, V >::operator*().

{ return S::get_modulus (); }

bool operator!=

(

const modular< M, V > &

a

)

const [inline]

Definition at line 136 of file modular.hpp.

References modular< M, V >::rep.

                                                   {
    return rep != a.rep; }

C operator*

(

)

const [inline]

Definition at line 107 of file modular.hpp.

References mmx::decode_mod(), modular< M, V >::get_modulus(), and modular< M, V >::rep.

                               {
    C dest;
    decode_mod (dest, rep, get_modulus ());
    return dest; }

modular<M,V>& operator=

(

const modular< M, V > &

a

)

[inline]

Definition at line 129 of file modular.hpp.

References modular< M, V >::rep.

                                                {
    rep = a.rep;
    return *this; }

bool operator==

(

const modular< M, V > &

a

)

const [inline]

Definition at line 133 of file modular.hpp.

References modular< M, V >::rep.

                                                   {
    return rep == a.rep; }

static void set_modulus

(

const M &

p

)

[inline, static]

Definition at line 105 of file modular.hpp.

Referenced by modular< M, modular_local >::modular(), modular< M, modular_local >::set_local_modulus(), and modular< M, modular_local >::set_modulus().

{ S::set_modulus (p); }

---

Member Data Documentation

C rep

Definition at line 103 of file modular.hpp.

Referenced by modular< M, modular_local >::modular(), modular< M, V >::modular(), modular< M, modular_local >::operator!=(), modular< M, V >::operator!=(), modular< M, modular_local >::operator*(), modular< M, V >::operator*(), modular< M, modular_local >::operator=(), modular< M, V >::operator=(), modular< M, modular_local >::operator==(), and modular< M, V >::operator==().

---

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

• /Users/mourrain/Devel/mmx/numerix/include/numerix/modular.hpp