#include <basix/operators.hpp>
#include <basix/int.hpp>
#include <numerix/integer.hpp>
#include <numerix/modular.hpp>

Classes

struct modulus_maximum_size_int< size >
struct modulus_maximum_size_int< size >::_helper< C, is_signed >
struct modulus_maximum_size_int< size >::_helper< C, false >
struct modulus_maximum_size_int< size >::maximum_size_helper< C >
struct modulus_maximum_size_int< size >::maximum_value_helper< C >
struct modulus_normalization_int_naive< V >
struct modulus_reduction_int_naive< V >
struct modulus_add_int_naive< V >
struct modulus_add_int_naive< V >::add_mod_helper< C, b >
struct modulus_add_int_naive< V >::add_mod_helper< C, false >
struct modulus_mul_int_naive< V >
struct modulus_mul_int_naive< V >::mul_mod_helper< C, D >
struct modulus_mul_int_naive< V >::mul_mod_helper< C, void >
struct modulus_inv_int_naive< V >
struct modulus_div_int_naive< V >
struct modulus_encoding_int_naive< V >
struct modulus_int_naive< size >
struct modulus_mul_int_preinverse< V >
struct modulus_mul_int_preinverse< V >::_dynamic_inverse_helper< C, D >
struct modulus_mul_int_preinverse< V >::_dynamic_inverse_helper< C, void >
struct modulus_mul_int_preinverse< V >::auxiliaries_helper< C, p >
Compute the auxiliary quantities attached to the modulus p. More...
struct modulus_mul_int_preinverse< V >::auxiliaries_helper< C, p >::_inverse_helper< D, Dummy >
struct modulus_mul_int_preinverse< V >::auxiliaries_helper< C, p >::_inverse_helper< void, Dummy >
struct modulus_mul_int_preinverse< V >::mul_mod_helper< C, D, m >
struct modulus_mul_int_preinverse< V >::mul_mod_helper< C, void, m >
struct modulus_int_preinverse< m >
class modulus< C, modulus_int_preinverse< m > >
struct modulus_variant_helper< unsigned char >
struct modulus_variant_helper< short unsigned int >
struct modulus_variant_helper< unsigned int >
struct modulus_variant_helper< long unsigned int >
struct modulus_variant_helper< long long unsigned int >
struct modulus_variant_helper< char >
struct modulus_variant_helper< signed char >
struct modulus_variant_helper< short int >
struct modulus_variant_helper< int >
struct modulus_variant_helper< long int >
struct modulus_variant_helper< long long int >
struct project_helper< modular< modulus< unsigned char, V >, W > >
struct project_helper< modular< modulus< signed char, V >, W > >
struct project_helper< modular< modulus< unsigned short int, V >, W > >
struct project_helper< modular< modulus< signed short int, V >, W > >
struct project_helper< modular< modulus< unsigned int, V >, W > >
struct project_helper< modular< modulus< int, V >, W > >
struct project_helper< modular< modulus< unsigned long int, V >, W > >
struct project_helper< modular< modulus< long int, V >, W > >
struct project_helper< modular< modulus< unsigned long long int, V >, W > >
struct project_helper< modular< modulus< long long int, V >, W > >

Namespaces

namespace mmx

Defines

#define TMPL template<typename C, typename M>
#define TMPL template<typename C>
#define Variant modulus_int_preinverse
#define TMPLVW template<typename V, typename W>
#define Modular(I) modular<modulus<I,V>,W>
#define DECLARE_HELPER(I)

Functions

STYPE_TO_TYPE (template< typename V, typename W >, lift_type, modular< modulus< unsigned char, V >, W >, integer)
template<typename V , typename W > integer lift (const modular< modulus< unsigned char, V >, W > &x)
STYPE_TO_TYPE (template< typename V, typename W >, lift_type, modular< modulus< signed char, V >, W >, integer)
template<typename V , typename W > integer lift (const modular< modulus< signed char, V >, W > &x)
STYPE_TO_TYPE (template< typename V, typename W >, lift_type, modular< modulus< unsigned short int, V >, W >, integer)
template<typename V , typename W > integer lift (const modular< modulus< unsigned short int, V >, W > &x)
STYPE_TO_TYPE (template< typename V, typename W >, lift_type, modular< modulus< signed short int, V >, W >, integer)
template<typename V , typename W > integer lift (const modular< modulus< signed short int, V >, W > &x)
STYPE_TO_TYPE (template< typename V, typename W >, lift_type, modular< modulus< unsigned int, V >, W >, integer)
template<typename V , typename W > integer lift (const modular< modulus< unsigned int, V >, W > &x)
STYPE_TO_TYPE (template< typename V, typename W >, lift_type, modular< modulus< int, V >, W >, integer)
template<typename V , typename W > integer lift (const modular< modulus< int, V >, W > &x)
STYPE_TO_TYPE (template< typename V, typename W >, lift_type, modular< modulus< unsigned long int, V >, W >, integer)
template<typename V , typename W > integer lift (const modular< modulus< unsigned long int, V >, W > &x)
STYPE_TO_TYPE (template< typename V, typename W >, lift_type, modular< modulus< long int, V >, W >, integer)
template<typename V , typename W > integer lift (const modular< modulus< long int, V >, W > &x)
STYPE_TO_TYPE (template< typename V, typename W >, lift_type, modular< modulus< unsigned long long int, V >, W >, integer)
template<typename V , typename W > integer lift (const modular< modulus< unsigned long long int, V >, W > &x)
STYPE_TO_TYPE (template< typename V, typename W >, lift_type, modular< modulus< long long int, V >, W >, integer)
template<typename V , typename W > integer lift (const modular< modulus< long long int, V >, W > &x)

Define Documentation

#define DECLARE_HELPER ( I )

Value:

STYPE_TO_TYPE(TMPLVW,lift_type,Modular(I),integer);     \
TMPLVW inline integer \
lift (const Modular(I)& x) { return integer (*x); } \
TMPLVW \
struct project_helper<Modular(I)> { \
  template<typename C> static inline Modular(I) \
  op (const C& x) { return Modular(I) (x); } \
  static inline Modular(I) \
  op (const integer& x) { \
    integer p= *Modular(I)::get_modulus (); \
    return (x >= 0) ? Modular(I) (as<I> (rem (x, p))) \
      : - Modular(I) (as<I> (rem (-x, p))); } \
};

Definition at line 1066 of file modular_int.hpp.

#define Modular ( I ) modular<modulus<I,V>,W>

Definition at line 1065 of file modular_int.hpp.

#define TMPL template<typename C>

Hereafter C must be a genuine C/C++ int type, signed or not. If C has bit-size k and if m <= k is the maximum number of bits allowed for the modulus then the modulus 0 actually stands for 2^m.

Definition at line 523 of file modular_int.hpp.

#define TMPL template<typename C, typename M>

Hereafter C must be a genuine C/C++ int type, signed or not. If C has bit-size k and if m <= k is the maximum number of bits allowed for the modulus then the modulus 0 actually stands for 2^m.

Definition at line 523 of file modular_int.hpp.

#define TMPLVW template<typename V, typename W>

Definition at line 1064 of file modular_int.hpp.

#define Variant modulus_int_preinverse

Definition at line 1012 of file modular_int.hpp.