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< class >
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 &)
void set_default (integer &r)
void set_nan (integer &r)
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)
bool reconstruct (integer &n, integer &d, const integer &u, const integer &m, const integer &N, const integer &D)
bool reconstruct (integer &n, integer &d, const integer &u, const integer &m)
void numeric_to_string (const integer &x, string &s)
bool string_to_numeric (const string &s, integer &val)
bool is_literal_integer (const literal &l)
integer as_literal_integer (const literal &l)

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 323 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 361 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 375 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 291 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 297 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 277 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 401 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 1200 of file integer.hpp.

#define integer_construct ( i ) as<generic> (integer (i))

Definition at line 1234 of file integer.hpp.

#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 349 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 311 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 317 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 355 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 265 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 271 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 395 of file integer.hpp.

#define make_literal_integer make_literal<integer>

Definition at line 1233 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 337 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 305 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 343 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 259 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 389 of file integer.hpp.