1993-07-28 06:05:47 -03:00
|
|
|
#ifndef Py_LONGINTREPR_H
|
|
|
|
#define Py_LONGINTREPR_H
|
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
1991-05-05 17:09:44 -03:00
|
|
|
|
1992-01-19 12:30:12 -04:00
|
|
|
/* This is published for the benefit of "friend" marshal.c only. */
|
|
|
|
|
1991-05-05 17:09:44 -03:00
|
|
|
/* Parameters of the long integer representation.
|
|
|
|
These shouldn't have to be changed as C should guarantee that a short
|
2000-07-08 01:17:21 -03:00
|
|
|
contains at least 16 bits, but it's made changeable anyway.
|
1991-05-05 17:09:44 -03:00
|
|
|
Note: 'digit' should be able to hold 2*MASK+1, and 'twodigits'
|
|
|
|
should be able to hold the intermediate results in 'mul'
|
2004-08-29 19:16:50 -03:00
|
|
|
(at most (BASE-1)*(2*BASE+1) == MASK*(2*MASK+3)).
|
1991-05-05 17:09:44 -03:00
|
|
|
Also, x_sub assumes that 'digit' is an unsigned type, and overflow
|
|
|
|
is handled by taking the result mod 2**N for some N > SHIFT.
|
SF patch 936813: fast modular exponentiation
This checkin is adapted from part 2 (of 3) of Trevor Perrin's patch set.
BACKWARD INCOMPATIBILITY: SHIFT must now be divisible by 5. AFAIK,
nobody will care. long_pow() could be complicated to worm around that,
if necessary.
long_pow():
- BUGFIX: This leaked the base and power when the power was negative
(and so the computation delegated to float pow).
- Instead of doing right-to-left exponentiation, do left-to-right. This
is more efficient for small bases, which is the common case.
- In addition, if the exponent is large (more than FIVEARY_CUTOFF
digits), precompute [a**i % c for i in range(32)], and go left to
right 5 bits at a time.
l_divmod():
- The signature changed so that callers who don't want the quotient,
or don't want the remainder, can pass NULL in the slot they don't
want. This saves them from having to declare a vrbl for unwanted
stuff, and remembering to decref it.
long_mod(), long_div(), long_classic_div():
- Adjust to new l_divmod() signature, and simplified as a result.
2004-08-29 23:44:38 -03:00
|
|
|
And, at some places it is assumed that MASK fits in an int, as well.
|
|
|
|
long_pow() requires that SHIFT be divisible by 5. */
|
1991-05-05 17:09:44 -03:00
|
|
|
|
|
|
|
typedef unsigned short digit;
|
2009-02-15 11:48:39 -04:00
|
|
|
typedef short sdigit; /* signed variant of digit */
|
2000-07-08 01:17:21 -03:00
|
|
|
#define BASE_TWODIGITS_TYPE long
|
|
|
|
typedef unsigned BASE_TWODIGITS_TYPE twodigits;
|
|
|
|
typedef BASE_TWODIGITS_TYPE stwodigits; /* signed variant of twodigits */
|
1991-05-05 17:09:44 -03:00
|
|
|
|
2008-01-25 08:18:43 -04:00
|
|
|
#define PyLong_SHIFT 15
|
|
|
|
#define PyLong_BASE ((digit)1 << PyLong_SHIFT)
|
2009-02-15 06:13:41 -04:00
|
|
|
#define PyLong_MASK ((digit)(PyLong_BASE - 1))
|
1991-05-05 17:09:44 -03:00
|
|
|
|
2008-02-25 13:32:07 -04:00
|
|
|
/* b/w compatibility with Python 2.5 */
|
|
|
|
#define SHIFT PyLong_SHIFT
|
|
|
|
#define BASE PyLong_BASE
|
|
|
|
#define MASK PyLong_MASK
|
|
|
|
|
2008-01-25 08:18:43 -04:00
|
|
|
#if PyLong_SHIFT % 5 != 0
|
2008-02-25 13:32:07 -04:00
|
|
|
#error "longobject.c requires that PyLong_SHIFT be divisible by 5"
|
SF patch 936813: fast modular exponentiation
This checkin is adapted from part 2 (of 3) of Trevor Perrin's patch set.
BACKWARD INCOMPATIBILITY: SHIFT must now be divisible by 5. AFAIK,
nobody will care. long_pow() could be complicated to worm around that,
if necessary.
long_pow():
- BUGFIX: This leaked the base and power when the power was negative
(and so the computation delegated to float pow).
- Instead of doing right-to-left exponentiation, do left-to-right. This
is more efficient for small bases, which is the common case.
- In addition, if the exponent is large (more than FIVEARY_CUTOFF
digits), precompute [a**i % c for i in range(32)], and go left to
right 5 bits at a time.
l_divmod():
- The signature changed so that callers who don't want the quotient,
or don't want the remainder, can pass NULL in the slot they don't
want. This saves them from having to declare a vrbl for unwanted
stuff, and remembering to decref it.
long_mod(), long_div(), long_classic_div():
- Adjust to new l_divmod() signature, and simplified as a result.
2004-08-29 23:44:38 -03:00
|
|
|
#endif
|
|
|
|
|
1991-05-05 17:09:44 -03:00
|
|
|
/* Long integer representation.
|
|
|
|
The absolute value of a number is equal to
|
|
|
|
SUM(for i=0 through abs(ob_size)-1) ob_digit[i] * 2**(SHIFT*i)
|
|
|
|
Negative numbers are represented with ob_size < 0;
|
|
|
|
zero is represented by ob_size == 0.
|
|
|
|
In a normalized number, ob_digit[abs(ob_size)-1] (the most significant
|
|
|
|
digit) is never zero. Also, in all cases, for all valid i,
|
|
|
|
0 <= ob_digit[i] <= MASK.
|
2000-07-16 09:04:32 -03:00
|
|
|
The allocation function takes care of allocating extra memory
|
2002-03-02 00:33:09 -04:00
|
|
|
so that ob_digit[0] ... ob_digit[abs(ob_size)-1] are actually available.
|
|
|
|
|
|
|
|
CAUTION: Generic code manipulating subtypes of PyVarObject has to
|
|
|
|
aware that longs abuse ob_size's sign bit.
|
|
|
|
*/
|
1991-05-05 17:09:44 -03:00
|
|
|
|
1992-01-19 12:30:12 -04:00
|
|
|
struct _longobject {
|
2002-03-02 00:33:09 -04:00
|
|
|
PyObject_VAR_HEAD
|
1991-05-05 17:09:44 -03:00
|
|
|
digit ob_digit[1];
|
1992-01-19 12:30:12 -04:00
|
|
|
};
|
1991-05-05 17:09:44 -03:00
|
|
|
|
2006-02-15 13:27:45 -04:00
|
|
|
PyAPI_FUNC(PyLongObject *) _PyLong_New(Py_ssize_t);
|
1993-07-28 06:05:47 -03:00
|
|
|
|
2001-09-10 17:52:51 -03:00
|
|
|
/* Return a copy of src. */
|
2002-08-12 04:21:58 -03:00
|
|
|
PyAPI_FUNC(PyObject *) _PyLong_Copy(PyLongObject *src);
|
2001-09-10 17:52:51 -03:00
|
|
|
|
1993-07-28 06:05:47 -03:00
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
#endif /* !Py_LONGINTREPR_H */
|