/Users/mourrain/Devel/mmx/numerix/include/numerix/integer.hpp File Reference

#include <basix/basix-config.hpp>
#include <numerix/mmx_gmp.hpp>
#include <basix/int.hpp>

Go to the source code of this file.

Classes

• class REP_STRUCT< V >
• class integer
• struct binary_helper< integer >
• struct as_helper< signed char, integer >
• struct as_helper< unsigned char, integer >
• struct as_helper< short int, integer >
• struct as_helper< unsigned short int, integer >
• struct as_helper< int, integer >
• struct as_helper< unsigned int, integer >
• struct as_helper< long int, integer >
• struct as_helper< unsigned long int, integer >
• struct is_signed_helper< integer >
• struct as_helper< double, integer >

Namespaces

• namespace mmx

Defines

• #define RIGHT_DOWNGRADE_INFIX(op, U, I)
• #define LEFT_DOWNGRADE_INFIX(op, U, I)
• #define LEFT_DOWNGRADE_INFIX_COMMUTATIVE(op, U, I)
• #define DOWNGRADE_LONG_LONG(op)
• #define DOWNGRADE_INPLACE(op, U, I)
• #define DOWNGRADE_INPLACE_LONG_LONG(op)
• #define RIGHT_DOWNGRADE_FUN_INPLACE(fun, U, I)
• #define LEFT_DOWNGRADE_FUN_INPLACE(fun, U, I)
• #define LEFT_DOWNGRADE_FUN_INPLACE_COMMUTATIVE(fun, U, I)
• #define DOWNGRADE_FUN_INPLACE_LONG_LONG(fun)
• #define RIGHT_DOWNGRADE_FUN(fun, U, I)
• #define RIGHT_DOWNGRADE_FUN_X(fun, U, I, X)
• #define LEFT_DOWNGRADE_FUN(fun, U, I)
• #define LEFT_DOWNGRADE_FUN_X(fun, U, I, X)
• #define DOWNGRADE_FUN_LONG_LONG(fun)
• #define DOWNGRADE_FUN_X_LONG_LONG(fun, X)
• #define RIGHT_DOWNGRADE_TEST(op, U, I)
• #define LEFT_DOWNGRADE_TEST(op, U, I)
• #define DOWNGRADE_TEST_LONG_LONG(op)
• #define HELPER(type)
• #define make_literal_integer   make_literal<integer>
• #define integer_construct(i)   as<generic> (integer (i))

Functions

• integer copy (const integer &i)
• INDIRECT_IMPL (integer, integer_rep) template<> struct symbolic_type_information< integer >
• integer raw_integer (nat limb_sz)
• generic construct (const integer &i)
• template<> integer duplicate (const integer &i)
• TRUE_TO_EXACT_IDENTITY_SUGAR (, integer) POOR_MAN_ELEMENTARY_SUGAR(
• integer syntactic flatten (const integer &i)
• template<typename F > integer promote (const F &x, const integer &)
• integer factorial (nat i)
• integer binomial (nat i, nat j)
• integer factorial (const integer &i)
• integer binomial (const integer &i, const integer &j)
• bool is_probable_prime (const integer &i)
• integer probable_previous_prime (const integer &i)
• integer probable_next_prime (const integer &i)
• template<typename C > C binpow (const C &i, const integer &n)
• nat dyadic_valuation (const integer &i)
• nat dyadic_valuation (const signed char &i)
• nat dyadic_valuation (const unsigned char &i)
• nat dyadic_valuation (const signed short &i)
• nat dyadic_valuation (const unsigned short &i)
• nat dyadic_valuation (const signed int &i)
• nat dyadic_valuation (const unsigned int &i)
• nat dyadic_valuation (const signed long &i)
• nat dyadic_valuation (const unsigned long &i)
• nat dyadic_valuation (const signed long long &i)
• nat dyadic_valuation (const unsigned long long &i)

---

Define Documentation

#define DOWNGRADE_FUN_INPLACE_LONG_LONG

(

fun

)

Value:

inline friend void fun (integer& r, unsigned long long int x1,  \
                             const integer& x2) {                       \
    fun (r, integer (x1), x2); }                                        \
  inline friend void fun (integer& r, long long int x1,                 \
                          const integer& x2) {                          \
    fun (r, integer (x1), x2); }                                        \
  inline friend void fun (integer& r, const integer& x1,                \
                          unsigned long long int x2) {                  \
    fun (r, x1, integer (x2)); }                                        \
  inline friend void fun (integer& r, const integer& x2,                \
                          long long int x1) {                           \
    fun (r, x1, integer (x2)); }

Definition at line 317 of file integer.hpp.

#define DOWNGRADE_FUN_LONG_LONG

(

fun

)

Value:

inline friend integer fun (unsigned long long int x1,                   \
                             const integer& x2) {                       \
    return fun (integer (x1), x2); }                                    \
  inline friend integer fun (long long int x1,                          \
                             const integer& x2) {                       \
    return fun (integer (x1), x2); }                                    \
  inline friend integer fun (const integer& x1,                         \
                             unsigned long long int x2) {               \
    return fun (x1, integer (x2)); }                                    \
  inline friend integer fun (const integer& x1,                         \
                             long long int x2) {                        \
    return fun (x1, integer (x2)); }

Definition at line 355 of file integer.hpp.

#define DOWNGRADE_FUN_X_LONG_LONG	(		fun,
			X
	)

Value:

inline friend integer fun (unsigned long long int x1,                   \
                             const integer& x2, X x) {                  \
    return fun (integer (x1), x2, x); }                                 \
  inline friend integer fun (long long int x1,                          \
                             const integer& x2, X x) {                  \
    return fun (integer (x1), x2, x); }                                 \
  inline friend integer fun (const integer& x1,                         \
                             unsigned long long int x2, X x) {          \
    return fun (x1, integer (x2), x); }                                 \
  inline friend integer fun (const integer& x1,                         \
                             long long int x2, X x) {                   \
    return fun (x1, integer (x2), x); }

Definition at line 369 of file integer.hpp.

#define DOWNGRADE_INPLACE	(		op,
			U,
			I
	)

Value:

inline friend integer& operator op (integer& x1, U x2) {                \
    return x1 op (unsigned long int) x2; }                              \
  inline friend integer& operator op (integer& x1, I x2) {              \
    return x1 op (long int) x2; }

Definition at line 285 of file integer.hpp.

#define DOWNGRADE_INPLACE_LONG_LONG

(

op

)

Value:

inline friend integer& operator op (integer& x1,                        \
                                      unsigned long long x2) {          \
    return x1 op integer (x2); }                                        \
  inline friend integer& operator op (integer& x1,                      \
                                      long long x2) {                   \
    return x1 op integer (x2); }

Definition at line 291 of file integer.hpp.

#define DOWNGRADE_LONG_LONG

(

op

)

Value:

inline friend integer operator op (unsigned long long int x1,           \
                                     const integer& x2) {               \
    return integer (x1) op x2; }                                        \
  inline friend integer operator op (long long int x1,                  \
                                     const integer& x2) {               \
    return integer (x1) op x2; }                                        \
  inline friend integer operator op (const integer& x1,                 \
                                     unsigned long long int x2) {       \
    return x1 op integer (x2); }                                        \
  inline friend integer operator op (const integer& x1,                 \
                                     long long int x2) {                \
    return x1 op integer (x2); }

Definition at line 271 of file integer.hpp.

#define DOWNGRADE_TEST_LONG_LONG

(

op

)

Value:

inline friend bool operator op (const integer& x1,                      \
                                  unsigned long long int x2) {          \
    return x1 op integer (x2); }                                        \
  inline friend bool operator op (const integer& x1,                    \
                                  long long int x2) {                   \
    return x1 op integer (x2); }                                        \
  inline friend bool operator op (unsigned long long int x1,            \
                                  const integer& x2) {                  \
    return integer (x1) op x2; }                                        \
  inline friend bool operator op (long long int x1,                     \
                                  const integer& x2) {                  \
    return integer (x1) op x2; }

Definition at line 395 of file integer.hpp.

#define HELPER

(

type

)

Value:

inline nat dyadic_valuation (const type& i) { \
  if (i == 0) return (nat) -1; \
  for(nat v= 0; v < (8 * sizeof (i)); ++v) \
    if ((i >> v) & 1) return v; \
  return (nat) -1; \
}

Definition at line 1179 of file integer.hpp.

#define integer_construct

(

i

)

as<generic> (integer (i))

Definition at line 1204 of file integer.hpp.

Referenced by mmx::GLUE_1().

#define LEFT_DOWNGRADE_FUN	(		fun,
			U,
			I
	)

Value:

inline friend integer fun (U x1, const integer& x2) {                   \
    return fun ((unsigned long int) x1, x2); }                          \
  inline friend integer fun (I x1, const integer& x2) {                 \
    return fun ((long int) x1, x2); }

Definition at line 343 of file integer.hpp.

#define LEFT_DOWNGRADE_FUN_INPLACE	(		fun,
			U,
			I
	)

Value:

inline friend void fun (integer& r, U x1, const integer& x2) {  \
    fun (r, (unsigned long int) x1, x2); }                              \
  inline friend void fun (integer& r, I x1, const integer& x2) {        \
    fun (r, (long int) x1, x2); }

Definition at line 305 of file integer.hpp.

#define LEFT_DOWNGRADE_FUN_INPLACE_COMMUTATIVE	(		fun,
			U,
			I
	)

Value:

inline friend void fun (integer& r, U x1, const integer& x2) {  \
    fun (r, x2, (unsigned long int) x1); }                              \
  inline friend void fun (integer& r, I x1, const integer& x2) {        \
    fun (r, x2, (long int) x1); }

Definition at line 311 of file integer.hpp.

#define LEFT_DOWNGRADE_FUN_X	(		fun,
			U,
			I,
			X
	)

Value:

inline friend integer fun (U x1, const integer& x2, X x) {              \
    return fun ((unsigned long int) x1, x2, x); }                       \
  inline friend integer fun (I x1, const integer& x2, X x) {            \
    return fun ((long int) x1, x2, x); }

Definition at line 349 of file integer.hpp.

#define LEFT_DOWNGRADE_INFIX	(		op,
			U,
			I
	)

Value:

inline friend integer operator op (U x1, const integer& x2) {           \
    return (unsigned long int) x1 op x2; }                              \
  inline friend integer operator op (I x1, const integer& x2) { \
    return (long int) x1 op x2; }

Definition at line 259 of file integer.hpp.

#define LEFT_DOWNGRADE_INFIX_COMMUTATIVE	(		op,
			U,
			I
	)

Value:

inline friend integer operator op (U x2, const integer& x1) {           \
    return x1 op (unsigned long int) x2; }                              \
  inline friend integer operator op (I x2, const integer& x1) {         \
    return x1 op (long int) x2; }

Definition at line 265 of file integer.hpp.

#define LEFT_DOWNGRADE_TEST	(		op,
			U,
			I
	)

Value:

inline friend bool operator op (U x1, const integer& x2) {              \
    return (unsigned long int) x1 op x2; }                              \
  inline friend bool operator op (I x1, const integer& x2) {            \
    return (long int) x1 op x2; }

Definition at line 389 of file integer.hpp.

#define make_literal_integer   make_literal<integer>

Definition at line 1203 of file integer.hpp.

#define RIGHT_DOWNGRADE_FUN	(		fun,
			U,
			I
	)

Value:

inline friend integer fun (const integer& x1, U x2) {                   \
    return fun (x1, (unsigned long int) x2); }                          \
  inline friend integer fun (const integer& x1, I x2) {                 \
    return fun (x1, (long int) x2); }

Definition at line 331 of file integer.hpp.

#define RIGHT_DOWNGRADE_FUN_INPLACE	(		fun,
			U,
			I
	)

Value:

inline friend void fun (integer& r, const integer& x1, U x2) {  \
    fun (r, x1, (unsigned long int) x2); }                              \
  inline friend void fun (integer& r, const integer& x1, I x2) {        \
    fun (r, x1, (long int) x2); }

Definition at line 299 of file integer.hpp.

#define RIGHT_DOWNGRADE_FUN_X	(		fun,
			U,
			I,
			X
	)

Value:

inline friend integer fun (const integer& x1, U x2, X x) {              \
    return fun (x1, (unsigned long int) x2, x); }                       \
  inline friend integer fun (const integer& x1, I x2, X x) {            \
    return fun (x1, (long int) x2, x); }

Definition at line 337 of file integer.hpp.

#define RIGHT_DOWNGRADE_INFIX	(		op,
			U,
			I
	)

Value:

inline friend integer operator op (const integer& x1, U x2) {           \
    return x1 op (unsigned long int) x2; }                              \
  inline friend integer operator op (const integer& x1, I x2) {         \
    return x1 op (long int) x2; }                                       \

Definition at line 253 of file integer.hpp.

#define RIGHT_DOWNGRADE_TEST	(		op,
			U,
			I
	)

Value:

inline friend bool operator op (const integer& x1, U x2) {              \
    return x1 op (unsigned long int) x2; }                              \
  inline friend bool operator op (const integer& x1, I x2) {            \
    return x1 op (long int) x2; }                                       \

Definition at line 383 of file integer.hpp.