blob: bcbd238cfa44b50f09e3d7d1e5fdc053fd45e988 [file] [log] [blame]
Guido van Rossumb6775db1994-08-01 11:34:53 +00001
Guido van Rossum5f59d601992-12-14 16:59:51 +00002/* MPZ module */
3
4/* This module provides an interface to an alternate Multi-Precision
5 library, GNU MP in this case */
6
7/* XXX note: everywhere where mpz_size is called,
8 sizeof (limb) == sizeof (long) has been assumed. */
9
10
11/* MPZ objects */
12
Barry Warsaw3bdf7461996-12-09 23:16:31 +000013#include "Python.h"
Guido van Rossuma597dde1995-01-10 20:56:29 +000014
Guido van Rossumb6775db1994-08-01 11:34:53 +000015#include <sys/types.h> /* For size_t */
Guido van Rossum5f59d601992-12-14 16:59:51 +000016
17/*
18** These are the cpp-flags used in this file...
19**
20**
21** MPZ_MDIV_BUG works around the mpz_m{div,mod,...} routines.
22** This bug has been fixed in a later release of
23** GMP.
24**
25** MPZ_GET_STR_BUG mpz_get_str corrupts memory, seems to be fixed
26** in a later release
27**
28** MPZ_DEBUG generates a bunch of diagnostic messages
29**
30** MPZ_SPARE_MALLOC if set, results in extra code that tries to
31** minimize the creation of extra objects.
32**
33** MPZ_TEST_DIV extra diagnostic output on stderr, when division
34** routines are involved
35**
36** MPZ_LIB_DOES_CHECKING if set, assumes that mpz library doesn't call
37** alloca with arg < 0 (when casted to a signed
38** integral type).
39**
40** MPZ_CONVERSIONS_AS_METHODS if set, presents the conversions as
41** methods. e.g., `mpz(5).long() == 5L'
42** Later, Guido provided an interface to the
43** standard functions. So this flag has no been
44** cleared, and `long(mpz(5)) == 5L'
45**
46** MP_TEST_ALLOC If set, you would discover why MPZ_GET_STR_BUG
47** is needed
48**
49** MAKEDUMMYINT Must be set if dynamic linking will be used
50*/
51
52
53/*
54** IMHO, mpz_m{div,mod,divmod}() do the wrong things when the denominator < 0
Guido van Rossum272841c1996-08-19 23:06:45 +000055** This has been fixed with gmp release 2.0
Guido van Rossum5f59d601992-12-14 16:59:51 +000056*/
57/*#define MPZ_MDIV_BUG fixed the (for me) nexessary parts in libgmp.a */
58/*
59** IMO, mpz_get_str() assumes a bit too large target space, if he doesn't
60** allocate it himself
61*/
Guido van Rossum5f59d601992-12-14 16:59:51 +000062
63#include "gmp.h"
Guido van Rossume7ef74d2000-02-24 15:26:30 +000064
Guido van Rossum57e846f1997-08-17 19:08:33 +000065#if __GNU_MP__ + 0 == 2
Guido van Rossum272841c1996-08-19 23:06:45 +000066#define GMP2
Andrew M. Kuchlingb6f6e952000-02-25 22:23:31 +000067#define BITS_PER_MP_LIMB mp_bits_per_limb
Guido van Rossum272841c1996-08-19 23:06:45 +000068#else
69#define MPZ_GET_STR_BUG
Andrew M. Kuchlingb6f6e952000-02-25 22:23:31 +000070#include "gmp-mparam.h"
Guido van Rossum272841c1996-08-19 23:06:45 +000071#endif
72
Guido van Rossum5f59d601992-12-14 16:59:51 +000073typedef struct {
Barry Warsaw3bdf7461996-12-09 23:16:31 +000074 PyObject_HEAD
Guido van Rossum5f59d601992-12-14 16:59:51 +000075 MP_INT mpz; /* the actual number */
76} mpzobject;
77
Barry Warsaw3bdf7461996-12-09 23:16:31 +000078staticforward PyTypeObject MPZtype;
Guido van Rossum5f59d601992-12-14 16:59:51 +000079
80#define is_mpzobject(v) ((v)->ob_type == &MPZtype)
81
82static const char initialiser_name[] = "mpz";
83
84/* #define MPZ_DEBUG */
85
86static mpzobject *
Thomas Woutersf3f33dc2000-07-21 06:00:07 +000087newmpzobject(void)
Guido van Rossum5f59d601992-12-14 16:59:51 +000088{
89 mpzobject *mpzp;
90
91
92#ifdef MPZ_DEBUG
93 fputs( "mpz_object() called...\n", stderr );
94#endif /* def MPZ_DEBUG */
Guido van Rossumb18618d2000-05-03 23:44:39 +000095 mpzp = PyObject_New(mpzobject, &MPZtype);
Guido van Rossum5f59d601992-12-14 16:59:51 +000096 if (mpzp == NULL)
97 return NULL;
98
99 mpz_init(&mpzp->mpz); /* actual initialisation */
100 return mpzp;
101} /* newmpzobject() */
102
103#ifdef MPZ_GET_STR_BUG
Guido van Rossum5f59d601992-12-14 16:59:51 +0000104#include "longlong.h"
105#endif /* def MPZ_GET_STR_BUG */
106
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000107static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000108mpz_format(PyObject *objp, int base, unsigned char withname)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000109{
110 mpzobject *mpzp = (mpzobject *)objp;
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000111 PyStringObject *strobjp;
Guido van Rossum2650a422000-06-28 21:29:47 +0000112 size_t i;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000113 int cmpres;
114 int taglong;
115 char *cp;
116 char prefix[5], *tcp;
117
118
119 tcp = &prefix[0];
120
121 if (mpzp == NULL || !is_mpzobject(mpzp)) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000122 PyErr_BadInternalCall();
Guido van Rossum5f59d601992-12-14 16:59:51 +0000123 return NULL;
124 }
125
126 assert(base >= 2 && base <= 36);
127
128 if (withname)
129 i = strlen(initialiser_name) + 2; /* e.g. 'mpz(' + ')' */
130 else
131 i = 0;
132
133 if ((cmpres = mpz_cmp_si(&mpzp->mpz, 0L)) == 0)
134 base = 10; /* '0' in every base, right */
135 else if (cmpres < 0) {
136 *tcp++ = '-';
137 i += 1; /* space to hold '-' */
138 }
139
140#ifdef MPZ_DEBUG
141 fprintf(stderr, "mpz_format: mpz_sizeinbase %d\n",
142 (int)mpz_sizeinbase(&mpzp->mpz, base));
143#endif /* def MPZ_DEBUG */
144#ifdef MPZ_GET_STR_BUG
Guido van Rossum272841c1996-08-19 23:06:45 +0000145#ifdef GMP2
146 i += ((size_t) abs(mpzp->mpz._mp_size) * BITS_PER_MP_LIMB
147 * __mp_bases[base].chars_per_bit_exactly) + 1;
148#else
Guido van Rossum5f59d601992-12-14 16:59:51 +0000149 i += ((size_t) abs(mpzp->mpz.size) * BITS_PER_MP_LIMB
150 * __mp_bases[base].chars_per_bit_exactly) + 1;
Guido van Rossum272841c1996-08-19 23:06:45 +0000151#endif
Guido van Rossum5f59d601992-12-14 16:59:51 +0000152#else /* def MPZ_GET_STR_BUG */
153 i += (int)mpz_sizeinbase(&mpzp->mpz, base);
154#endif /* def MPZ_GET_STR_BUG else */
155
156 if (base == 16) {
157 *tcp++ = '0';
158 *tcp++ = 'x';
159 i += 2; /* space to hold '0x' */
160 }
161 else if (base == 8) {
162 *tcp++ = '0';
163 i += 1; /* space to hold the extra '0' */
164 }
165 else if (base > 10) {
166 *tcp++ = '0' + base / 10;
167 *tcp++ = '0' + base % 10;
168 *tcp++ = '#';
169 i += 3; /* space to hold e.g. '12#' */
170 }
171 else if (base < 10) {
172 *tcp++ = '0' + base;
173 *tcp++ = '#';
174 i += 2; /* space to hold e.g. '6#' */
175 }
176
177 /*
178 ** the following code looks if we need a 'L' attached to the number
179 ** it will also attach an 'L' to the value -0x80000000
180 */
181 taglong = 0;
182 if (mpz_size(&mpzp->mpz) > 1
183 || (long)mpz_get_ui(&mpzp->mpz) < 0L) {
184 taglong = 1;
185 i += 1; /* space to hold 'L' */
186 }
187
188#ifdef MPZ_DEBUG
189 fprintf(stderr, "mpz_format: requesting string size %d\n", i);
190#endif /* def MPZ_DEBUG */
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000191 if ((strobjp =
192 (PyStringObject *)PyString_FromStringAndSize((char *)0, i))
Guido van Rossum5f59d601992-12-14 16:59:51 +0000193 == NULL)
194 return NULL;
195
196 /* get the beginning of the string memory and start copying things */
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000197 cp = PyString_AS_STRING(strobjp);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000198 if (withname) {
199 strcpy(cp, initialiser_name);
200 cp += strlen(initialiser_name);
201 *cp++ = '('; /*')'*/
202 }
203
204 /* copy the already prepared prefix; e.g. sign and base indicator */
205 *tcp = '\0';
206 strcpy(cp, prefix);
207 cp += tcp - prefix;
208
209 /* since' we have the sign already, let the lib think it's a positive
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000210 number */
Guido van Rossum5f59d601992-12-14 16:59:51 +0000211 if (cmpres < 0)
212 mpz_neg(&mpzp->mpz,&mpzp->mpz); /* hack Hack HAck HACk HACK */
213 (void)mpz_get_str(cp, base, &mpzp->mpz);
214 if (cmpres < 0)
215 mpz_neg(&mpzp->mpz,&mpzp->mpz); /* hack Hack HAck HACk HACK */
216#ifdef MPZ_DEBUG
217 fprintf(stderr, "mpz_format: base (ultim) %d, mpz_get_str: %s\n",
218 base, cp);
219#endif /* def MPZ_DEBUG */
220 cp += strlen(cp);
221
222 if (taglong)
223 *cp++ = 'L';
224 if (withname)
225 *cp++ = /*'('*/ ')';
226
227 *cp = '\0';
228
229#ifdef MPZ_DEBUG
230 fprintf(stderr,
Fred Drakea44d3532000-06-30 15:01:00 +0000231 "mpz_format: cp (str end) %p, begin %p, diff %d, i %d\n",
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000232 cp, PyString_AS_STRING(strobjp),
233 cp - PyString_AS_STRING(strobjp), i);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000234#endif /* def MPZ_DEBUG */
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000235 assert(cp - PyString_AS_STRING(strobjp) <= i);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000236
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000237 if (cp - PyString_AS_STRING(strobjp) != i) {
238 strobjp->ob_size -= i - (cp - PyString_AS_STRING(strobjp));
Guido van Rossum5f59d601992-12-14 16:59:51 +0000239 }
240
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000241 return (PyObject *)strobjp;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000242} /* mpz_format() */
243
244/* MPZ methods */
245
246static void
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000247mpz_dealloc(mpzobject *mpzp)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000248{
249#ifdef MPZ_DEBUG
250 fputs( "mpz_dealloc() called...\n", stderr );
251#endif /* def MPZ_DEBUG */
252 mpz_clear(&mpzp->mpz);
Guido van Rossumb18618d2000-05-03 23:44:39 +0000253 PyObject_Del(mpzp);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000254} /* mpz_dealloc() */
255
Guido van Rossum5f59d601992-12-14 16:59:51 +0000256
257/* pointers to frequently used values 0, 1 and -1 */
258static mpzobject *mpz_value_zero, *mpz_value_one, *mpz_value_mone;
259
260static int
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000261mpz_compare(mpzobject *a, mpzobject *b)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000262{
263 int cmpres;
264
265
266 /* guido sez it's better to return -1, 0 or 1 */
267 return (cmpres = mpz_cmp( &a->mpz, &b->mpz )) == 0 ? 0
268 : cmpres > 0 ? 1 : -1;
269} /* mpz_compare() */
270
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000271static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000272mpz_addition(mpzobject *a, mpzobject *b)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000273{
274 mpzobject *z;
275
276
277#ifdef MPZ_SPARE_MALLOC
278 if (mpz_cmp_ui(&a->mpz, (unsigned long int)0) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000279 Py_INCREF(b);
280 return (PyObject *)b;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000281 }
282
283 if (mpz_cmp_ui(&b->mpz, (unsigned long int)0) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000284 Py_INCREF(a);
285 return (PyObject *)a;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000286 }
287#endif /* def MPZ_SPARE_MALLOC */
288
289 if ((z = newmpzobject()) == NULL)
290 return NULL;
291
292 mpz_add(&z->mpz, &a->mpz, &b->mpz);
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000293 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000294} /* mpz_addition() */
295
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000296static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000297mpz_substract(mpzobject *a, mpzobject *b)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000298{
299 mpzobject *z;
300
301
302#ifdef MPZ_SPARE_MALLOC
303 if (mpz_cmp_ui(&b->mpz, (unsigned long int)0) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000304 Py_INCREF(a);
305 return (PyObject *)a;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000306 }
307#endif /* MPZ_SPARE_MALLOC */
308
309 if ((z = newmpzobject()) == NULL)
310 return NULL;
311
312 mpz_sub(&z->mpz, &a->mpz, &b->mpz);
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000313 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000314} /* mpz_substract() */
315
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000316static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000317mpz_multiply(mpzobject *a, mpzobject *b)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000318{
319#ifdef MPZ_SPARE_MALLOC
320 int cmpres;
321#endif /* def MPZ_SPARE_MALLOC */
322 mpzobject *z;
323
324
325#ifdef MPZ_SPARE_MALLOC
326 if ((cmpres = mpz_cmp_ui(&a->mpz, (unsigned long int)0)) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000327 Py_INCREF(mpz_value_zero);
328 return (PyObject *)mpz_value_zero;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000329 }
330 if (cmpres > 0 && mpz_cmp_ui(&a->mpz, (unsigned long int)1) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000331 Py_INCREF(b);
332 return (PyObject *)b;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000333 }
334
335 if ((cmpres = mpz_cmp_ui(&b->mpz, (unsigned long_int)0)) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000336 Py_INCREF(mpz_value_zero);
337 return (PyObject *)mpz_value_zero;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000338 }
339 if (cmpres > 0 && mpz_cmp_ui(&b->mpz, (unsigned long int)1) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000340 Py_INCREF(a);
341 return (PyObject *)a;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000342 }
343#endif /* MPZ_SPARE_MALLOC */
344
345 if ((z = newmpzobject()) == NULL)
346 return NULL;
347
348 mpz_mul( &z->mpz, &a->mpz, &b->mpz );
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000349 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000350
351} /* mpz_multiply() */
352
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000353static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000354mpz_divide(mpzobject *a, mpzobject *b)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000355{
356#ifdef MPZ_SPARE_MALLOC
357 int cmpres;
358#endif /* def MPZ_SPARE_MALLOC */
359 mpzobject *z;
360
361
362 if ((
363#ifdef MPZ_SPARE_MALLOC
364 cmpres =
365#endif /* def MPZ_SPARE_MALLOC */
366 mpz_cmp_ui(&b->mpz, (unsigned long int)0)) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000367 PyErr_SetString(PyExc_ZeroDivisionError, "mpz./ by zero");
Guido van Rossum5f59d601992-12-14 16:59:51 +0000368 return NULL;
369 }
370#ifdef MPZ_SPARE_MALLOC
371 if (cmpres > 0 && mpz_cmp_ui(&b->mpz(unsigned long int)1) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000372 Py_INCREF(a);
373 return (PyObject *)a;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000374 }
375#endif /* def MPZ_SPARE_MALLOC */
376
377 if ((z = newmpzobject()) == NULL)
378 return NULL;
379
380#ifdef MPZ_TEST_DIV
381 fputs("mpz_divide: div result", stderr);
382 mpz_div(&z->mpz, &a->mpz, &b->mpz);
383 mpz_out_str(stderr, 10, &z->mpz);
384 putc('\n', stderr);
385#endif /* def MPZ_TEST_DIV */
386#ifdef MPZ_MDIV_BUG
387 if ((mpz_cmp_ui(&a->mpz, (unsigned long int)0) < 0)
388 != (mpz_cmp_ui(&b->mpz, (unsigned long int)0) < 0)) {
389 /*
390 ** numerator has other sign than denominator: we have
391 ** to look at the remainder for a correction, since mpz_mdiv
392 ** also calls mpz_divmod, I can as well do it myself
393 */
394 MP_INT tmpmpz;
395
396
397 mpz_init(&tmpmpz);
398 mpz_divmod(&z->mpz, &tmpmpz, &a->mpz, &b->mpz);
399
400 if (mpz_cmp_ui(&tmpmpz, (unsigned long int)0) != 0)
401 mpz_sub_ui(&z->mpz, &z->mpz, (unsigned long int)1);
402
403 mpz_clear(&tmpmpz);
404 }
405 else
406 mpz_div(&z->mpz, &a->mpz, &b->mpz);
407 /* the ``naive'' implementation does it right for operands
408 having the same sign */
409
410#else /* def MPZ_MDIV_BUG */
411 mpz_mdiv(&z->mpz, &a->mpz, &b->mpz);
412#endif /* def MPZ_MDIV_BUG else */
413#ifdef MPZ_TEST_DIV
414 fputs("mpz_divide: mdiv result", stderr);
415 mpz_out_str(stderr, 10, &z->mpz);
416 putc('\n', stderr);
417#endif /* def MPZ_TEST_DIV */
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000418 return (PyObject *)z;
Fred Drakec17b3cf2001-02-12 16:48:13 +0000419
Guido van Rossum5f59d601992-12-14 16:59:51 +0000420} /* mpz_divide() */
421
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000422static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000423mpz_remainder(mpzobject *a, mpzobject *b)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000424{
425#ifdef MPZ_SPARE_MALLOC
426 int cmpres;
427#endif /* def MPZ_SPARE_MALLOC */
428 mpzobject *z;
429
Fred Drakec17b3cf2001-02-12 16:48:13 +0000430
Guido van Rossum5f59d601992-12-14 16:59:51 +0000431 if ((
432#ifdef MPZ_SPARE_MALLOC
433 cmpres =
434#endif /* def MPZ_SPARE_MALLOC */
435 mpz_cmp_ui(&b->mpz, (unsigned long int)0)) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000436 PyErr_SetString(PyExc_ZeroDivisionError, "mpz.% by zero");
Guido van Rossum5f59d601992-12-14 16:59:51 +0000437 return NULL;
438 }
439#ifdef MPZ_SPARE_MALLOC
440 if (cmpres > 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000441 if ((cmpres = mpz_cmp_ui(&b->mpz, (unsigned long int)2)) == 0)
442 {
443 Py_INCREF(mpz_value_one);
444 return (PyObject *)mpz_value_one;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000445 }
446 if (cmpres < 0) {
447 /* b must be 1 now */
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000448 Py_INCREF(mpz_value_zero);
449 return (PyObject *)mpz_value_zero;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000450 }
451 }
452#endif /* def MPZ_SPARE_MALLOC */
453
454 if ((z = newmpzobject()) == NULL)
455 return NULL;
456
457#ifdef MPZ_TEST_DIV
458 fputs("mpz_remain: mod result", stderr);
459 mpz_mod(&z->mpz, &a->mpz, &b->mpz);
460 mpz_out_str(stderr, 10, &z->mpz);
461 putc('\n', stderr);
462#endif /* def MPZ_TEST_DIV */
463#ifdef MPZ_MDIV_BUG
464
465 /* the ``naive'' implementation does it right for operands
466 having the same sign */
467 mpz_mod(&z->mpz, &a->mpz, &b->mpz);
468
469 /* assumption: z, a and b all point to different locations */
470 if ((mpz_cmp_ui(&a->mpz, (unsigned long int)0) < 0)
471 != (mpz_cmp_ui(&b->mpz, (unsigned long int)0) < 0)
472 && mpz_cmp_ui(&z->mpz, (unsigned long int)0) != 0)
473 mpz_add(&z->mpz, &z->mpz, &b->mpz);
474 /*
475 ** numerator has other sign than denominator: we have
476 ** to look at the remainder for a correction, since mpz_mdiv
477 ** also calls mpz_divmod, I can as well do it myself
478 */
479#else /* def MPZ_MDIV_BUG */
480 mpz_mmod(&z->mpz, &a->mpz, &b->mpz);
481#endif /* def MPZ_MDIV_BUG else */
482#ifdef MPZ_TEST_DIV
483 fputs("mpz_remain: mmod result", stderr);
484 mpz_out_str(stderr, 10, &z->mpz);
485 putc('\n', stderr);
486#endif /* def MPZ_TEST_DIV */
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000487 return (PyObject *)z;
Fred Drakec17b3cf2001-02-12 16:48:13 +0000488
Guido van Rossum5f59d601992-12-14 16:59:51 +0000489} /* mpz_remainder() */
490
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000491static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000492mpz_div_and_mod(mpzobject *a, mpzobject *b)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000493{
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000494 PyObject *z = NULL;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000495 mpzobject *x = NULL, *y = NULL;
496
497
498 if (mpz_cmp_ui(&b->mpz, (unsigned long int)0) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000499 PyErr_SetString(PyExc_ZeroDivisionError, "mpz.divmod by zero");
Guido van Rossum5f59d601992-12-14 16:59:51 +0000500 return NULL;
501 }
502
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000503 if ((z = PyTuple_New(2)) == NULL
Guido van Rossum5f59d601992-12-14 16:59:51 +0000504 || (x = newmpzobject()) == NULL
505 || (y = newmpzobject()) == NULL) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000506 Py_XDECREF(z);
507 Py_XDECREF(x);
508 Py_XDECREF(y);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000509 return NULL;
510 }
511
512#ifdef MPZ_TEST_DIV
513 fputs("mpz_divmod: dm result", stderr);
514 mpz_divmod(&x->mpz, &y->mpz, &a->mpz, &b->mpz);
515 mpz_out_str(stderr, 10, &x->mpz);
516 putc('\n', stderr);
517 mpz_out_str(stderr, 10, &y->mpz);
518 putc('\n', stderr);
519#endif /* def MPZ_TEST_DIV */
520#ifdef MPZ_MDIV_BUG
521 mpz_divmod(&x->mpz, &y->mpz, &a->mpz, &b->mpz);
522 if ((mpz_cmp_ui(&a->mpz, (unsigned long int)0) < 0)
523 != (mpz_cmp_ui(&b->mpz, (unsigned long int)0) < 0)
524 && mpz_cmp_ui(&y->mpz, (unsigned long int)0) != 0) {
525 /*
526 ** numerator has other sign than denominator: we have
527 ** to look at the remainder for a correction.
528 */
529 mpz_add(&y->mpz, &y->mpz, &b->mpz);
530 mpz_sub_ui(&x->mpz, &x->mpz, (unsigned long int)1);
531 }
532#else /* def MPZ_MDIV_BUG */
533 mpz_mdivmod( &x->mpz, &y->mpz, &a->mpz, &b->mpz );
534#endif /* def MPZ_MDIV_BUG else */
535#ifdef MPZ_TEST_DIV
536 fputs("mpz_divmod: mdm result", stderr);
537 mpz_out_str(stderr, 10, &x->mpz);
538 putc('\n', stderr);
539 mpz_out_str(stderr, 10, &y->mpz);
540 putc('\n', stderr);
541#endif /* def MPZ_TEST_DIV */
542
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000543 (void)PyTuple_SetItem(z, 0, (PyObject *)x);
544 (void)PyTuple_SetItem(z, 1, (PyObject *)y);
Fred Drakec17b3cf2001-02-12 16:48:13 +0000545
Guido van Rossum5f59d601992-12-14 16:59:51 +0000546 return z;
547} /* mpz_div_and_mod() */
548
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000549static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000550mpz_power(mpzobject *a, mpzobject *b, mpzobject *m)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000551{
552 mpzobject *z;
553 int cmpres;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000554
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000555 if ((PyObject *)m != Py_None) {
556 mpzobject *z2;
557 Py_INCREF(Py_None);
558 z=(mpzobject *)mpz_power(a, b, (mpzobject *)Py_None);
559 Py_DECREF(Py_None);
560 if (z==NULL) return((PyObject *)z);
561 z2=(mpzobject *)mpz_remainder(z, m);
562 Py_DECREF(z);
563 return((PyObject *)z2);
564 }
Guido van Rossum5f59d601992-12-14 16:59:51 +0000565
566 if ((cmpres = mpz_cmp_ui(&b->mpz, (unsigned long int)0)) == 0) {
567 /* the gnu-mp lib sets pow(0,0) to 0, we to 1 */
568
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000569 Py_INCREF(mpz_value_one);
570 return (PyObject *)mpz_value_one;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000571 }
Fred Drakec17b3cf2001-02-12 16:48:13 +0000572
Guido van Rossum5f59d601992-12-14 16:59:51 +0000573 if (cmpres < 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000574 PyErr_SetString(PyExc_ValueError,
575 "mpz.pow to negative exponent");
Guido van Rossum5f59d601992-12-14 16:59:51 +0000576 return NULL;
577 }
578
579 if ((cmpres = mpz_cmp_ui(&a->mpz, (unsigned long int)0)) == 0) {
580 /* the base is 0 */
581
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000582 Py_INCREF(mpz_value_zero);
583 return (PyObject *)mpz_value_zero;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000584 }
585 else if (cmpres > 0
586 && mpz_cmp_ui(&a->mpz, (unsigned long int)1) == 0) {
587 /* the base is 1 */
588
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000589 Py_INCREF(mpz_value_one);
590 return (PyObject *)mpz_value_one;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000591 }
592 else if (cmpres < 0
593 && mpz_cmp_si(&a->mpz, (long int)-1) == 0) {
594
595 MP_INT tmpmpz;
596 /* the base is -1: pow(-1, any) == 1,-1 for even,uneven b */
597 /* XXX this code needs to be optimized: what's better?
598 mpz_mmod_ui or mpz_mod_2exp, I choose for the latter
599 for *un*obvious reasons */
600
601 /* is the exponent even? */
602 mpz_init(&tmpmpz);
603
604 /* look to the remainder after a division by (1 << 1) */
605 mpz_mod_2exp(&tmpmpz, &b->mpz, (unsigned long int)1);
606
607 if (mpz_cmp_ui(&tmpmpz, (unsigned int)0) == 0) {
608 mpz_clear(&tmpmpz);
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000609 Py_INCREF(mpz_value_one);
610 return (PyObject *)mpz_value_one;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000611 }
612 mpz_clear(&tmpmpz);
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000613 Py_INCREF(mpz_value_mone);
614 return (PyObject *)mpz_value_mone;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000615 }
616
617#ifdef MPZ_LIB_DOES_CHECKING
618 /* check if it's doable: sizeof(exp) > sizeof(long) &&
619 abs(base) > 1 ?? --> No Way */
620 if (mpz_size(&b->mpz) > 1)
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000621 return (PyObject *)PyErr_NoMemory();
Guido van Rossum5f59d601992-12-14 16:59:51 +0000622#else /* def MPZ_LIB_DOES_CHECKING */
623 /* wet finger method */
624 if (mpz_cmp_ui(&b->mpz, (unsigned long int)0x10000) >= 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000625 PyErr_SetString(PyExc_ValueError,
626 "mpz.pow outrageous exponent");
Guido van Rossum5f59d601992-12-14 16:59:51 +0000627 return NULL;
628 }
629#endif /* def MPZ_LIB_DOES_CHECKING else */
630
631 if ((z = newmpzobject()) == NULL)
632 return NULL;
Fred Drakec17b3cf2001-02-12 16:48:13 +0000633
Guido van Rossum5f59d601992-12-14 16:59:51 +0000634 mpz_pow_ui(&z->mpz, &a->mpz, mpz_get_ui(&b->mpz));
Fred Drakec17b3cf2001-02-12 16:48:13 +0000635
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000636 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000637} /* mpz_power() */
638
639
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000640static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000641mpz_negative(mpzobject *v)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000642{
643 mpzobject *z;
644
Fred Drakec17b3cf2001-02-12 16:48:13 +0000645
Guido van Rossum5f59d601992-12-14 16:59:51 +0000646#ifdef MPZ_SPARE_MALLOC
647 if (mpz_cmp_ui(&v->mpz, (unsigned long int)0) == 0) {
648 /* -0 == 0 */
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000649 Py_INCREF(v);
650 return (PyObject *)v;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000651 }
652#endif /* def MPZ_SPARE_MALLOC */
653
654 if ((z = newmpzobject()) == NULL)
655 return NULL;
656
657 mpz_neg(&z->mpz, &v->mpz);
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000658 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000659} /* mpz_negative() */
660
661
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000662static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000663mpz_positive(mpzobject *v)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000664{
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000665 Py_INCREF(v);
666 return (PyObject *)v;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000667} /* mpz_positive() */
668
669
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000670static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000671mpz_absolute(mpzobject *v)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000672{
673 mpzobject *z;
674
Fred Drakec17b3cf2001-02-12 16:48:13 +0000675
Guido van Rossum5f59d601992-12-14 16:59:51 +0000676 if (mpz_cmp_ui(&v->mpz, (unsigned long int)0) >= 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000677 Py_INCREF(v);
678 return (PyObject *)v;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000679 }
680
681 if ((z = newmpzobject()) == NULL)
682 return NULL;
683
684 mpz_neg(&z->mpz, &v->mpz);
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000685 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000686} /* mpz_absolute() */
687
688static int
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000689mpz_nonzero(mpzobject *v)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000690{
691 return mpz_cmp_ui(&v->mpz, (unsigned long int)0) != 0;
692} /* mpz_nonzero() */
693
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000694static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000695py_mpz_invert(mpzobject *v)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000696{
697 mpzobject *z;
698
699
700 /* I think mpz_com does exactly what needed */
701 if ((z = newmpzobject()) == NULL)
702 return NULL;
703
704 mpz_com(&z->mpz, &v->mpz);
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000705 return (PyObject *)z;
Guido van Rossum272841c1996-08-19 23:06:45 +0000706} /* py_mpz_invert() */
Guido van Rossum5f59d601992-12-14 16:59:51 +0000707
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000708static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000709mpz_lshift(mpzobject *a, mpzobject *b)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000710{
711 int cmpres;
712 mpzobject *z;
713
714
715 if ((cmpres = mpz_cmp_ui(&b->mpz, (unsigned long int)0)) == 0) {
716 /* a << 0 == a */
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000717 Py_INCREF(a);
718 return (PyObject *)a;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000719 }
720
721 if (cmpres < 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000722 PyErr_SetString(PyExc_ValueError,
723 "mpz.<< negative shift count");
Guido van Rossum5f59d601992-12-14 16:59:51 +0000724 return NULL;
725 }
726
727#ifdef MPZ_LIB_DOES_CHECKING
728 if (mpz_size(&b->mpz) > 1)
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000729 return (PyObject *)PyErr_NoMemory();
Guido van Rossum5f59d601992-12-14 16:59:51 +0000730#else /* def MPZ_LIB_DOES_CHECKING */
731 /* wet finger method */
732 if (mpz_cmp_ui(&b->mpz, (unsigned long int)0x10000) >= 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000733 PyErr_SetString(PyExc_ValueError,
734 "mpz.<< outrageous shift count");
Guido van Rossum5f59d601992-12-14 16:59:51 +0000735 return NULL;
736 }
737#endif /* def MPZ_LIB_DOES_CHECKING else */
738
739 if ((z = newmpzobject()) == NULL)
740 return NULL;
741
742 mpz_mul_2exp(&z->mpz, &a->mpz, mpz_get_ui(&b->mpz));
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000743 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000744} /* mpz_lshift() */
745
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000746static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000747mpz_rshift(mpzobject *a, mpzobject *b)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000748{
749 int cmpres;
750 mpzobject *z;
751
752
753 if ((cmpres = mpz_cmp_ui(&b->mpz, (unsigned long int)0)) == 0) {
754 /* a >> 0 == a */
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000755 Py_INCREF(a);
756 return (PyObject *)a;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000757 }
758
759 if (cmpres < 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000760 PyErr_SetString(PyExc_ValueError,
761 "mpz.>> negative shift count");
Guido van Rossum5f59d601992-12-14 16:59:51 +0000762 return NULL;
763 }
764
765 if (mpz_size(&b->mpz) > 1)
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000766 return (PyObject *)PyErr_NoMemory();
Guido van Rossum5f59d601992-12-14 16:59:51 +0000767
768 if ((z = newmpzobject()) == NULL)
769 return NULL;
770
771 mpz_div_2exp(&z->mpz, &a->mpz, mpz_get_ui(&b->mpz));
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000772 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000773} /* mpz_rshift() */
774
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000775static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000776mpz_andfunc(mpzobject *a, mpzobject *b)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000777{
778 mpzobject *z;
779
780
781 if ((z = newmpzobject()) == NULL)
782 return NULL;
783
784 mpz_and(&z->mpz, &a->mpz, &b->mpz);
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000785 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000786} /* mpz_andfunc() */
787
788/* hack Hack HAck HACk HACK, XXX this code is dead slow */
789void
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000790mpz_xor(MP_INT *res, const MP_INT *op1, const MP_INT *op2)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000791{
792 MP_INT tmpmpz;
Fred Drakec17b3cf2001-02-12 16:48:13 +0000793
Guido van Rossum5f59d601992-12-14 16:59:51 +0000794 mpz_init(&tmpmpz);
795
796 mpz_and(res, op1, op2);
797 mpz_com(&tmpmpz, res);
798 mpz_ior(res, op1, op2);
799 mpz_and(res, res, &tmpmpz);
800
801 mpz_clear(&tmpmpz);
802} /* mpz_xor() HACK */
803
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000804static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000805mpz_xorfunc(mpzobject *a, mpzobject *b)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000806{
807 mpzobject *z;
808
809
810 if ((z = newmpzobject()) == NULL)
811 return NULL;
812
813 mpz_xor(&z->mpz, &a->mpz, &b->mpz);
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000814 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000815} /* mpz_xorfunc() */
816
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000817static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000818mpz_orfunc(mpzobject *a, mpzobject *b)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000819{
820 mpzobject *z;
821
822
823 if ((z = newmpzobject()) == NULL)
824 return NULL;
825
826 mpz_ior(&z->mpz, &a->mpz, &b->mpz);
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000827 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000828} /* mpz_orfunc() */
829
830/* MPZ initialisation */
831
832#include "longintrepr.h"
833
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000834static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000835MPZ_mpz(PyObject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000836{
837 mpzobject *mpzp;
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000838 PyObject *objp;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000839
840
841#ifdef MPZ_DEBUG
842 fputs("MPZ_mpz() called...\n", stderr);
843#endif /* def MPZ_DEBUG */
844
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000845 if (!PyArg_Parse(args, "O", &objp))
Guido van Rossum5f59d601992-12-14 16:59:51 +0000846 return NULL;
847
848 /* at least we know it's some object */
Barry Warsawabb7efe1996-12-09 23:22:35 +0000849 /* note DON't Py_DECREF args NEITHER objp */
Guido van Rossum5f59d601992-12-14 16:59:51 +0000850
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000851 if (PyInt_Check(objp)) {
Guido van Rossum5f59d601992-12-14 16:59:51 +0000852 long lval;
853
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000854 if (!PyArg_Parse(objp, "l", &lval))
Guido van Rossum5f59d601992-12-14 16:59:51 +0000855 return NULL;
Fred Drakec17b3cf2001-02-12 16:48:13 +0000856
Guido van Rossum5f59d601992-12-14 16:59:51 +0000857 if (lval == (long)0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000858 Py_INCREF(mpz_value_zero);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000859 mpzp = mpz_value_zero;
860 }
861 else if (lval == (long)1) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000862 Py_INCREF(mpz_value_one);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000863 mpzp = mpz_value_one;
864 }
865 else if ((mpzp = newmpzobject()) == NULL)
866 return NULL;
867 else mpz_set_si(&mpzp->mpz, lval);
868 }
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000869 else if (PyLong_Check(objp)) {
Guido van Rossum5f59d601992-12-14 16:59:51 +0000870 MP_INT mplongdigit;
871 int i;
872 unsigned char isnegative;
Fred Drakec17b3cf2001-02-12 16:48:13 +0000873
Guido van Rossum5f59d601992-12-14 16:59:51 +0000874
875 if ((mpzp = newmpzobject()) == NULL)
876 return NULL;
877
878 mpz_set_si(&mpzp->mpz, 0L);
879 mpz_init(&mplongdigit);
Fred Drakec17b3cf2001-02-12 16:48:13 +0000880
Guido van Rossum5f59d601992-12-14 16:59:51 +0000881 /* how we're gonna handle this? */
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000882 if ((isnegative =
883 ((i = ((PyLongObject *)objp)->ob_size) < 0) ))
Guido van Rossum5f59d601992-12-14 16:59:51 +0000884 i = -i;
885
886 while (i--) {
887 mpz_set_ui(&mplongdigit,
888 (unsigned long)
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000889 ((PyLongObject *)objp)->ob_digit[i]);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000890 mpz_mul_2exp(&mplongdigit,&mplongdigit,
891 (unsigned long int)i * SHIFT);
892 mpz_ior(&mpzp->mpz, &mpzp->mpz, &mplongdigit);
893 }
894
895 if (isnegative)
896 mpz_neg(&mpzp->mpz, &mpzp->mpz);
897
898 /* get rid of allocation for tmp variable */
899 mpz_clear(&mplongdigit);
900 }
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000901 else if (PyString_Check(objp)) {
Andrew M. Kuchling4c07f811998-12-14 19:36:14 +0000902 unsigned char *cp = (unsigned char *)PyString_AS_STRING(objp);
Guido van Rossum7e488981998-10-08 02:25:24 +0000903 int len = PyString_GET_SIZE(objp);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000904 MP_INT mplongdigit;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000905
906 if ((mpzp = newmpzobject()) == NULL)
907 return NULL;
908
909 mpz_set_si(&mpzp->mpz, 0L);
910 mpz_init(&mplongdigit);
Fred Drakec17b3cf2001-02-12 16:48:13 +0000911
Guido van Rossum5f59d601992-12-14 16:59:51 +0000912 /* let's do it the same way as with the long conversion:
913 without thinking how it can be faster (-: :-) */
914
915 cp += len;
916 while (len--) {
917 mpz_set_ui(&mplongdigit, (unsigned long)*--cp );
918 mpz_mul_2exp(&mplongdigit,&mplongdigit,
919 (unsigned long int)len * 8);
920 mpz_ior(&mpzp->mpz, &mpzp->mpz, &mplongdigit);
921 }
922
923 /* get rid of allocation for tmp variable */
924 mpz_clear(&mplongdigit);
925 }
926 else if (is_mpzobject(objp)) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000927 Py_INCREF(objp);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000928 mpzp = (mpzobject *)objp;
929 }
930 else {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000931 PyErr_SetString(PyExc_TypeError,
932"mpz.mpz() expects integer, long, string or mpz object argument");
Guido van Rossum5f59d601992-12-14 16:59:51 +0000933 return NULL;
934 }
935
936
937#ifdef MPZ_DEBUG
938 fputs("MPZ_mpz: created mpz=", stderr);
939 mpz_out_str(stderr, 10, &mpzp->mpz);
940 putc('\n', stderr);
941#endif /* def MPZ_DEBUG */
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000942 return (PyObject *)mpzp;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000943} /* MPZ_mpz() */
944
945static mpzobject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000946mpz_mpzcoerce(PyObject *z)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000947{
948 /* shortcut: 9 out of 10 times the type is already ok */
949 if (is_mpzobject(z)) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000950 Py_INCREF(z);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000951 return (mpzobject *)z; /* coercion succeeded */
952 }
953
954 /* what types do we accept?: intobjects and longobjects */
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000955 if (PyInt_Check(z) || PyLong_Check(z))
956 return (mpzobject *)MPZ_mpz((PyObject *)NULL, z);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000957
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000958 PyErr_SetString(PyExc_TypeError,
959 "number coercion (to mpzobject) failed");
Guido van Rossum5f59d601992-12-14 16:59:51 +0000960 return NULL;
961} /* mpz_mpzcoerce() */
Guido van Rossumb6775db1994-08-01 11:34:53 +0000962
963/* Forward */
Tim Petersdbd9ba62000-07-09 03:09:57 +0000964static void mpz_divm(MP_INT *res, const MP_INT *num,
965 const MP_INT *den, const MP_INT *mod);
Guido van Rossum67a5fdb1993-12-17 12:09:14 +0000966
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000967static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +0000968MPZ_powm(PyObject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +0000969{
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000970 PyObject *base, *exp, *mod;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000971 mpzobject *mpzbase = NULL, *mpzexp = NULL, *mpzmod = NULL;
972 mpzobject *z;
973 int tstres;
974
Fred Drakec17b3cf2001-02-12 16:48:13 +0000975
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000976 if (!PyArg_Parse(args, "(OOO)", &base, &exp, &mod))
Guido van Rossum5f59d601992-12-14 16:59:51 +0000977 return NULL;
978
979 if ((mpzbase = mpz_mpzcoerce(base)) == NULL
980 || (mpzexp = mpz_mpzcoerce(exp)) == NULL
981 || (mpzmod = mpz_mpzcoerce(mod)) == NULL
982 || (z = newmpzobject()) == NULL) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000983 Py_XDECREF(mpzbase);
984 Py_XDECREF(mpzexp);
985 Py_XDECREF(mpzmod);
Guido van Rossum5f59d601992-12-14 16:59:51 +0000986 return NULL;
987 }
988
989 if ((tstres=mpz_cmp_ui(&mpzexp->mpz, (unsigned long int)0)) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +0000990 Py_INCREF(mpz_value_one);
991 return (PyObject *)mpz_value_one;
Guido van Rossum5f59d601992-12-14 16:59:51 +0000992 }
993
994 if (tstres < 0) {
995 MP_INT absexp;
996 /* negative exp */
997
998 mpz_init_set(&absexp, &mpzexp->mpz);
999 mpz_abs(&absexp, &absexp);
1000 mpz_powm(&z->mpz, &mpzbase->mpz, &absexp, &mpzmod->mpz);
1001
1002 mpz_divm(&z->mpz, &mpz_value_one->mpz, &z->mpz, &mpzmod->mpz);
1003
1004 mpz_clear(&absexp);
1005 }
1006 else {
1007 mpz_powm(&z->mpz, &mpzbase->mpz, &mpzexp->mpz, &mpzmod->mpz);
1008 }
Fred Drakec17b3cf2001-02-12 16:48:13 +00001009
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001010 Py_DECREF(mpzbase);
1011 Py_DECREF(mpzexp);
1012 Py_DECREF(mpzmod);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001013
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001014 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001015} /* MPZ_powm() */
1016
1017
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001018static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001019MPZ_gcd(PyObject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001020{
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001021 PyObject *op1, *op2;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001022 mpzobject *mpzop1 = NULL, *mpzop2 = NULL;
1023 mpzobject *z;
1024
Fred Drakec17b3cf2001-02-12 16:48:13 +00001025
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001026 if (!PyArg_Parse(args, "(OO)", &op1, &op2))
Guido van Rossum5f59d601992-12-14 16:59:51 +00001027 return NULL;
1028
1029 if ((mpzop1 = mpz_mpzcoerce(op1)) == NULL
1030 || (mpzop2 = mpz_mpzcoerce(op2)) == NULL
1031 || (z = newmpzobject()) == NULL) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001032 Py_XDECREF(mpzop1);
1033 Py_XDECREF(mpzop2);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001034 return NULL;
1035 }
1036
1037 /* ok, we have three mpzobjects, and an initialised result holder */
1038 mpz_gcd(&z->mpz, &mpzop1->mpz, &mpzop2->mpz);
1039
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001040 Py_DECREF(mpzop1);
1041 Py_DECREF(mpzop2);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001042
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001043 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001044} /* MPZ_gcd() */
1045
1046
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001047static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001048MPZ_gcdext(PyObject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001049{
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001050 PyObject *op1, *op2, *z = NULL;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001051 mpzobject *mpzop1 = NULL, *mpzop2 = NULL;
1052 mpzobject *g = NULL, *s = NULL, *t = NULL;
1053
Fred Drakec17b3cf2001-02-12 16:48:13 +00001054
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001055 if (!PyArg_Parse(args, "(OO)", &op1, &op2))
Guido van Rossum5f59d601992-12-14 16:59:51 +00001056 return NULL;
1057
1058 if ((mpzop1 = mpz_mpzcoerce(op1)) == NULL
1059 || (mpzop2 = mpz_mpzcoerce(op2)) == NULL
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001060 || (z = PyTuple_New(3)) == NULL
Guido van Rossum5f59d601992-12-14 16:59:51 +00001061 || (g = newmpzobject()) == NULL
1062 || (s = newmpzobject()) == NULL
1063 || (t = newmpzobject()) == NULL) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001064 Py_XDECREF(mpzop1);
1065 Py_XDECREF(mpzop2);
1066 Py_XDECREF(z);
1067 Py_XDECREF(g);
1068 Py_XDECREF(s);
Barry Warsawabb7efe1996-12-09 23:22:35 +00001069 /*Py_XDECREF(t);*/
Guido van Rossum5f59d601992-12-14 16:59:51 +00001070 return NULL;
1071 }
1072
1073 mpz_gcdext(&g->mpz, &s->mpz, &t->mpz, &mpzop1->mpz, &mpzop2->mpz);
1074
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001075 Py_DECREF(mpzop1);
1076 Py_DECREF(mpzop2);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001077
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001078 (void)PyTuple_SetItem(z, 0, (PyObject *)g);
1079 (void)PyTuple_SetItem(z, 1, (PyObject *)s);
1080 (void)PyTuple_SetItem(z, 2, (PyObject *)t);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001081
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001082 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001083} /* MPZ_gcdext() */
1084
1085
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001086static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001087MPZ_sqrt(PyObject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001088{
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001089 PyObject *op;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001090 mpzobject *mpzop = NULL;
1091 mpzobject *z;
1092
Fred Drakec17b3cf2001-02-12 16:48:13 +00001093
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001094 if (!PyArg_Parse(args, "O", &op))
Guido van Rossum5f59d601992-12-14 16:59:51 +00001095 return NULL;
1096
1097 if ((mpzop = mpz_mpzcoerce(op)) == NULL
1098 || (z = newmpzobject()) == NULL) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001099 Py_XDECREF(mpzop);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001100 return NULL;
1101 }
1102
1103 mpz_sqrt(&z->mpz, &mpzop->mpz);
1104
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001105 Py_DECREF(mpzop);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001106
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001107 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001108} /* MPZ_sqrt() */
1109
1110
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001111static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001112MPZ_sqrtrem(PyObject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001113{
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001114 PyObject *op, *z = NULL;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001115 mpzobject *mpzop = NULL;
1116 mpzobject *root = NULL, *rem = NULL;
1117
Fred Drakec17b3cf2001-02-12 16:48:13 +00001118
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001119 if (!PyArg_Parse(args, "O", &op))
Guido van Rossum5f59d601992-12-14 16:59:51 +00001120 return NULL;
1121
1122 if ((mpzop = mpz_mpzcoerce(op)) == NULL
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001123 || (z = PyTuple_New(2)) == NULL
Guido van Rossum5f59d601992-12-14 16:59:51 +00001124 || (root = newmpzobject()) == NULL
1125 || (rem = newmpzobject()) == NULL) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001126 Py_XDECREF(mpzop);
1127 Py_XDECREF(z);
1128 Py_XDECREF(root);
Barry Warsawabb7efe1996-12-09 23:22:35 +00001129 /*Py_XDECREF(rem);*/
Guido van Rossum5f59d601992-12-14 16:59:51 +00001130 return NULL;
1131 }
1132
1133 mpz_sqrtrem(&root->mpz, &rem->mpz, &mpzop->mpz);
1134
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001135 Py_DECREF(mpzop);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001136
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001137 (void)PyTuple_SetItem(z, 0, (PyObject *)root);
1138 (void)PyTuple_SetItem(z, 1, (PyObject *)rem);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001139
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001140 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001141} /* MPZ_sqrtrem() */
1142
1143
Guido van Rossum67a5fdb1993-12-17 12:09:14 +00001144static void
Guido van Rossum5f59d601992-12-14 16:59:51 +00001145mpz_divm(MP_INT *res, const MP_INT *num, const MP_INT *den, const MP_INT *mod)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001146{
1147 MP_INT s0, s1, q, r, x, d0, d1;
1148
1149 mpz_init_set(&s0, num);
1150 mpz_init_set_ui(&s1, 0);
1151 mpz_init(&q);
1152 mpz_init(&r);
1153 mpz_init(&x);
1154 mpz_init_set(&d0, den);
1155 mpz_init_set(&d1, mod);
1156
Guido van Rossum272841c1996-08-19 23:06:45 +00001157#ifdef GMP2
1158 while (d1._mp_size != 0) {
1159#else
Guido van Rossum5f59d601992-12-14 16:59:51 +00001160 while (d1.size != 0) {
Guido van Rossum272841c1996-08-19 23:06:45 +00001161#endif
Guido van Rossum5f59d601992-12-14 16:59:51 +00001162 mpz_divmod(&q, &r, &d0, &d1);
1163 mpz_set(&d0, &d1);
1164 mpz_set(&d1, &r);
1165
1166 mpz_mul(&x, &s1, &q);
1167 mpz_sub(&x, &s0, &x);
1168 mpz_set(&s0, &s1);
1169 mpz_set(&s1, &x);
1170 }
1171
Guido van Rossum272841c1996-08-19 23:06:45 +00001172#ifdef GMP2
1173 if (d0._mp_size != 1 || d0._mp_d[0] != 1)
1174 res->_mp_size = 0; /* trouble: the gcd != 1; set s to zero */
1175#else
Guido van Rossum5f59d601992-12-14 16:59:51 +00001176 if (d0.size != 1 || d0.d[0] != 1)
1177 res->size = 0; /* trouble: the gcd != 1; set s to zero */
Guido van Rossum272841c1996-08-19 23:06:45 +00001178#endif
Guido van Rossum5f59d601992-12-14 16:59:51 +00001179 else {
1180#ifdef MPZ_MDIV_BUG
1181 /* watch out here! first check the signs, and then perform
1182 the mpz_mod() since mod could point to res */
1183 if ((s0.size < 0) != (mod->size < 0)) {
1184 mpz_mod(res, &s0, mod);
1185
1186 if (res->size)
1187 mpz_add(res, res, mod);
1188 }
1189 else
1190 mpz_mod(res, &s0, mod);
Fred Drakec17b3cf2001-02-12 16:48:13 +00001191
Guido van Rossum5f59d601992-12-14 16:59:51 +00001192#else /* def MPZ_MDIV_BUG */
1193 mpz_mmod(res, &s0, mod);
1194#endif /* def MPZ_MDIV_BUG else */
1195 }
1196
1197 mpz_clear(&s0);
1198 mpz_clear(&s1);
1199 mpz_clear(&q);
1200 mpz_clear(&r);
1201 mpz_clear(&x);
1202 mpz_clear(&d0);
1203 mpz_clear(&d1);
1204} /* mpz_divm() */
1205
1206
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001207static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001208MPZ_divm(PyObject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001209{
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001210 PyObject *num, *den, *mod;
Fred Drake06fdd2d2000-10-11 21:53:34 +00001211 mpzobject *mpznum, *mpzden = NULL, *mpzmod = NULL;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001212 mpzobject *z = NULL;
1213
Fred Drakec17b3cf2001-02-12 16:48:13 +00001214
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001215 if (!PyArg_Parse(args, "(OOO)", &num, &den, &mod))
Guido van Rossum5f59d601992-12-14 16:59:51 +00001216 return NULL;
1217
1218 if ((mpznum = mpz_mpzcoerce(num)) == NULL
1219 || (mpzden = mpz_mpzcoerce(den)) == NULL
1220 || (mpzmod = mpz_mpzcoerce(mod)) == NULL
1221 || (z = newmpzobject()) == NULL ) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001222 Py_XDECREF(mpznum);
1223 Py_XDECREF(mpzden);
1224 Py_XDECREF(mpzmod);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001225 return NULL;
1226 }
Fred Drakec17b3cf2001-02-12 16:48:13 +00001227
Guido van Rossum5f59d601992-12-14 16:59:51 +00001228 mpz_divm(&z->mpz, &mpznum->mpz, &mpzden->mpz, &mpzmod->mpz);
1229
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001230 Py_DECREF(mpznum);
1231 Py_DECREF(mpzden);
1232 Py_DECREF(mpzmod);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001233
1234 if (mpz_cmp_ui(&z->mpz, (unsigned long int)0) == 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001235 Py_DECREF(z);
1236 PyErr_SetString(PyExc_ValueError,
1237 "gcd(den, mod) != 1 or num == 0");
Guido van Rossum5f59d601992-12-14 16:59:51 +00001238 return NULL;
1239 }
1240
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001241 return (PyObject *)z;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001242} /* MPZ_divm() */
1243
1244
1245/* MPZ methods-as-attributes */
1246#ifdef MPZ_CONVERSIONS_AS_METHODS
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001247static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001248mpz_int(mpzobject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001249#else /* def MPZ_CONVERSIONS_AS_METHODS */
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001250static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001251mpz_int(mpzobject *self)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001252#endif /* def MPZ_CONVERSIONS_AS_METHODS else */
1253{
1254 long sli;
1255
1256
1257#ifdef MPZ_CONVERSIONS_AS_METHODS
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001258 if (!PyArg_NoArgs(args))
Guido van Rossum5f59d601992-12-14 16:59:51 +00001259 return NULL;
1260#endif /* def MPZ_CONVERSIONS_AS_METHODS */
1261
1262 if (mpz_size(&self->mpz) > 1
1263 || (sli = (long)mpz_get_ui(&self->mpz)) < (long)0 ) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001264 PyErr_SetString(PyExc_ValueError,
1265 "mpz.int() arg too long to convert");
Guido van Rossum5f59d601992-12-14 16:59:51 +00001266 return NULL;
1267 }
1268
1269 if (mpz_cmp_ui(&self->mpz, (unsigned long)0) < 0)
1270 sli = -sli;
1271
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001272 return PyInt_FromLong(sli);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001273} /* mpz_int() */
1274
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001275static PyObject *
Guido van Rossum5f59d601992-12-14 16:59:51 +00001276#ifdef MPZ_CONVERSIONS_AS_METHODS
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001277mpz_long(mpzobject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001278#else /* def MPZ_CONVERSIONS_AS_METHODS */
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001279mpz_long(mpzobject *self)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001280#endif /* def MPZ_CONVERSIONS_AS_METHODS else */
1281{
1282 int i, isnegative;
1283 unsigned long int uli;
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001284 PyLongObject *longobjp;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001285 int ldcount;
1286 int bitpointer, newbitpointer;
1287 MP_INT mpzscratch;
1288
1289
1290#ifdef MPZ_CONVERSIONS_AS_METHODS
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001291 if (!PyArg_NoArgs(args))
Guido van Rossum5f59d601992-12-14 16:59:51 +00001292 return NULL;
1293#endif /* def MPZ_CONVERSIONS_AS_METHODS */
1294
1295 /* determine length of python-long to be allocated */
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001296 if ((longobjp = _PyLong_New(i = (int)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001297 ((mpz_size(&self->mpz) * BITS_PER_MP_LIMB
1298 + SHIFT - 1) /
1299 SHIFT))) == NULL)
1300 return NULL;
1301
1302 /* determine sign, and copy self to scratch var */
1303 mpz_init_set(&mpzscratch, &self->mpz);
Guido van Rossum272841c1996-08-19 23:06:45 +00001304 if ((isnegative = (mpz_cmp_ui(&self->mpz, (unsigned long int)0) < 0)))
Guido van Rossum5f59d601992-12-14 16:59:51 +00001305 mpz_neg(&mpzscratch, &mpzscratch);
1306
1307 /* let those bits come, let those bits go,
Barry Warsawabb7efe1996-12-09 23:22:35 +00001308 e.g. dismantle mpzscratch, build PyLongObject */
Guido van Rossum5f59d601992-12-14 16:59:51 +00001309
1310 bitpointer = 0; /* the number of valid bits in stock */
1311 newbitpointer = 0;
1312 ldcount = 0; /* the python-long limb counter */
1313 uli = (unsigned long int)0;
1314 while (i--) {
1315 longobjp->ob_digit[ldcount] = uli & MASK;
1316
1317 /* check if we've had enough bits for this digit */
1318 if (bitpointer < SHIFT) {
1319 uli = mpz_get_ui(&mpzscratch);
1320 longobjp->ob_digit[ldcount] |=
1321 (uli << bitpointer) & MASK;
1322 uli >>= SHIFT-bitpointer;
1323 bitpointer += BITS_PER_MP_LIMB;
1324 mpz_div_2exp(&mpzscratch, &mpzscratch,
1325 BITS_PER_MP_LIMB);
1326 }
1327 else
1328 uli >>= SHIFT;
1329 bitpointer -= SHIFT;
1330 ldcount++;
1331 }
1332
1333 assert(mpz_cmp_ui(&mpzscratch, (unsigned long int)0) == 0);
1334 mpz_clear(&mpzscratch);
1335 assert(ldcount <= longobjp->ob_size);
1336
1337 /* long_normalize() is file-static */
1338 /* longobjp = long_normalize(longobjp); */
1339 while (ldcount > 0 && longobjp->ob_digit[ldcount-1] == 0)
1340 ldcount--;
1341 longobjp->ob_size = ldcount;
Fred Drakec17b3cf2001-02-12 16:48:13 +00001342
Guido van Rossum5f59d601992-12-14 16:59:51 +00001343
1344 if (isnegative)
1345 longobjp->ob_size = -longobjp->ob_size;
1346
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001347 return (PyObject *)longobjp;
Fred Drakec17b3cf2001-02-12 16:48:13 +00001348
Guido van Rossum5f59d601992-12-14 16:59:51 +00001349} /* mpz_long() */
1350
1351
1352/* I would have avoided pow() anyways, so ... */
1353static const double multiplier = 256.0 * 256.0 * 256.0 * 256.0;
Fred Drakec17b3cf2001-02-12 16:48:13 +00001354
Guido van Rossum5f59d601992-12-14 16:59:51 +00001355#ifdef MPZ_CONVERSIONS_AS_METHODS
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001356static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001357mpz_float(mpzobject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001358#else /* def MPZ_CONVERSIONS_AS_METHODS */
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001359static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001360mpz_float(mpzobject *self)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001361#endif /* def MPZ_CONVERSIONS_AS_METHODS else */
1362{
1363 int i, isnegative;
1364 double x;
1365 double mulstate;
1366 MP_INT mpzscratch;
1367
1368
1369#ifdef MPZ_CONVERSIONS_AS_METHODS
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001370 if (!PyArg_NoArgs(args))
Guido van Rossum5f59d601992-12-14 16:59:51 +00001371 return NULL;
1372#endif /* def MPZ_CONVERSIONS_AS_METHODS */
1373
1374 i = (int)mpz_size(&self->mpz);
Fred Drakec17b3cf2001-02-12 16:48:13 +00001375
Guido van Rossum5f59d601992-12-14 16:59:51 +00001376 /* determine sign, and copy abs(self) to scratch var */
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001377 if ((isnegative = (mpz_cmp_ui(&self->mpz, (unsigned long int)0) < 0)))
1378 {
Guido van Rossum5f59d601992-12-14 16:59:51 +00001379 mpz_init(&mpzscratch);
1380 mpz_neg(&mpzscratch, &self->mpz);
1381 }
1382 else
1383 mpz_init_set(&mpzscratch, &self->mpz);
1384
1385 /* let those bits come, let those bits go,
Barry Warsawabb7efe1996-12-09 23:22:35 +00001386 e.g. dismantle mpzscratch, build PyFloatObject */
Guido van Rossum5f59d601992-12-14 16:59:51 +00001387
Guido van Rossum52fa3a61997-02-14 22:59:58 +00001388 /* Can this overflow? Dunno, protect against that possibility. */
1389 PyFPE_START_PROTECT("mpz_float", return 0)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001390 x = 0.0;
1391 mulstate = 1.0;
1392 while (i--) {
1393 x += mulstate * mpz_get_ui(&mpzscratch);
1394 mulstate *= multiplier;
1395 mpz_div_2exp(&mpzscratch, &mpzscratch, BITS_PER_MP_LIMB);
1396 }
Guido van Rossum45b83911997-03-14 04:32:50 +00001397 PyFPE_END_PROTECT(mulstate)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001398
1399 assert(mpz_cmp_ui(&mpzscratch, (unsigned long int)0) == 0);
1400 mpz_clear(&mpzscratch);
1401
1402 if (isnegative)
1403 x = -x;
1404
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001405 return PyFloat_FromDouble(x);
Fred Drakec17b3cf2001-02-12 16:48:13 +00001406
Guido van Rossum5f59d601992-12-14 16:59:51 +00001407} /* mpz_float() */
1408
1409#ifdef MPZ_CONVERSIONS_AS_METHODS
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001410static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001411mpz_hex(mpzobject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001412#else /* def MPZ_CONVERSIONS_AS_METHODS */
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001413static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001414mpz_hex(mpzobject *self)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001415#endif /* def MPZ_CONVERSIONS_AS_METHODS else */
1416{
1417#ifdef MPZ_CONVERSIONS_AS_METHODS
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001418 if (!PyArg_NoArgs(args))
Guido van Rossum5f59d601992-12-14 16:59:51 +00001419 return NULL;
1420#endif /* def MPZ_CONVERSIONS_AS_METHODS */
Fred Drakec17b3cf2001-02-12 16:48:13 +00001421
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001422 return mpz_format((PyObject *)self, 16, (unsigned char)1);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001423} /* mpz_hex() */
Fred Drakec17b3cf2001-02-12 16:48:13 +00001424
Guido van Rossum5f59d601992-12-14 16:59:51 +00001425#ifdef MPZ_CONVERSIONS_AS_METHODS
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001426static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001427mpz_oct(mpzobject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001428#else /* def MPZ_CONVERSIONS_AS_METHODS */
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001429static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001430mpz_oct(mpzobject *self)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001431#endif /* def MPZ_CONVERSIONS_AS_METHODS else */
1432{
1433#ifdef MPZ_CONVERSIONS_AS_METHODS
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001434 if (!PyArg_NoArgs(args))
Guido van Rossum5f59d601992-12-14 16:59:51 +00001435 return NULL;
1436#endif /* def MPZ_CONVERSIONS_AS_METHODS */
1437
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001438 return mpz_format((PyObject *)self, 8, (unsigned char)1);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001439} /* mpz_oct() */
Fred Drakec17b3cf2001-02-12 16:48:13 +00001440
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001441static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001442mpz_binary(mpzobject *self, PyObject *args)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001443{
1444 int size;
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001445 PyStringObject *strobjp;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001446 char *cp;
1447 MP_INT mp;
1448 unsigned long ldigit;
Fred Drakec17b3cf2001-02-12 16:48:13 +00001449
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001450 if (!PyArg_NoArgs(args))
Guido van Rossum5f59d601992-12-14 16:59:51 +00001451 return NULL;
1452
1453 if (mpz_cmp_ui(&self->mpz, (unsigned long int)0) < 0) {
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001454 PyErr_SetString(PyExc_ValueError,
1455 "mpz.binary() arg must be >= 0");
Guido van Rossum5f59d601992-12-14 16:59:51 +00001456 return NULL;
1457 }
1458
1459 mpz_init_set(&mp, &self->mpz);
1460 size = (int)mpz_size(&mp);
1461
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001462 if ((strobjp = (PyStringObject *)
1463 PyString_FromStringAndSize(
1464 (char *)0, size * sizeof (unsigned long int))) == NULL)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001465 return NULL;
1466
1467 /* get the beginning of the string memory and start copying things */
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001468 cp = PyString_AS_STRING(strobjp);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001469
1470 /* this has been programmed using a (fairly) decent lib-i/f it could
1471 be must faster if we looked into the GMP lib */
1472 while (size--) {
1473 ldigit = mpz_get_ui(&mp);
1474 mpz_div_2exp(&mp, &mp, BITS_PER_MP_LIMB);
1475 *cp++ = (unsigned char)(ldigit & 0xFF);
1476 *cp++ = (unsigned char)((ldigit >>= 8) & 0xFF);
1477 *cp++ = (unsigned char)((ldigit >>= 8) & 0xFF);
1478 *cp++ = (unsigned char)((ldigit >>= 8) & 0xFF);
Fred Drakec17b3cf2001-02-12 16:48:13 +00001479 if (sizeof(ldigit) == 8 && BITS_PER_MP_LIMB == 64) {
1480 *cp++ = (unsigned char)((ldigit >>= 8) & 0xFF);
1481 *cp++ = (unsigned char)((ldigit >>= 8) & 0xFF);
1482 *cp++ = (unsigned char)((ldigit >>= 8) & 0xFF);
1483 *cp++ = (unsigned char)((ldigit >>= 8) & 0xFF);
1484 }
Guido van Rossum5f59d601992-12-14 16:59:51 +00001485 }
1486
1487 while (strobjp->ob_size && !*--cp)
1488 strobjp->ob_size--;
1489
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001490 return (PyObject *)strobjp;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001491} /* mpz_binary() */
Fred Drakec17b3cf2001-02-12 16:48:13 +00001492
Guido van Rossum5f59d601992-12-14 16:59:51 +00001493
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001494static PyMethodDef mpz_methods[] = {
Guido van Rossum5f59d601992-12-14 16:59:51 +00001495#ifdef MPZ_CONVERSIONS_AS_METHODS
1496 {"int", mpz_int},
1497 {"long", mpz_long},
1498 {"float", mpz_float},
1499 {"hex", mpz_hex},
1500 {"oct", mpz_oct},
1501#endif /* def MPZ_CONVERSIONS_AS_METHODS */
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001502 {"binary", (PyCFunction)mpz_binary},
Guido van Rossum5f59d601992-12-14 16:59:51 +00001503 {NULL, NULL} /* sentinel */
1504};
1505
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001506static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001507mpz_getattr(mpzobject *self, char *name)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001508{
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001509 return Py_FindMethod(mpz_methods, (PyObject *)self, name);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001510} /* mpz_getattr() */
1511
1512
1513static int
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001514mpz_coerce(PyObject **pv, PyObject **pw)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001515{
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001516 PyObject *z;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001517
1518#ifdef MPZ_DEBUG
1519 fputs("mpz_coerce() called...\n", stderr);
1520#endif /* def MPZ_DEBUG */
1521
1522 assert(is_mpzobject(*pv));
1523
1524 /* always convert other arg to mpz value, except for floats */
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001525 if (!PyFloat_Check(*pw)) {
1526 if ((z = (PyObject *)mpz_mpzcoerce(*pw)) == NULL)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001527 return -1; /* -1: an error always has been set */
1528
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001529 Py_INCREF(*pv);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001530 *pw = z;
1531 }
1532 else {
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001533#ifdef MPZ_CONVERSIONS_AS_METHODS
1534 if ((z = mpz_float((mpzobject *)(*pv), NULL)) == NULL)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001535 return -1;
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001536#else /* def MPZ_CONVERSIONS_AS_METHODS */
1537 if ((z = mpz_float((mpzobject *)(*pv))) == NULL)
1538 return -1;
1539#endif /* def MPZ_CONVERSIONS_AS_METHODS else */
Guido van Rossum5f59d601992-12-14 16:59:51 +00001540
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001541 Py_INCREF(*pw);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001542 *pv = z;
1543 }
1544 return 0; /* coercion succeeded */
1545
1546} /* mpz_coerce() */
1547
1548
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001549static PyObject *
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001550mpz_repr(PyObject *v)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001551{
1552 return mpz_format(v, 10, (unsigned char)1);
1553} /* mpz_repr() */
1554
1555
1556
Guido van Rossumb6775db1994-08-01 11:34:53 +00001557#define UF (unaryfunc)
1558#define BF (binaryfunc)
Guido van Rossum3bbc62e1995-01-02 19:30:30 +00001559#define TF (ternaryfunc)
Guido van Rossumb6775db1994-08-01 11:34:53 +00001560#define IF (inquiry)
1561#define CF (coercion)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001562
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001563static PyNumberMethods mpz_as_number = {
Guido van Rossum5f59d601992-12-14 16:59:51 +00001564 BF mpz_addition, /*nb_add*/
1565 BF mpz_substract, /*nb_subtract*/
1566 BF mpz_multiply, /*nb_multiply*/
1567 BF mpz_divide, /*nb_divide*/
1568 BF mpz_remainder, /*nb_remainder*/
1569 BF mpz_div_and_mod, /*nb_divmod*/
Guido van Rossum3bbc62e1995-01-02 19:30:30 +00001570 TF mpz_power, /*nb_power*/
Guido van Rossum5f59d601992-12-14 16:59:51 +00001571 UF mpz_negative, /*nb_negative*/
1572 UF mpz_positive, /*tp_positive*/
1573 UF mpz_absolute, /*tp_absolute*/
1574 IF mpz_nonzero, /*tp_nonzero*/
Guido van Rossum272841c1996-08-19 23:06:45 +00001575 UF py_mpz_invert, /*nb_invert*/
Guido van Rossum5f59d601992-12-14 16:59:51 +00001576 BF mpz_lshift, /*nb_lshift*/
1577 BF mpz_rshift, /*nb_rshift*/
1578 BF mpz_andfunc, /*nb_and*/
1579 BF mpz_xorfunc, /*nb_xor*/
1580 BF mpz_orfunc, /*nb_or*/
Guido van Rossumb6775db1994-08-01 11:34:53 +00001581 CF mpz_coerce, /*nb_coerce*/
Guido van Rossum5f59d601992-12-14 16:59:51 +00001582#ifndef MPZ_CONVERSIONS_AS_METHODS
1583 UF mpz_int, /*nb_int*/
1584 UF mpz_long, /*nb_long*/
1585 UF mpz_float, /*nb_float*/
1586 UF mpz_oct, /*nb_oct*/
1587 UF mpz_hex, /*nb_hex*/
1588#endif /* ndef MPZ_CONVERSIONS_AS_METHODS */
1589};
1590
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001591static PyTypeObject MPZtype = {
Andrew M. Kuchling22aa6442001-02-06 22:33:45 +00001592 PyObject_HEAD_INIT(NULL)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001593 0, /*ob_size*/
1594 "mpz", /*tp_name*/
1595 sizeof(mpzobject), /*tp_size*/
1596 0, /*tp_itemsize*/
1597 /* methods */
Guido van Rossumb6775db1994-08-01 11:34:53 +00001598 (destructor)mpz_dealloc, /*tp_dealloc*/
1599 0, /*tp_print*/
1600 (getattrfunc)mpz_getattr, /*tp_getattr*/
1601 0, /*tp_setattr*/
1602 (cmpfunc)mpz_compare, /*tp_compare*/
1603 (reprfunc)mpz_repr, /*tp_repr*/
1604 &mpz_as_number, /*tp_as_number*/
Guido van Rossum5f59d601992-12-14 16:59:51 +00001605};
1606
1607/* List of functions exported by this module */
1608
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001609static PyMethodDef mpz_functions[] = {
Guido van Rossum5f59d601992-12-14 16:59:51 +00001610#if 0
1611 {initialiser_name, MPZ_mpz},
1612#else /* 0 */
Barry Warsawabb7efe1996-12-09 23:22:35 +00001613 /* until guido ``fixes'' struct PyMethodDef */
Guido van Rossum5f59d601992-12-14 16:59:51 +00001614 {(char *)initialiser_name, MPZ_mpz},
1615#endif /* 0 else */
1616 {"powm", MPZ_powm},
1617 {"gcd", MPZ_gcd},
1618 {"gcdext", MPZ_gcdext},
1619 {"sqrt", MPZ_sqrt},
1620 {"sqrtrem", MPZ_sqrtrem},
1621 {"divm", MPZ_divm},
1622 {NULL, NULL} /* Sentinel */
1623};
1624
1625
1626/* #define MP_TEST_ALLOC */
1627
1628#ifdef MP_TEST_ALLOC
1629#define MP_TEST_SIZE 4
1630static const char mp_test_magic[MP_TEST_SIZE] = {'\xAA','\xAA','\xAA','\xAA'};
Thomas Woutersf3f33dc2000-07-21 06:00:07 +00001631static mp_test_error(int *location)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001632{
Thomas Wouters7e474022000-07-16 12:04:32 +00001633 /* assumptions: *alloc returns address divisible by 4,
1634 mpz_* routines allocate in chunks divisible by four */
Guido van Rossum5f59d601992-12-14 16:59:51 +00001635 fprintf(stderr, "MP_TEST_ERROR: location holds 0x%08d\n", *location );
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001636 Py_FatalError("MP_TEST_ERROR");
Guido van Rossum5f59d601992-12-14 16:59:51 +00001637} /* static mp_test_error() */
1638#define MP_EXTRA_ALLOC(size) ((size) + MP_TEST_SIZE)
1639#define MP_SET_TEST(basep,size) (void)memcpy( ((char *)(basep))+(size), mp_test_magic, MP_TEST_SIZE)
1640#define MP_DO_TEST(basep,size) if ( !memcmp( ((char *)(basep))+(size), mp_test_magic, MP_TEST_SIZE ) ) \
1641 ; \
1642 else \
1643 mp_test_error((int *)((char *)(basep) + size))
1644#else /* def MP_TEST_ALLOC */
1645#define MP_EXTRA_ALLOC(size) (size)
1646#define MP_SET_TEST(basep,size)
1647#define MP_DO_TEST(basep,size)
1648#endif /* def MP_TEST_ALLOC else */
1649
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001650void *mp_allocate(size_t alloc_size)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001651{
1652 void *res;
1653
1654#ifdef MPZ_DEBUG
1655 fprintf(stderr, "mp_allocate : size %ld\n",
1656 alloc_size);
1657#endif /* def MPZ_DEBUG */
1658
1659 if ( (res = malloc(MP_EXTRA_ALLOC(alloc_size))) == NULL )
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001660 Py_FatalError("mp_allocate failure");
Guido van Rossum5f59d601992-12-14 16:59:51 +00001661
1662#ifdef MPZ_DEBUG
Fred Drakea44d3532000-06-30 15:01:00 +00001663 fprintf(stderr, "mp_allocate : address %08p\n", res);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001664#endif /* def MPZ_DEBUG */
1665
1666 MP_SET_TEST(res,alloc_size);
1667
1668 return res;
1669} /* mp_allocate() */
1670
1671
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001672void *mp_reallocate(void *ptr, size_t old_size, size_t new_size)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001673{
1674 void *res;
1675
1676#ifdef MPZ_DEBUG
Fred Drakea44d3532000-06-30 15:01:00 +00001677 fprintf(stderr, "mp_reallocate: old address %08p, old size %ld\n",
Guido van Rossum5f59d601992-12-14 16:59:51 +00001678 ptr, old_size);
1679#endif /* def MPZ_DEBUG */
1680
1681 MP_DO_TEST(ptr, old_size);
1682
1683 if ( (res = realloc(ptr, MP_EXTRA_ALLOC(new_size))) == NULL )
Barry Warsaw3bdf7461996-12-09 23:16:31 +00001684 Py_FatalError("mp_reallocate failure");
Guido van Rossum5f59d601992-12-14 16:59:51 +00001685
1686#ifdef MPZ_DEBUG
Fred Drakea44d3532000-06-30 15:01:00 +00001687 fprintf(stderr, "mp_reallocate: new address %08p, new size %ld\n",
Guido van Rossum5f59d601992-12-14 16:59:51 +00001688 res, new_size);
1689#endif /* def MPZ_DEBUG */
1690
1691 MP_SET_TEST(res, new_size);
1692
1693 return res;
1694} /* mp_reallocate() */
1695
1696
Peter Schneider-Kamp36463662000-07-10 17:14:00 +00001697void mp_free(void *ptr, size_t size)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001698{
1699
1700#ifdef MPZ_DEBUG
Fred Drakea44d3532000-06-30 15:01:00 +00001701 fprintf(stderr, "mp_free : old address %08p, old size %ld\n",
Guido van Rossum5f59d601992-12-14 16:59:51 +00001702 ptr, size);
1703#endif /* def MPZ_DEBUG */
1704
1705 MP_DO_TEST(ptr, size);
1706 free(ptr);
1707} /* mp_free() */
1708
1709
1710
1711/* Initialize this module. */
1712
Guido van Rossum3886bb61998-12-04 18:50:17 +00001713DL_EXPORT(void)
Thomas Woutersf3f33dc2000-07-21 06:00:07 +00001714initmpz(void)
Guido van Rossum5f59d601992-12-14 16:59:51 +00001715{
Fred Drakefcc6c681998-04-03 15:33:43 +00001716 PyObject *module;
1717 PyObject *dict;
1718
Guido van Rossum5f59d601992-12-14 16:59:51 +00001719#ifdef MPZ_DEBUG
1720 fputs( "initmpz() called...\n", stderr );
1721#endif /* def MPZ_DEBUG */
1722
1723 mp_set_memory_functions( mp_allocate, mp_reallocate, mp_free );
Andrew M. Kuchling22aa6442001-02-06 22:33:45 +00001724 MPZtype.ob_type = &PyType_Type;
Fred Drakefcc6c681998-04-03 15:33:43 +00001725 module = Py_InitModule("mpz", mpz_functions);
Guido van Rossum5f59d601992-12-14 16:59:51 +00001726
1727 /* create some frequently used constants */
1728 if ((mpz_value_zero = newmpzobject()) == NULL)
Barry Warsaw9bfd2bf2000-09-01 09:01:32 +00001729 goto finally;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001730 mpz_set_ui(&mpz_value_zero->mpz, (unsigned long int)0);
1731
1732 if ((mpz_value_one = newmpzobject()) == NULL)
Barry Warsaw9bfd2bf2000-09-01 09:01:32 +00001733 goto finally;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001734 mpz_set_ui(&mpz_value_one->mpz, (unsigned long int)1);
1735
1736 if ((mpz_value_mone = newmpzobject()) == NULL)
Barry Warsaw9bfd2bf2000-09-01 09:01:32 +00001737 goto finally;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001738 mpz_set_si(&mpz_value_mone->mpz, (long)-1);
1739
Fred Drakefcc6c681998-04-03 15:33:43 +00001740 dict = PyModule_GetDict(module);
1741 if (dict != NULL) {
1742 PyDict_SetItemString(dict, "MPZType", (PyObject*)&MPZtype);
1743 }
Barry Warsaw9bfd2bf2000-09-01 09:01:32 +00001744 finally:
1745 return;
Guido van Rossum5f59d601992-12-14 16:59:51 +00001746} /* initmpz() */
Barry Warsaw9bfd2bf2000-09-01 09:01:32 +00001747
Guido van Rossum5f59d601992-12-14 16:59:51 +00001748#ifdef MAKEDUMMYINT
1749int _mpz_dummy_int; /* XXX otherwise, we're .bss-less (DYNLOAD->Jack?) */
1750#endif /* def MAKEDUMMYINT */