5 * Multiprecision arithmetic
7 * (c) 2004 Straylight/Edgeware
10 /*----- Licensing notice --------------------------------------------------*
12 * This file is part of the Python interface to Catacomb.
14 * Catacomb/Python is free software; you can redistribute it and/or modify
15 * it under the terms of the GNU General Public License as published by
16 * the Free Software Foundation; either version 2 of the License, or
17 * (at your option) any later version.
19 * Catacomb/Python is distributed in the hope that it will be useful,
20 * but WITHOUT ANY WARRANTY; without even the implied warranty of
21 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
22 * GNU General Public License for more details.
24 * You should have received a copy of the GNU General Public License
25 * along with Catacomb/Python; if not, write to the Free Software Foundation,
26 * Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
29 /*----- Header files ------------------------------------------------------*/
31 #include "catacomb-python.h"
33 /*----- General utilities -------------------------------------------------*/
35 PyTypeObject
*mp_pytype
= 0;
36 PyTypeObject
*gf_pytype
= 0;
38 mp
*mp_frompylong(PyObject
*obj
)
41 PyLongObject
*l
= (PyLongObject
*)obj
;
52 assert(MPW_BITS
>= SHIFT
);
53 bits
= (unsigned long)sz
* SHIFT
;
54 w
= (bits
+ MPW_BITS
- 1)/MPW_BITS
;
55 x
= mp_new(w
, l
->ob_size
< 0 ? MP_NEG
: 0);
57 for (i
= 0; i
< sz
; i
++) {
58 r
|= (mpd
)l
->ob_digit
[i
] << b
;
60 while (b
>= MPW_BITS
) {
75 PyObject
*mp_topylong(mp
*x
)
77 unsigned long bits
= mp_bits(x
);
78 int sz
= (bits
+ SHIFT
- 1)/SHIFT
;
79 PyLongObject
*l
= _PyLong_New(sz
);
85 assert(MPW_BITS
>= SHIFT
);
86 while (i
< sz
&& p
< x
->vl
) {
89 while (i
< sz
&& b
>= SHIFT
) {
90 l
->ob_digit
[i
++] = r
& MASK
;
96 l
->ob_digit
[i
++] = r
& MASK
;
99 l
->ob_size
= (x
->f
& MP_NEG
) ?
-sz
: sz
;
100 return ((PyObject
*)l
);
103 mp
*mp_frompyobject(PyObject
*o
, int radix
)
107 if (PyString_Check(o
)) {
110 sc
.buf
= PyString_AS_STRING(o
);
111 sc
.lim
= sc
.buf
+ PyString_GET_SIZE(o
);
112 x
= mp_read(MP_NEW
, radix
, &mptext_stringops
, &sc
);
114 if (sc
.buf
< sc
.lim
) { MP_DROP(x
); return (0); }
117 if ((x
= tomp(o
)) != 0)
122 PyObject
*mp_topystring(mp
*x
, int radix
, const char *xpre
,
123 const char *pre
, const char *post
)
125 int len
= mptext_len(x
, radix
) + 1;
128 size_t xprelen
= xpre ?
strlen(xpre
) : 0;
129 size_t prelen
= pre ?
strlen(pre
) : 0;
130 size_t postlen
= post ?
strlen(post
) : 0;
133 o
= PyString_FromStringAndSize(0, len
+ 1 + xprelen
+ prelen
+ postlen
);
134 p
= PyString_AS_STRING(o
);
136 if (xpre
) { memcpy(sc
.buf
, xpre
, xprelen
); sc
.buf
+= xprelen
; }
137 if (MP_NEGP(x
)) { *sc
.buf
++ = '-'; x
= mp_neg(x
, x
); }
138 if (pre
) { memcpy(sc
.buf
, pre
, prelen
); sc
.buf
+= prelen
; }
139 sc
.lim
= sc
.buf
+ len
;
140 mp_write(x
, radix
, &mptext_stringops
, &sc
);
141 if (post
) { memcpy(sc
.buf
, post
, postlen
); sc
.buf
+= postlen
; }
143 _PyString_Resize(&o
, sc
.buf
- p
);
147 static int good_radix_p(int r
, int readp
)
149 return ((r
>= -255 && r
<= -2) ||
151 (r
>= 2 && r
<= 62));
154 PyObject
*mp_pywrap(mp
*x
)
156 mp_pyobj
*z
= PyObject_New(mp_pyobj
, mp_pytype
);
158 return ((PyObject
*)z
);
161 PyObject
*gf_pywrap(mp
*x
)
163 mp_pyobj
*z
= PyObject_New(mp_pyobj
, gf_pytype
);
165 return ((PyObject
*)z
);
168 int mp_tolong_checked(mp
*x
, long *l
)
170 static mp
*longmin
= 0, *longmax
= 0;
174 longmin
= mp_fromlong(MP_NEW
, LONG_MIN
);
175 longmax
= mp_fromlong(MP_NEW
, LONG_MAX
);
177 if (MP_CMP(x
, <, longmin
) || MP_CMP(x
, >, longmax
))
178 VALERR("mp out of range for int");
185 /*----- Python interface --------------------------------------------------*/
187 static void mp_pydealloc(PyObject
*o
)
193 static PyObject
*mp_pyrepr(PyObject
*o
)
194 { return mp_topystring(MP_X(o
), 10, "MP(", 0, "L)"); }
196 static PyObject
*mp_pystr(PyObject
*o
)
197 { return mp_topystring(MP_X(o
), 10, 0, 0, 0); }
199 mp
*tomp(PyObject
*o
)
206 else if (MP_PYCHECK(o
) || GF_PYCHECK(o
))
207 return (MP_COPY(MP_X(o
)));
208 else if (FE_PYCHECK(o
))
209 return (F_OUT(FE_F(o
), MP_NEW
, FE_X(o
)));
210 else if (PFILT_PYCHECK(o
))
211 return (MP_COPY(PFILT_F(o
)->m
));
212 else if (ECPT_PYCHECK(o
)) {
218 } else if (GE_PYCHECK(o
)) {
219 if ((x
= G_TOINT(GE_G(o
), MP_NEW
, GE_X(o
))) == 0)
222 } else if (PyInt_Check(o
))
223 return (mp_fromlong(MP_NEW
, PyInt_AS_LONG(o
)));
224 else if ((l
= PyNumber_Long(o
)) != 0) {
225 x
= mp_frompylong(l
);
234 mp
*getmp(PyObject
*o
)
238 if ((x
= tomp(o
)) == 0) {
239 PyErr_Format(PyExc_TypeError
, "can't convert %.100s to mp",
240 o
->ob_type
->tp_name
);
245 int convmp(PyObject
*o
, void *p
)
248 if ((x
= getmp(o
)) == 0) return (0);
253 mp
*getgf(PyObject
*o
)
257 if ((x
= tomp(o
)) == 0) {
258 PyErr_Format(PyExc_TypeError
, "can't convert %.100s to gf",
259 o
->ob_type
->tp_name
);
264 int convgf(PyObject
*o
, void *p
)
267 if ((x
= getgf(o
)) == 0) return (0);
272 static mp
*implicitmp(PyObject
*o
)
283 static mp
*implicitgf(PyObject
*o
)
294 static int mpbinop(PyObject
*x
, PyObject
*y
, mp
**xx
, mp
**yy
)
296 if ((*xx
= implicitmp(x
)) == 0)
298 if ((*yy
= implicitmp(y
)) == 0) {
305 static int gfbinop(PyObject
*x
, PyObject
*y
, mp
**xx
, mp
**yy
)
307 if ((*xx
= implicitgf(x
)) == 0)
309 if ((*yy
= implicitgf(y
)) == 0) {
316 #define gf_and mp_and
318 #define gf_xor mp_xor
319 #define BINOP(pre, name) \
320 static PyObject *pre##_py##name(PyObject *x, PyObject *y) { \
322 if (pre##binop(x, y, &xx, &yy)) RETURN_NOTIMPL; \
323 zz = pre##_##name(MP_NEW, xx, yy); \
324 MP_DROP(xx); MP_DROP(yy); \
325 return (pre##_pywrap(zz)); \
341 static mp
*mp_abs(mp
*d
, mp
*x
)
344 return (mp_neg(d
, x
));
350 #define UNOP(pre, name) \
351 static PyObject *pre##_py##name(PyObject *x) \
352 { return mp_pywrap(pre##_##name(MP_NEW, MP_X(x))); }
358 static PyObject
*mp_pyid(PyObject
*x
) { RETURN_OBJ(x
); }
360 #define gf_lsr mp_lsr
361 #define SHIFTOP(pre, name, rname) \
362 static PyObject *pre##_py##name(PyObject *x, PyObject *y) { \
366 if (pre##binop(x, y, &xx, &yy)) RETURN_NOTIMPL; \
367 if (mp_tolong_checked(yy, &n)) goto end; \
369 z = pre##_pywrap(mp_##rname(MP_NEW, xx, -n)); \
371 z = pre##_pywrap(mp_##name(MP_NEW, xx, n)); \
373 MP_DROP(xx); MP_DROP(yy); \
376 SHIFTOP(mp
, lsl2c
, lsr2c
)
377 SHIFTOP(mp
, lsr2c
, lsl2c
)
378 SHIFTOP(gf
, lsl
, lsr
)
379 SHIFTOP(gf
, lsr
, lsl
)
382 #define DIVOP(pre, name, qq, rr, gather) \
383 static PyObject *pre##_py##name(PyObject *x, PyObject *y) { \
386 INIT_##qq(q) INIT_##rr(r) \
387 if (pre##binop(x, y, &xx, &yy)) RETURN_NOTIMPL; \
389 ZDIVERR("division by zero"); \
390 pre##_div(ARG_##qq(q), ARG_##rr(r), xx, yy); \
393 MP_DROP(xx); MP_DROP(yy); \
396 #define INIT_YES(p) mp *p = MP_NEW;
398 #define ARG_YES(p) &p
400 DIVOP(mp
, divmod
, YES
, YES
,
401 Py_BuildValue("(NN)", mp_pywrap(q
), mp_pywrap(r
)))
402 DIVOP(mp
, div
, YES
, NO
, mp_pywrap(q
))
403 DIVOP(mp
, mod
, NO
, YES
, mp_pywrap(r
))
404 DIVOP(gf
, divmod
, YES
, YES
,
405 Py_BuildValue("(NN)", gf_pywrap(q
), gf_pywrap(r
)))
406 DIVOP(gf
, div
, YES
, NO
, gf_pywrap(q
))
407 DIVOP(gf
, mod
, NO
, YES
, gf_pywrap(r
))
414 static mp
*mp_modinv_checked(mp
*d
, mp
*x
, mp
*p
)
417 mp_gcd(&g
, 0, &d
, p
, x
);
418 if (!MP_EQ(g
, MP_ONE
)) {
419 MP_DROP(g
); MP_DROP(d
);
420 PyErr_SetString(PyExc_ZeroDivisionError
, "no modular inverse");
423 MP_DROP(g
); return (d
);
426 static PyObject
*mp_pyexp(PyObject
*x
, PyObject
*y
, PyObject
*z
)
428 mp
*xx
= 0, *yy
= 0, *zz
= 0;
432 if ((xx
= implicitmp(x
)) == 0 || (yy
= implicitmp(y
)) == 0 ||
433 (z
&& z
!= Py_None
&& (zz
= tomp(z
)) == 0)) {
434 mp_drop(xx
); mp_drop(yy
); mp_drop(zz
);
437 if (!z
|| z
== Py_None
) {
438 if (MP_NEGP(yy
)) VALERR("negative exponent");
439 r
= mp_exp(MP_NEW
, xx
, yy
);
441 if (!MP_POSP(zz
)) VALERR("modulus must be positive");
443 if ((xx
= mp_modinv_checked(xx
, xx
, zz
)) == 0) goto end
;
448 mpmont_create(&mm
, zz
);
449 r
= mpmont_exp(&mm
, MP_NEW
, xx
, yy
);
453 mpbarrett_create(&mb
, zz
);
454 r
= mpbarrett_exp(&mb
, MP_NEW
, xx
, yy
);
455 mpbarrett_destroy(&mb
);
460 mp_drop(xx
); mp_drop(yy
); mp_drop(zz
);
464 static mp
*gf_modinv_checked(mp
*d
, mp
*x
, mp
*p
)
467 gf_gcd(&g
, 0, &d
, p
, x
);
468 if (!MP_EQ(g
, MP_ONE
)) {
469 MP_DROP(g
); MP_DROP(d
);
470 PyErr_SetString(PyExc_ZeroDivisionError
, "no modular inverse");
473 MP_DROP(g
); return (d
);
476 #define BASEOP(name, radix, pre) \
477 static PyObject *mp_py##name(PyObject *x) \
478 { return mp_topystring(MP_X(x), radix, 0, pre, 0); }
480 BASEOP(hex
, 16, "0x");
483 static int mp_pynonzerop(PyObject
*x
) { return !MP_ZEROP(MP_X(x
)); }
485 static PyObject
*mp_pyint(PyObject
*x
)
488 if (mp_tolong_checked(MP_X(x
), &l
)) return (0);
489 return (PyInt_FromLong(l
));
491 static PyObject
*mp_pylong(PyObject
*x
)
492 { return (mp_topylong(MP_X(x
))); }
493 static PyObject
*mp_pyfloat(PyObject
*x
)
495 PyObject
*l
= mp_topylong(MP_X(x
));
496 double f
= PyLong_AsDouble(l
);
498 return (PyFloat_FromDouble(f
));
501 #define COERCE(pre, PRE) \
502 static int pre##_pycoerce(PyObject **x, PyObject **y) \
506 if (PRE##_PYCHECK(*y)) { \
507 Py_INCREF(*x); Py_INCREF(*y); \
510 if ((z = tomp(*y)) != 0) { \
512 *y = pre##_pywrap(z); \
521 static int mp_pycompare(PyObject
*x
, PyObject
*y
)
522 { return mp_cmp(MP_X(x
), MP_X(y
)); }
524 static PyObject
*mp_pynew(PyTypeObject
*ty
, PyObject
*arg
, PyObject
*kw
)
530 char *kwlist
[] = { "x", "radix", 0 };
532 if (!PyArg_ParseTupleAndKeywords(arg
, kw
, "O|i:new", kwlist
, &x
, &radix
))
534 if (MP_PYCHECK(x
)) RETURN_OBJ(x
);
535 if (!good_radix_p(radix
, 1)) VALERR("bad radix");
536 if ((z
= mp_frompyobject(x
, radix
)) == 0) {
537 PyErr_Format(PyExc_TypeError
, "can't convert %.100s to mp",
538 x
->ob_type
->tp_name
);
541 zz
= (mp_pyobj
*)ty
->tp_alloc(ty
, 0);
544 return ((PyObject
*)zz
);
547 static long mp_pyhash(PyObject
*me
)
550 PyObject
*l
= mp_topylong(MP_X(me
)); h
= PyObject_Hash(l
);
551 Py_DECREF(l
); return (h
);
554 static PyObject
*mpmeth_jacobi(PyObject
*me
, PyObject
*arg
)
559 if (!PyArg_ParseTuple(arg
, "O&:jacobi", convmp
, &y
)) goto end
;
560 z
= PyInt_FromLong(mp_jacobi(y
, MP_X(me
)));
566 #define BITOP(pre, name, c) \
567 static PyObject *pre##meth_##name(PyObject *me, PyObject *arg) \
570 if (!PyArg_ParseTuple(arg, "O&:" #name, convulong, &i)) return (0); \
571 return (pre##_pywrap(mp_##name##c(MP_NEW, MP_X(me), i))); \
573 BITOP(mp
, setbit
, 2c
);
574 BITOP(mp
, clearbit
, 2c
);
576 BITOP(gf
, clearbit
, );
579 static PyObject
*mpmeth_testbit(PyObject
*me
, PyObject
*arg
)
582 if (!PyArg_ParseTuple(arg
, "O&:testbit", convulong
, &i
)) return (0);
583 return (getbool(mp_testbit2c(MP_X(me
), i
)));
586 static PyObject
*gfmeth_testbit(PyObject
*me
, PyObject
*arg
)
589 if (!PyArg_ParseTuple(arg
, "O&:testbit", convulong
, &i
)) return (0);
590 return (getbool(mp_testbit(MP_X(me
), i
)));
593 static PyObject
*mpmeth_odd(PyObject
*me
, PyObject
*arg
)
598 if (!PyArg_ParseTuple(arg
, ":odd")) return (0);
599 t
= mp_odd(MP_NEW
, MP_X(me
), &s
);
600 return (Py_BuildValue("(lN)", (long)s
, mp_pywrap(t
)));
603 static PyObject
*mpmeth_sqr(PyObject
*me
, PyObject
*arg
)
605 if (!PyArg_ParseTuple(arg
, ":sqr")) return (0);
606 return (mp_pywrap(mp_sqr(MP_NEW
, MP_X(me
))));
609 static PyObject
*mpmeth_sqrt(PyObject
*me
, PyObject
*arg
)
611 if (!PyArg_ParseTuple(arg
, ":sqrt")) return (0);
612 if (MP_NEGP(MP_X(me
))) VALERR("negative root");
613 return (mp_pywrap(mp_sqrt(MP_NEW
, MP_X(me
))));
618 static PyObject
*mpmeth_gcd(PyObject
*me
, PyObject
*arg
)
620 mp
*y
= 0, *zz
= MP_NEW
;
623 if (!PyArg_ParseTuple(arg
, "O&:gcd", convmp
, &y
)) goto end
;
624 mp_gcd(&zz
, 0, 0, MP_X(me
), y
);
631 static PyObject
*mpmeth_gcdx(PyObject
*me
, PyObject
*arg
)
634 mp
*yy
= 0, *zz
= MP_NEW
, *uu
= MP_NEW
, *vv
= MP_NEW
;
636 if (!PyArg_ParseTuple(arg
, "O&:gcdx", convmp
, &yy
)) goto end
;
637 mp_gcd(&zz
, &uu
, &vv
, MP_X(me
), yy
);
638 z
= Py_BuildValue("(NNN)",
639 mp_pywrap(zz
), mp_pywrap(uu
), mp_pywrap(vv
));
645 static PyObject
*mpmeth_modinv(PyObject
*me
, PyObject
*arg
)
648 mp
*yy
= 0, *zz
= MP_NEW
;
650 if (!PyArg_ParseTuple(arg
, "O&:modinv", convmp
, &yy
) ||
651 (zz
= mp_modinv_checked(MP_NEW
, yy
, MP_X(me
))) == 0)
659 static PyObject
*mpmeth_tostring(PyObject
*me
, PyObject
*arg
, PyObject
*kw
)
662 char *kwlist
[] = { "radix", 0 };
663 if (!PyArg_ParseTupleAndKeywords(arg
, kw
, "|i:tostring", kwlist
, &radix
))
665 if (!good_radix_p(radix
, 0)) VALERR("bad radix");
666 return (mp_topystring(MP_X(me
), radix
, 0, 0, 0));
671 static PyObject
*mpmeth_modsqrt(PyObject
*me
, PyObject
*arg
)
674 mp
*yy
= 0, *zz
= MP_NEW
;
676 if (!PyArg_ParseTuple(arg
, "O&:modsqrt", convmp
, &yy
)) goto end
;
677 if ((zz
= mp_modsqrt(MP_NEW
, yy
, MP_X(me
))) == 0)
678 VALERR("no modular square root");
685 #define STOREOP(name, c) \
686 static PyObject *mpmeth_##name(PyObject *me, \
687 PyObject *arg, PyObject *kw) \
690 char *kwlist[] = { "len", 0 }; \
693 if (!PyArg_ParseTupleAndKeywords(arg, kw, "|l:" #name, \
697 len = mp_octets##c(MP_X(me)); \
700 rc = bytestring_pywrap(0, len); \
701 mp_##name(MP_X(me), PyString_AS_STRING(rc), len); \
707 STOREOP(storel2c
, 2c
)
708 STOREOP(storeb2c
, 2c
)
711 #define BUFOP(ty, pyty) \
712 static PyObject *meth__##pyty##_frombuf(PyObject *me, PyObject *arg) \
720 if (!PyArg_ParseTuple(arg, "Os#:frombuf", &me, &p, &sz)) goto end; \
721 buf_init(&b, p, sz); \
722 if ((x = buf_getmp(&b)) == 0) VALERR("malformed data"); \
723 rc = Py_BuildValue("(NN)", ty##_pywrap(x), \
724 bytestring_pywrapbuf(&b)); \
732 static PyObject
*mpmeth_tobuf(PyObject
*me
, PyObject
*arg
)
739 if (!PyArg_ParseTuple(arg
, ":tobuf")) return (0);
741 n
= mp_octets(x
) + 3;
742 rc
= bytestring_pywrap(0, n
);
743 buf_init(&b
, PyString_AS_STRING(rc
), n
);
746 _PyString_Resize(&rc
, BLEN(&b
));
750 static PyObject
*mpmeth_primep(PyObject
*me
, PyObject
*arg
, PyObject
*kw
)
752 grand
*r
= &rand_global
;
753 char *kwlist
[] = { "rng", 0 };
756 if (!PyArg_ParseTupleAndKeywords(arg
, kw
, "|O&", kwlist
, convgrand
, &r
))
758 rc
= getbool(pgen_primep(MP_X(me
), r
));
763 static PyObject
*mpget_nbits(PyObject
*me
, void *hunoz
)
764 { return (PyInt_FromLong(mp_bits(MP_X(me
)))); }
766 static PyObject
*mpget_noctets(PyObject
*me
, void *hunoz
)
767 { return (PyInt_FromLong(mp_octets(MP_X(me
)))); }
769 static PyObject
*mpget_noctets2c(PyObject
*me
, void *hunoz
)
770 { return (PyInt_FromLong(mp_octets2c(MP_X(me
)))); }
772 static PyGetSetDef mp_pygetset
[] = {
773 #define GETSETNAME(op, func) mp##op##_##func
774 GET (nbits
, "X.nbits -> bit length of X")
775 GET (noctets
, "X.noctets -> octet length of X")
776 GET (noctets2c
, "X.noctets2c -> two's complement octet length of X")
781 static PyMethodDef mp_pymethods
[] = {
782 #define METHNAME(func) mpmeth_##func
783 METH (jacobi
, "X.jacobi(Y) -> Jacobi symbol (Y/X) (NB inversion!)")
784 METH (setbit
, "X.setbit(N) -> X with bit N set")
785 METH (clearbit
, "X.clearbit(N) -> X with bit N clear")
786 METH (testbit
, "X.testbit(N) -> true/false if bit N set/clear in X")
787 METH (odd
, "X.odd() -> S, T where X = 2^S T with T odd")
788 METH (sqr
, "X.sqr() -> X^2")
789 METH (sqrt
, "X.sqrt() -> largest integer <= sqrt(X)")
790 METH (gcd
, "X.gcd(Y) -> gcd(X, Y)")
792 "X.gcdx(Y) -> (gcd(X, Y), U, V) with X U + Y V = gcd(X, Y)")
793 METH (modinv
, "X.modinv(Y) -> multiplicative inverse of Y mod X")
794 METH (modsqrt
, "X.modsqrt(Y) -> square root of Y mod X, if X prime")
795 KWMETH(primep
, "X.primep(rng = rand) -> true/false if X is prime")
796 KWMETH(tostring
, "X.tostring(radix = 10) -> STR")
797 KWMETH(storel
, "X.storel(len = -1) -> little-endian bytes")
798 KWMETH(storeb
, "X.storeb(len = -1) -> big-endian bytes")
800 "X.storel2c(len = -1) -> little-endian bytes, two's complement")
802 "X.storeb2c(len = -1) -> big-endian bytes, two's complement")
803 METH (tobuf
, "X.tobuf() -> buffer format")
808 static PyNumberMethods mp_pynumber
= {
809 mp_pyadd
, /* @nb_add@ */
810 mp_pysub
, /* @nb_subtract@ */
811 mp_pymul
, /* @nb_multiply@ */
813 mp_pymod
, /* @nb_remainder@ */
814 mp_pydivmod
, /* @nb_divmod@ */
815 mp_pyexp
, /* @nb_power@ */
816 mp_pyneg
, /* @nb_negative@ */
817 mp_pyid
, /* @nb_positive@ */
818 mp_pyabs
, /* @nb_absolute@ */
819 mp_pynonzerop
, /* @nb_nonzero@ */
820 mp_pynot2c
, /* @nb_invert@ */
821 mp_pylsl2c
, /* @nb_lshift@ */
822 mp_pylsr2c
, /* @nb_rshift@ */
823 mp_pyand2c
, /* @nb_and@ */
824 mp_pyxor2c
, /* @nb_xor@ */
825 mp_pyor2c
, /* @nb_or@ */
826 mp_pycoerce
, /* @nb_coerce@ */
827 mp_pyint
, /* @nb_int@ */
828 mp_pylong
, /* @nb_long@ */
829 mp_pyfloat
, /* @nb_float@ */
830 mp_pyoct
, /* @nb_oct@ */
831 mp_pyhex
, /* @nb_hex@ */
833 0, /* @nb_inplace_add@ */
834 0, /* @nb_inplace_subtract@ */
835 0, /* @nb_inplace_multiply@ */
836 0, /* @nb_inplace_divide@ */
837 0, /* @nb_inplace_remainder@ */
838 0, /* @nb_inplace_power@ */
839 0, /* @nb_inplace_lshift@ */
840 0, /* @nb_inplace_rshift@ */
841 0, /* @nb_inplace_and@ */
842 0, /* @nb_inplace_xor@ */
843 0, /* @nb_inplace_or@ */
845 mp_pydiv
, /* @nb_floor_divide@ */
846 0, /* @nb_true_divide@ */
847 0, /* @nb_inplace_floor_divide@ */
848 0, /* @nb_inplace_true_divide@ */
851 static PyTypeObject mp_pytype_skel
= {
852 PyObject_HEAD_INIT(0) 0, /* Header */
853 "catacomb.MP", /* @tp_name@ */
854 sizeof(mp_pyobj
), /* @tp_basicsize@ */
855 0, /* @tp_itemsize@ */
857 mp_pydealloc
, /* @tp_dealloc@ */
859 0, /* @tp_getattr@ */
860 0, /* @tp_setattr@ */
861 mp_pycompare
, /* @tp_compare@ */
862 mp_pyrepr
, /* @tp_repr@ */
863 &mp_pynumber
, /* @tp_as_number@ */
864 0, /* @tp_as_sequence@ */
865 0, /* @tp_as_mapping@ */
866 mp_pyhash
, /* @tp_hash@ */
868 mp_pystr
, /* @tp_str@ */
869 0, /* @tp_getattro@ */
870 0, /* @tp_setattro@ */
871 0, /* @tp_as_buffer@ */
872 Py_TPFLAGS_DEFAULT
| /* @tp_flags@ */
873 Py_TPFLAGS_CHECKTYPES
|
877 "Multiprecision integers, similar to `long' but more efficient and\n\
878 versatile. Support all the standard arithmetic operations.\n\
880 Constructor mp(X, radix = R) attempts to convert X to an `mp'. If\n\
881 X is a string, it's read in radix-R form, or we look for a prefix\n\
882 if R = 0. Other acceptable things are ints and longs.\n\
886 * Use `//' for division. MPs don't have `/' division.",
888 0, /* @tp_traverse@ */
890 0, /* @tp_richcompare@ */
891 0, /* @tp_weaklistoffset@ */
893 0, /* @tp_iternext@ */
894 mp_pymethods
, /* @tp_methods@ */
895 0, /* @tp_members@ */
896 mp_pygetset
, /* @tp_getset@ */
899 0, /* @tp_descr_get@ */
900 0, /* @tp_descr_set@ */
901 0, /* @tp_dictoffset@ */
903 PyType_GenericAlloc
, /* @tp_alloc@ */
904 mp_pynew
, /* @tp_new@ */
909 static PyObject
*meth__MP_fromstring(PyObject
*me
,
910 PyObject
*arg
, PyObject
*kw
)
918 char *kwlist
[] = { "class", "x", "radix", 0 };
920 if (!PyArg_ParseTupleAndKeywords(arg
, kw
, "Os#|i:fromstring",
921 kwlist
, &me
, &p
, &len
, &r
))
923 if (!good_radix_p(r
, 1)) VALERR("bad radix");
924 sc
.buf
= p
; sc
.lim
= p
+ len
;
925 if ((zz
= mp_read(MP_NEW
, r
, &mptext_stringops
, &sc
)) == 0)
926 SYNERR("bad integer");
927 z
= Py_BuildValue("(Ns#)", mp_pywrap(zz
), sc
.buf
, (int)(sc
.lim
- sc
.buf
));
932 #define LOADOP(pre, py, name) \
933 static PyObject *meth__##py##_##name(PyObject *me, PyObject *arg) \
937 if (!PyArg_ParseTuple(arg, "Os#:" #name, &me, &p, &len)) return (0); \
938 return (pre##_pywrap(mp_##name(MP_NEW, p, len))); \
940 LOADOP(mp
, MP
, loadl
)
941 LOADOP(mp
, MP
, loadb
)
942 LOADOP(mp
, MP
, loadl2c
)
943 LOADOP(mp
, MP
, loadb2c
)
944 LOADOP(gf
, GF
, loadl
)
945 LOADOP(gf
, GF
, loadb
)
948 /*----- Products of small integers ----------------------------------------*/
950 typedef struct mpmul_pyobj
{
956 #define MPMUL_LIVEP(o) (((mpmul_pyobj *)(o))->livep)
957 #define MPMUL_PY(o) (&((mpmul_pyobj *)(o))->mm)
959 static void mpmul_pydealloc(PyObject
*me
)
962 mp_drop(mpmul_done(MPMUL_PY(me
)));
966 static PyObject
*mmmeth_factor(PyObject
*me
, PyObject
*arg
)
971 if (!MPMUL_LIVEP(me
)) VALERR("MPMul object invalid");
972 if (PyTuple_Size(arg
) != 1)
973 i
= PyObject_GetIter(arg
);
975 if ((q
= PyTuple_GetItem(arg
, 0)) == 0) goto end
;
976 if ((i
= PyObject_GetIter(q
)) == 0) {
977 PyErr_Clear(); /* that's ok */
978 i
= PyObject_GetIter(arg
);
982 while ((q
= PyIter_Next(i
)) != 0) {
983 x
= getmp(q
); Py_DECREF(q
); if (!x
) {
987 mpmul_add(MPMUL_PY(me
), x
);
996 static PyObject
*mmmeth_done(PyObject
*me
, PyObject
*arg
)
1000 if (!PyArg_ParseTuple(arg
, ":done")) goto end
;
1001 if (!MPMUL_LIVEP(me
)) VALERR("MPMul object invalid");
1002 x
= mpmul_done(MPMUL_PY(me
));
1003 MPMUL_LIVEP(me
) = 0;
1004 return (mp_pywrap(x
));
1009 static PyObject
*mpmul_pynew(PyTypeObject
*ty
, PyObject
*arg
, PyObject
*kw
)
1013 if (kw
) TYERR("keyword arguments not allowed here");
1014 mm
= (mpmul_pyobj
*)ty
->tp_alloc(ty
, 0);
1015 mpmul_init(&mm
->mm
);
1017 if (mmmeth_factor((PyObject
*)mm
, arg
) == 0) {
1021 return ((PyObject
*)mm
);
1026 static PyObject
*mmget_livep(PyObject
*me
, void *hunoz
)
1027 { return (getbool(MPMUL_LIVEP(me
))); }
1029 static PyGetSetDef mpmul_pygetset
[] = {
1030 #define GETSETNAME(op, name) mm##op##_##name
1031 GET (livep
, "MM.livep -> flag: object still valid?")
1036 static PyMethodDef mpmul_pymethods
[] = {
1037 #define METHNAME(name) mmmeth_##name
1038 METH (factor
, "MM.factor(ITERABLE) or MM.factor(I, ...)")
1039 METH (done
, "MM.done() -> PRODUCT")
1044 static PyTypeObject
*mpmul_pytype
, mpmul_pytype_skel
= {
1045 PyObject_HEAD_INIT(0) 0, /* Header */
1046 "catacomb.MPMul", /* @tp_name@ */
1047 sizeof(mpmul_pyobj
), /* @tp_basicsize@ */
1048 0, /* @tp_itemsize@ */
1050 mpmul_pydealloc
, /* @tp_dealloc@ */
1052 0, /* @tp_getattr@ */
1053 0, /* @tp_setattr@ */
1054 0, /* @tp_compare@ */
1056 0, /* @tp_as_number@ */
1057 0, /* @tp_as_sequence@ */
1058 0, /* @tp_as_mapping@ */
1062 0, /* @tp_getattro@ */
1063 0, /* @tp_setattro@ */
1064 0, /* @tp_as_buffer@ */
1065 Py_TPFLAGS_DEFAULT
| /* @tp_flags@ */
1066 Py_TPFLAGS_BASETYPE
,
1069 "An object for multiplying many small integers.",
1071 0, /* @tp_traverse@ */
1073 0, /* @tp_richcompare@ */
1074 0, /* @tp_weaklistoffset@ */
1076 0, /* @tp_iternext@ */
1077 mpmul_pymethods
, /* @tp_methods@ */
1078 0, /* @tp_members@ */
1079 mpmul_pygetset
, /* @tp_getset@ */
1082 0, /* @tp_descr_get@ */
1083 0, /* @tp_descr_set@ */
1084 0, /* @tp_dictoffset@ */
1086 PyType_GenericAlloc
, /* @tp_alloc@ */
1087 mpmul_pynew
, /* @tp_new@ */
1092 /*----- Montgomery reduction ----------------------------------------------*/
1094 typedef struct mpmont_pyobj
{
1099 #define MPMONT_PY(o) (&((mpmont_pyobj *)(o))->mm)
1101 static PyObject
*mmmeth_int(PyObject
*me
, PyObject
*arg
)
1105 mpmont
*mm
= MPMONT_PY(me
);
1107 if (!PyArg_ParseTuple(arg
, "O&:in", convmp
, &yy
))
1109 mp_div(0, &yy
, yy
, mm
->m
);
1110 z
= mp_pywrap(mpmont_mul(mm
, MP_NEW
, yy
, mm
->r2
));
1112 if (yy
) MP_DROP(yy
);
1116 static PyObject
*mmmeth_mul(PyObject
*me
, PyObject
*arg
)
1119 mp
*yy
= 0, *zz
= 0;
1121 if (!PyArg_ParseTuple(arg
, "O&O&:mul", convmp
, &yy
, convmp
, &zz
))
1123 rc
= mp_pywrap(mpmont_mul(MPMONT_PY(me
), MP_NEW
, yy
, zz
));
1125 if (yy
) MP_DROP(yy
); if (zz
) MP_DROP(zz
);
1129 static PyObject
*mmmeth_exp(PyObject
*me
, PyObject
*arg
)
1132 mp
*yy
= 0, *zz
= 0;
1134 if (!PyArg_ParseTuple(arg
, "O&O&:exp", convmp
, &yy
, convmp
, &zz
))
1137 if ((yy
= mp_modinv_checked(yy
, yy
, MPMONT_PY(me
)->m
)) == 0) goto end
;
1138 zz
= mp_neg(zz
, zz
);
1140 rc
= mp_pywrap(mpmont_exp(MPMONT_PY(me
), MP_NEW
, yy
, zz
));
1142 if (yy
) MP_DROP(yy
); if (zz
) MP_DROP(zz
);
1146 static PyObject
*mmmeth_expr(PyObject
*me
, PyObject
*arg
)
1149 mp
*yy
= 0, *zz
= 0;
1151 if (!PyArg_ParseTuple(arg
, "O&O&:expr", convmp
, &yy
, convmp
, &zz
))
1154 yy
= mpmont_reduce(MPMONT_PY(me
), yy
, yy
);
1155 if ((yy
= mp_modinv_checked(yy
, yy
, MPMONT_PY(me
)->m
)) == 0) goto end
;
1156 yy
= mpmont_mul(MPMONT_PY(me
), yy
, yy
, MPMONT_PY(me
)->r2
);
1157 zz
= mp_neg(zz
, zz
);
1159 rc
= mp_pywrap(mpmont_expr(MPMONT_PY(me
), MP_NEW
, yy
, zz
));
1161 if (yy
) MP_DROP(yy
); if (zz
) MP_DROP(zz
);
1165 static PyObject
*mm_mexpr_id(PyObject
*me
)
1166 { return mp_pywrap(MP_COPY(MPMONT_PY(me
)->r
)); }
1168 static int mm_mexpr_fill(void *p
, PyObject
*me
, PyObject
*x
, PyObject
*y
)
1170 mp
*xx
= 0, *yy
= 0;
1171 mp_expfactor
*f
= p
;
1172 mpmont
*mm
= MPMONT_PY(me
);
1174 if ((xx
= getmp(x
)) == 0 || (yy
= getmp(y
)) == 0)
1177 xx
= mpmont_reduce(mm
, xx
, xx
);
1178 if ((xx
= mp_modinv_checked(xx
, xx
, yy
)) == 0)
1180 xx
= mpmont_mul(mm
, xx
, xx
, mm
->r2
);
1181 yy
= mp_neg(yy
, yy
);
1188 mp_drop(xx
); mp_drop(yy
);
1192 static PyObject
*mm_mexpr(PyObject
*me
, void *v
, int n
)
1193 { return mp_pywrap(mpmont_mexpr(MPMONT_PY(me
), MP_NEW
, v
, n
)); }
1195 static void mp_mexp_drop(void *p
)
1197 mp_expfactor
*f
= p
;
1202 static PyObject
*mmmeth_mexpr(PyObject
*me
, PyObject
*arg
)
1204 return mexp_common(me
, arg
, sizeof(mp_expfactor
),
1205 mm_mexpr_id
, mm_mexpr_fill
, mm_mexpr
, mp_mexp_drop
);
1208 static PyObject
*mp_mexp_id(PyObject
*me
)
1209 { return mp_pywrap(MP_ONE
); }
1211 static int mp_mexp_fill(void *p
, PyObject
*me
, PyObject
*x
, PyObject
*y
)
1213 mp
*xx
= 0, *yy
= 0;
1214 mp_expfactor
*f
= p
;
1216 if ((xx
= getmp(x
)) == 0 || (yy
= getmp(y
)) == 0)
1219 if ((xx
= mp_modinv_checked(xx
, xx
, yy
)) == 0)
1221 yy
= mp_neg(yy
, yy
);
1228 mp_drop(xx
); mp_drop(yy
);
1232 static PyObject
*mm_mexp(PyObject
*me
, void *v
, int n
)
1233 { return mp_pywrap(mpmont_mexp(MPMONT_PY(me
), MP_NEW
, v
, n
)); }
1235 static PyObject
*mmmeth_mexp(PyObject
*me
, PyObject
*arg
)
1237 return mexp_common(me
, arg
, sizeof(mp_expfactor
),
1238 mp_mexp_id
, mp_mexp_fill
, mm_mexp
, mp_mexp_drop
);
1241 #define mmmeth_ext mmmeth_reduce
1242 static PyObject
*mmmeth_reduce(PyObject
*me
, PyObject
*arg
)
1247 if (!PyArg_ParseTuple(arg
, "O&", convmp
, &yy
)) goto end
;
1248 z
= mp_pywrap(mpmont_reduce(MPMONT_PY(me
), MP_NEW
, yy
));
1253 static void mpmont_pydealloc(PyObject
*me
)
1255 mpmont_destroy(MPMONT_PY(me
));
1259 static PyObject
*mpmont_pynew(PyTypeObject
*ty
, PyObject
*arg
, PyObject
*kw
)
1261 mpmont_pyobj
*mm
= 0;
1262 char *kwlist
[] = { "m", 0 };
1265 if (!PyArg_ParseTupleAndKeywords(arg
, kw
, "O&:new", kwlist
, convmp
, &xx
))
1267 if (!MP_POSP(xx
) || !MP_ODDP(xx
)) VALERR("m must be positive and odd");
1268 mm
= (mpmont_pyobj
*)ty
->tp_alloc(ty
, 0);
1269 mpmont_create(&mm
->mm
, xx
);
1271 if (xx
) MP_DROP(xx
);
1272 return ((PyObject
*)mm
);
1275 static PyObject
*mmget_m(PyObject
*me
, void *hunoz
)
1276 { return (mp_pywrap(MP_COPY(MPMONT_PY(me
)->m
))); }
1278 static PyObject
*mmget_r(PyObject
*me
, void *hunoz
)
1279 { return (mp_pywrap(MP_COPY(MPMONT_PY(me
)->r
))); }
1281 static PyObject
*mmget_r2(PyObject
*me
, void *hunoz
)
1282 { return (mp_pywrap(MP_COPY(MPMONT_PY(me
)->r2
))); }
1284 static PyGetSetDef mpmont_pygetset
[] = {
1285 #define GETSETNAME(op, name) mm##op##_##name
1286 GET (m
, "M.m -> modulus for reduction")
1287 GET (r
, "M.r -> multiplicative identity")
1288 GET (r2
, "M.r2 -> M.r^2, Montgomerization factor")
1293 static PyMethodDef mpmont_pymethods
[] = {
1294 #define METHNAME(name) mmmeth_##name
1295 METH (int, "M.out(X) -> XR")
1296 METH (mul
, "M.mul(XR, YR) -> ZR where Z = X Y")
1297 METH (expr
, "M.expr(XR, N) -> ZR where Z = X^N mod M.m")
1299 B.mexp([(XR0, N0), (XR1, N1), ...]) = ZR where Z = X0^N0 X1^N1 mod B.m\n\
1300 \t(the list may be flattened if this more convenient.)")
1301 METH (reduce
, "M.reduce(XR) -> X")
1302 METH (ext
, "M.ext(XR) -> X")
1303 METH (exp
, "M.exp(X, N) -> X^N mod M.m")
1305 B.mexp([(X0, N0), (X1, N1), ...]) = X0^N0 X1^N1 mod B.m\n\
1306 \t(the list may be flattened if this more convenient.)")
1311 static PyTypeObject
*mpmont_pytype
, mpmont_pytype_skel
= {
1312 PyObject_HEAD_INIT(0) 0, /* Header */
1313 "catacomb.MPMont", /* @tp_name@ */
1314 sizeof(mpmont_pyobj
), /* @tp_basicsize@ */
1315 0, /* @tp_itemsize@ */
1317 mpmont_pydealloc
, /* @tp_dealloc@ */
1319 0, /* @tp_getattr@ */
1320 0, /* @tp_setattr@ */
1321 0, /* @tp_compare@ */
1323 0, /* @tp_as_number@ */
1324 0, /* @tp_as_sequence@ */
1325 0, /* @tp_as_mapping@ */
1329 0, /* @tp_getattro@ */
1330 0, /* @tp_setattro@ */
1331 0, /* @tp_as_buffer@ */
1332 Py_TPFLAGS_DEFAULT
| /* @tp_flags@ */
1333 Py_TPFLAGS_BASETYPE
,
1336 "A Montgomery reduction context.",
1338 0, /* @tp_traverse@ */
1340 0, /* @tp_richcompare@ */
1341 0, /* @tp_weaklistoffset@ */
1343 0, /* @tp_iternext@ */
1344 mpmont_pymethods
, /* @tp_methods@ */
1345 0, /* @tp_members@ */
1346 mpmont_pygetset
, /* @tp_getset@ */
1349 0, /* @tp_descr_get@ */
1350 0, /* @tp_descr_set@ */
1351 0, /* @tp_dictoffset@ */
1353 PyType_GenericAlloc
, /* @tp_alloc@ */
1354 mpmont_pynew
, /* @tp_new@ */
1359 /*----- Barrett reduction -------------------------------------------------*/
1361 typedef struct mpbarrett_pyobj
{
1366 #define MPBARRETT_PY(o) (&((mpbarrett_pyobj *)(o))->mb)
1368 static PyObject
*mbmeth_exp(PyObject
*me
, PyObject
*arg
)
1371 mp
*yy
= 0, *zz
= 0;
1373 if (!PyArg_ParseTuple(arg
, "O&O&:exp", convmp
, &yy
, convmp
, &zz
))
1376 if ((yy
= mp_modinv_checked(yy
, yy
, MPBARRETT_PY(me
)->m
)) == 0) goto end
;
1377 zz
= mp_neg(zz
, zz
);
1379 rc
= mp_pywrap(mpbarrett_exp(MPBARRETT_PY(me
), MP_NEW
, yy
, zz
));
1381 if (yy
) MP_DROP(yy
); if (zz
) MP_DROP(zz
);
1385 static PyObject
*mb_mexp(PyObject
*me
, void *v
, int n
)
1386 { return mp_pywrap(mpbarrett_mexp(MPBARRETT_PY(me
), MP_NEW
, v
, n
)); }
1388 static PyObject
*mbmeth_mexp(PyObject
*me
, PyObject
*arg
)
1390 return mexp_common(me
, arg
, sizeof(mp_expfactor
),
1391 mp_mexp_id
, mp_mexp_fill
, mb_mexp
, mp_mexp_drop
);
1394 static PyObject
*mbmeth_reduce(PyObject
*me
, PyObject
*arg
)
1399 if (!PyArg_ParseTuple(arg
, "O&:reduce", convmp
, &yy
))
1401 z
= mp_pywrap(mpbarrett_reduce(MPBARRETT_PY(me
), MP_NEW
, yy
));
1406 static void mpbarrett_pydealloc(PyObject
*me
)
1408 mpbarrett_destroy(MPBARRETT_PY(me
));
1412 static PyObject
*mpbarrett_pynew(PyTypeObject
*ty
,
1413 PyObject
*arg
, PyObject
*kw
)
1415 mpbarrett_pyobj
*mb
= 0;
1416 char *kwlist
[] = { "m", 0 };
1419 if (!PyArg_ParseTupleAndKeywords(arg
, kw
, "O&:new", kwlist
, convmp
, &xx
))
1421 if (!MP_POSP(xx
)) VALERR("m must be positive");
1422 mb
= (mpbarrett_pyobj
*)ty
->tp_alloc(ty
, 0);
1423 mpbarrett_create(&mb
->mb
, xx
);
1425 if (xx
) MP_DROP(xx
);
1426 return ((PyObject
*)mb
);
1429 static PyObject
*mbget_m(PyObject
*me
, void *hunoz
)
1430 { return (mp_pywrap(MP_COPY(MPBARRETT_PY(me
)->m
))); }
1432 static PyGetSetDef mpbarrett_pygetset
[] = {
1433 #define GETSETNAME(op, name) mb##op##_##name
1434 GET (m
, "B.m -> modulus for reduction")
1439 static PyMethodDef mpbarrett_pymethods
[] = {
1440 #define METHNAME(name) mbmeth_##name
1441 METH (reduce
, "B.reduce(X) -> X mod B.m")
1442 METH (exp
, "B.exp(X, N) -> X^N mod B.m")
1444 B.mexp([(X0, N0), (X1, N1), ...]) = X0^N0 X1^N1 mod B.m\n\
1445 \t(the list may be flattened if this more convenient.)")
1450 static PyTypeObject
*mpbarrett_pytype
, mpbarrett_pytype_skel
= {
1451 PyObject_HEAD_INIT(0) 0, /* Header */
1452 "catacomb.MPBarrett", /* @tp_name@ */
1453 sizeof(mpbarrett_pyobj
), /* @tp_basicsize@ */
1454 0, /* @tp_itemsize@ */
1456 mpbarrett_pydealloc
, /* @tp_dealloc@ */
1458 0, /* @tp_getattr@ */
1459 0, /* @tp_setattr@ */
1460 0, /* @tp_compare@ */
1462 0, /* @tp_as_number@ */
1463 0, /* @tp_as_sequence@ */
1464 0, /* @tp_as_mapping@ */
1468 0, /* @tp_getattro@ */
1469 0, /* @tp_setattro@ */
1470 0, /* @tp_as_buffer@ */
1471 Py_TPFLAGS_DEFAULT
| /* @tp_flags@ */
1472 Py_TPFLAGS_BASETYPE
,
1475 "A Barrett reduction context.",
1477 0, /* @tp_traverse@ */
1479 0, /* @tp_richcompare@ */
1480 0, /* @tp_weaklistoffset@ */
1482 0, /* @tp_iternext@ */
1483 mpbarrett_pymethods
, /* @tp_methods@ */
1484 0, /* @tp_members@ */
1485 mpbarrett_pygetset
, /* @tp_getset@ */
1488 0, /* @tp_descr_get@ */
1489 0, /* @tp_descr_set@ */
1490 0, /* @tp_dictoffset@ */
1492 PyType_GenericAlloc
, /* @tp_alloc@ */
1493 mpbarrett_pynew
, /* @tp_new@ */
1498 /*----- Nice prime reduction ----------------------------------------------*/
1500 typedef struct mpreduce_pyobj
{
1505 #define MPREDUCE_PY(o) (&((mpreduce_pyobj *)(o))->mr)
1507 static PyObject
*mrmeth_exp(PyObject
*me
, PyObject
*arg
)
1510 mp
*yy
= 0, *zz
= 0;
1512 if (!PyArg_ParseTuple(arg
, "O&O&:exp", convmp
, &yy
, convmp
, &zz
))
1515 if ((yy
= mp_modinv_checked(yy
, yy
, MPREDUCE_PY(me
)->p
)) == 0) goto end
;
1516 zz
= mp_neg(zz
, zz
);
1518 rc
= mp_pywrap(mpreduce_exp(MPREDUCE_PY(me
), MP_NEW
, yy
, zz
));
1520 if (yy
) MP_DROP(yy
); if (zz
) MP_DROP(zz
);
1524 static PyObject
*mrmeth_reduce(PyObject
*me
, PyObject
*arg
)
1529 if (!PyArg_ParseTuple(arg
, "O&:reduce", convmp
, &yy
)) goto end
;
1530 z
= mp_pywrap(mpreduce_do(MPREDUCE_PY(me
), MP_NEW
, yy
));
1535 static void mpreduce_pydealloc(PyObject
*me
)
1537 mpreduce_destroy(MPREDUCE_PY(me
));
1541 static PyObject
*mpreduce_pynew(PyTypeObject
*ty
,
1542 PyObject
*arg
, PyObject
*kw
)
1544 mpreduce_pyobj
*mr
= 0;
1546 char *kwlist
[] = { "m", 0 };
1549 if (!PyArg_ParseTupleAndKeywords(arg
, kw
, "O&:new", kwlist
, convmp
, &xx
))
1551 if (!MP_POSP(xx
)) VALERR("m must be positive");
1552 if (mpreduce_create(&r
, xx
)) VALERR("bad modulus (must be 2^k - ...)");
1553 mr
= (mpreduce_pyobj
*)ty
->tp_alloc(ty
, 0);
1556 if (xx
) MP_DROP(xx
);
1557 return ((PyObject
*)mr
);
1560 static PyObject
*mrget_m(PyObject
*me
, void *hunoz
)
1561 { return (mp_pywrap(MP_COPY(MPREDUCE_PY(me
)->p
))); }
1563 static PyGetSetDef mpreduce_pygetset
[] = {
1564 #define GETSETNAME(op, name) mr##op##_##name
1565 GET (m
, "R.m -> modulus for reduction")
1570 static PyMethodDef mpreduce_pymethods
[] = {
1571 #define METHNAME(name) mrmeth_##name
1572 METH (reduce
, "R.reduce(X) -> X mod B.m")
1573 METH (exp
, "R.exp(X, N) -> X^N mod B.m")
1578 static PyTypeObject
*mpreduce_pytype
, mpreduce_pytype_skel
= {
1579 PyObject_HEAD_INIT(0) 0, /* Header */
1580 "catacomb.MPReduce", /* @tp_name@ */
1581 sizeof(mpreduce_pyobj
), /* @tp_basicsize@ */
1582 0, /* @tp_itemsize@ */
1584 mpreduce_pydealloc
, /* @tp_dealloc@ */
1586 0, /* @tp_getattr@ */
1587 0, /* @tp_setattr@ */
1588 0, /* @tp_compare@ */
1590 0, /* @tp_as_number@ */
1591 0, /* @tp_as_sequence@ */
1592 0, /* @tp_as_mapping@ */
1596 0, /* @tp_getattro@ */
1597 0, /* @tp_setattro@ */
1598 0, /* @tp_as_buffer@ */
1599 Py_TPFLAGS_DEFAULT
| /* @tp_flags@ */
1600 Py_TPFLAGS_BASETYPE
,
1603 "A reduction context for reduction modulo primes of special form.",
1605 0, /* @tp_traverse@ */
1607 0, /* @tp_richcompare@ */
1608 0, /* @tp_weaklistoffset@ */
1610 0, /* @tp_iternext@ */
1611 mpreduce_pymethods
, /* @tp_methods@ */
1612 0, /* @tp_members@ */
1613 mpreduce_pygetset
, /* @tp_getset@ */
1616 0, /* @tp_descr_get@ */
1617 0, /* @tp_descr_set@ */
1618 0, /* @tp_dictoffset@ */
1620 PyType_GenericAlloc
, /* @tp_alloc@ */
1621 mpreduce_pynew
, /* @tp_new@ */
1626 /*----- Chinese Remainder Theorem solution --------------------------------*/
1628 typedef struct mpcrt_pyobj
{
1633 #define MPCRT_PY(o) (&((mpcrt_pyobj *)(o))->c)
1635 static PyObject
*mcmeth_solve(PyObject
*me
, PyObject
*arg
)
1637 mpcrt
*c
= MPCRT_PY(me
);
1638 PyObject
*q
= 0, *x
, *z
= 0;
1641 int i
= 0, n
= c
->k
;
1644 if (PyTuple_Size(arg
) == n
)
1646 else if (!PyArg_ParseTuple(arg
, "O:solve", &q
))
1649 if (!PySequence_Check(q
)) TYERR("want a sequence of residues");
1650 if (PySequence_Size(q
) != n
) VALERR("residue count mismatch");
1651 v
= xmalloc(n
* sizeof(*v
));
1652 for (i
= 0; i
< n
; i
++) {
1653 if ((x
= PySequence_GetItem(q
, i
)) == 0) goto end
;
1654 xx
= getmp(x
); Py_DECREF(x
); if (!xx
) goto end
;
1657 z
= mp_pywrap(mpcrt_solve(c
, MP_NEW
, v
));
1661 for (i
= 0; i
< n
; i
++)
1670 static void mpcrt_pydealloc(PyObject
*me
)
1672 mpcrt
*c
= MPCRT_PY(me
);
1677 static PyObject
*mpcrt_pynew(PyTypeObject
*ty
, PyObject
*arg
, PyObject
*kw
)
1681 char *kwlist
[] = { "mv", 0 };
1682 PyObject
*q
= 0, *x
;
1686 if (PyTuple_Size(arg
) > 1)
1688 else if (!PyArg_ParseTupleAndKeywords(arg
, kw
, "O:new", kwlist
, &q
))
1691 if (!PySequence_Check(q
)) TYERR("want a sequence of moduli");
1692 n
= PySequence_Size(q
);
1693 if (PyErr_Occurred()) goto end
;
1694 if (!n
) VALERR("want at least one modulus");
1695 v
= xmalloc(n
* sizeof(*v
));
1696 for (i
= 0; i
< n
; i
++) {
1697 if ((x
= PySequence_GetItem(q
, i
)) == 0) goto end
;
1698 xx
= getmp(x
); Py_DECREF(x
); if (!xx
) goto end
;
1699 v
[i
].m
= xx
; v
[i
].n
= 0; v
[i
].ni
= 0; v
[i
].nni
= 0;
1701 c
= (mpcrt_pyobj
*)ty
->tp_alloc(ty
, 0);
1702 mpcrt_create(&c
->c
, v
, n
, 0);
1704 return ((PyObject
*)c
);
1709 for (i
= 0; i
< n
; i
++)
1717 static PyObject
*mcget_product(PyObject
*me
, void *hunoz
)
1718 { return (mp_pywrap(MP_COPY(MPCRT_PY(me
)->mb
.m
))); }
1720 static PyObject
*mcget_moduli(PyObject
*me
, void *hunoz
)
1724 mpcrt
*c
= MPCRT_PY(me
);
1726 if ((q
= PyList_New(c
->k
)) == 0) return (0);
1727 for (i
= 0; i
< c
->k
; i
++)
1728 PyList_SetItem(q
, i
, mp_pywrap(c
->v
[i
].m
));
1732 static PyGetSetDef mpcrt_pygetset
[] = {
1733 #define GETSETNAME(op, name) mc##op##_##name
1734 GET (product
, "C.product -> product of moduli")
1735 GET (moduli
, "C.moduli -> list of individual moduli")
1740 static PyMethodDef mpcrt_pymethods
[] = {
1741 #define METHNAME(name) mcmeth_##name
1742 METH (solve
, "C.solve([R0, R1]) -> X mod C.product")
1747 static PyTypeObject
*mpcrt_pytype
, mpcrt_pytype_skel
= {
1748 PyObject_HEAD_INIT(0) 0, /* Header */
1749 "catacomb.MPCRT", /* @tp_name@ */
1750 sizeof(mpcrt_pyobj
), /* @tp_basicsize@ */
1751 0, /* @tp_itemsize@ */
1753 mpcrt_pydealloc
, /* @tp_dealloc@ */
1755 0, /* @tp_getattr@ */
1756 0, /* @tp_setattr@ */
1757 0, /* @tp_compare@ */
1759 0, /* @tp_as_number@ */
1760 0, /* @tp_as_sequence@ */
1761 0, /* @tp_as_mapping@ */
1765 0, /* @tp_getattro@ */
1766 0, /* @tp_setattro@ */
1767 0, /* @tp_as_buffer@ */
1768 Py_TPFLAGS_DEFAULT
| /* @tp_flags@ */
1769 Py_TPFLAGS_BASETYPE
,
1772 "A context for the solution of Chinese Remainder Theorem problems.",
1774 0, /* @tp_traverse@ */
1776 0, /* @tp_richcompare@ */
1777 0, /* @tp_weaklistoffset@ */
1779 0, /* @tp_iternext@ */
1780 mpcrt_pymethods
, /* @tp_methods@ */
1781 0, /* @tp_members@ */
1782 mpcrt_pygetset
, /* @tp_getset@ */
1785 0, /* @tp_descr_get@ */
1786 0, /* @tp_descr_set@ */
1787 0, /* @tp_dictoffset@ */
1789 PyType_GenericAlloc
, /* @tp_alloc@ */
1790 mpcrt_pynew
, /* @tp_new@ */
1795 /*----- Binary polynomials ------------------------------------------------*/
1797 static PyObject
*gf_pyrepr(PyObject
*o
)
1798 { return mp_topystring(MP_X(o
), 16, "GF(", "0x", "L)"); }
1800 static PyObject
*gf_pyrichcompare(PyObject
*x
, PyObject
*y
, int op
)
1806 if (gfbinop(x
, y
, &xx
, &yy
)) RETURN_NOTIMPL
;
1808 case Py_EQ
: b
= MP_EQ(xx
, yy
); break;
1809 case Py_NE
: b
= !MP_EQ(xx
, yy
); break;
1814 case Py_LT
: b
= xl
< yl
; break;
1815 case Py_LE
: b
= xl
<= yl
; break;
1816 case Py_GT
: b
= xl
> yl
; break;
1817 case Py_GE
: b
= xl
>= yl
; break;
1822 MP_DROP(xx
); MP_DROP(yy
);
1823 return (getbool(b
));
1826 static PyObject
*gf_pynew(PyTypeObject
*ty
, PyObject
*arg
, PyObject
*kw
)
1832 char *kwlist
[] = { "x", "radix", 0 };
1834 if (!PyArg_ParseTupleAndKeywords(arg
, kw
, "O|i:gf", kwlist
, &x
, &radix
))
1836 if (GF_PYCHECK(x
)) RETURN_OBJ(x
);
1837 if (!good_radix_p(radix
, 1)) VALERR("radix out of range");
1838 if ((z
= mp_frompyobject(x
, radix
)) == 0) {
1839 PyErr_Format(PyExc_TypeError
, "can't convert %.100s to gf",
1840 x
->ob_type
->tp_name
);
1845 VALERR("gf cannot be negative");
1847 zz
= (mp_pyobj
*)ty
->tp_alloc(ty
, 0);
1850 return ((PyObject
*)zz
);
1853 static long gf_pyhash(PyObject
*me
)
1855 long i
= mp_tolong(MP_X(me
));
1856 i
^= 0xc7ecd67c; /* random perturbance */
1862 static PyObject
*gf_pyexp(PyObject
*x
, PyObject
*y
, PyObject
*z
)
1864 mp
*xx
= 0, *yy
= 0, *zz
= 0;
1868 if ((xx
= tomp(x
)) == 0 || (yy
= tomp(y
)) == 0 ||
1869 (z
&& z
!= Py_None
&& (zz
= tomp(z
)) == 0)) {
1870 mp_drop(xx
); mp_drop(yy
); mp_drop(zz
);
1873 if (!z
|| z
== Py_None
) {
1874 if (MP_NEGP(yy
)) VALERR("negative exponent");
1875 r
= gf_exp(MP_NEW
, xx
, yy
);
1878 if (MP_ZEROP(zz
)) ZDIVERR("zero modulus");
1880 if ((xx
= gf_modinv_checked(xx
, xx
, zz
)) == 0) goto end
;
1881 yy
= mp_neg(yy
, yy
);
1883 gfreduce_create(&gr
, zz
);
1884 r
= gfreduce_exp(&gr
, MP_NEW
, xx
, yy
);
1885 gfreduce_destroy(&gr
);
1889 mp_drop(xx
); mp_drop(yy
); mp_drop(zz
);
1893 static PyObject
*gfmeth_sqr(PyObject
*me
, PyObject
*arg
)
1895 if (!PyArg_ParseTuple(arg
, ":sqr")) return (0);
1896 return (gf_pywrap(gf_sqr(MP_NEW
, MP_X(me
))));
1899 static PyObject
*gfmeth_gcd(PyObject
*me
, PyObject
*arg
)
1902 mp
*yy
= 0, *zz
= MP_NEW
;
1904 if (!PyArg_ParseTuple(arg
, "O&:gcd", convgf
, &yy
)) goto end
;
1905 gf_gcd(&zz
, 0, 0, MP_X(me
), yy
);
1908 if (yy
) MP_DROP(yy
);
1912 static PyObject
*gfmeth_gcdx(PyObject
*me
, PyObject
*arg
)
1915 mp
*yy
= 0, *zz
= MP_NEW
, *uu
= MP_NEW
, *vv
= MP_NEW
;
1917 if (!PyArg_ParseTuple(arg
, "O&:gcdx", convgf
, &yy
))
1919 gf_gcd(&zz
, &uu
, &vv
, MP_X(me
), yy
);
1920 z
= Py_BuildValue("(NNN)",
1921 gf_pywrap(zz
), gf_pywrap(uu
), gf_pywrap(vv
));
1923 if (yy
) MP_DROP(yy
);
1927 static PyObject
*gfmeth_modinv(PyObject
*me
, PyObject
*arg
)
1930 mp
*yy
= 0, *zz
= MP_NEW
;
1932 if (!PyArg_ParseTuple(arg
, "O&:modinv", convgf
, &yy
) ||
1933 (zz
= gf_modinv_checked(MP_NEW
, yy
, MP_X(me
))) == 0)
1937 if (yy
) MP_DROP(yy
);
1941 static PyObject
*gfmeth_irreduciblep(PyObject
*me
, PyObject
*arg
)
1943 if (!PyArg_ParseTuple(arg
, ":irreduciblep")) return (0);
1944 return getbool(gf_irreduciblep(MP_X(me
)));
1947 static PyObject
*gfget_degree(PyObject
*me
, void *hunoz
)
1948 { return (PyInt_FromLong(mp_bits(MP_X(me
)) - 1)); }
1950 static PyGetSetDef gf_pygetset
[] = {
1951 #define GETSETNAME(op, name) gf##op##_##name
1952 GET (degree
, "X.degree -> polynomial degree of X")
1954 #define GETSETNAME(op, name) mp##op##_##name
1955 GET (nbits
, "X.nbits -> bit length of X")
1956 GET (noctets
, "X.noctets -> octet length of X")
1961 static PyMethodDef gf_pymethods
[] = {
1962 #define METHNAME(func) gfmeth_##func
1963 METH (setbit
, "X.setbit(N) -> X with bit N set")
1964 METH (clearbit
, "X.clearbit(N) -> X with bit N clear")
1965 METH (testbit
, "X.testbit(N) -> true/false if bit N set/clear in X")
1966 METH (sqr
, "X.sqr() -> X^2")
1967 METH (gcd
, "X.gcd(Y) -> gcd(X, Y)")
1969 "X.gcdx(Y) -> (gcd(X, Y), U, V) with X U + Y V = gcd(X, Y)")
1970 METH (modinv
, "X.modinv(Y) -> multiplicative inverse of Y mod X")
1971 METH (irreduciblep
, "X.irreduciblep() -> true/false")
1973 #define METHNAME(func) mpmeth_##func
1974 KWMETH(tostring
, "X.tostring(radix = 10) -> STR")
1975 KWMETH(storel
, "X.storel(len = -1) -> little-endian bytes")
1976 KWMETH(storeb
, "X.storeb(len = -1) -> big-endian bytes")
1978 "X.storel2c(len = -1) -> little-endian bytes, two's complement")
1980 "X.storeb2c(len = -1) -> big-endian bytes, two's complement")
1981 METH (tobuf
, "X.tobuf() -> buffer format")
1986 static PyNumberMethods gf_pynumber
= {
1987 gf_pyadd
, /* @nb_add@ */
1988 gf_pysub
, /* @nb_subtract@ */
1989 gf_pymul
, /* @nb_multiply@ */
1990 0, /* @nb_divide@ */
1991 gf_pymod
, /* @nb_remainder@ */
1992 gf_pydivmod
, /* @nb_divmod@ */
1993 gf_pyexp
, /* @nb_power@ */
1994 mp_pyid
, /* @nb_negative@ */
1995 mp_pyid
, /* @nb_positive@ */
1996 mp_pyid
, /* @nb_absolute@ */
1997 mp_pynonzerop
, /* @nb_nonzero@ */
1998 0 /* doesn't make any sense */, /* @nb_invert@ */
1999 gf_pylsl
, /* @nb_lshift@ */
2000 gf_pylsr
, /* @nb_rshift@ */
2001 gf_pyand
, /* @nb_and@ */
2002 gf_pyxor
, /* @nb_xor@ */
2003 gf_pyor
, /* @nb_or@ */
2004 gf_pycoerce
, /* @nb_coerce@ */
2005 mp_pyint
, /* @nb_int@ */
2006 mp_pylong
, /* @nb_long@ */
2007 0 /* doesn't make any sense */, /* @nb_float@ */
2008 mp_pyoct
, /* @nb_oct@ */
2009 mp_pyhex
, /* @nb_hex@ */
2011 0, /* @nb_inplace_add@ */
2012 0, /* @nb_inplace_subtract@ */
2013 0, /* @nb_inplace_multiply@ */
2014 0, /* @nb_inplace_divide@ */
2015 0, /* @nb_inplace_remainder@ */
2016 0, /* @nb_inplace_power@ */
2017 0, /* @nb_inplace_lshift@ */
2018 0, /* @nb_inplace_rshift@ */
2019 0, /* @nb_inplace_and@ */
2020 0, /* @nb_inplace_xor@ */
2021 0, /* @nb_inplace_or@ */
2023 gf_pydiv
, /* @nb_floor_divide@ */
2024 0, /* @nb_true_divide@ */
2025 0, /* @nb_inplace_floor_divide@ */
2026 0, /* @nb_inplace_true_divide@ */
2029 static PyTypeObject gf_pytype_skel
= {
2030 PyObject_HEAD_INIT(0) 0, /* Header */
2031 "catacomb.GF", /* @tp_name@ */
2032 sizeof(mp_pyobj
), /* @tp_basicsize@ */
2033 0, /* @tp_itemsize@ */
2035 mp_pydealloc
, /* @tp_dealloc@ */
2037 0, /* @tp_getattr@ */
2038 0, /* @tp_setattr@ */
2039 0, /* @tp_compare@ */
2040 gf_pyrepr
, /* @tp_repr@ */
2041 &gf_pynumber
, /* @tp_as_number@ */
2042 0, /* @tp_as_sequence@ */
2043 0, /* @tp_as_mapping@ */
2044 gf_pyhash
, /* @tp_hash@ */
2046 mp_pyhex
, /* @tp_str@ */
2047 0, /* @tp_getattro@ */
2048 0, /* @tp_setattro@ */
2049 0, /* @tp_as_buffer@ */
2050 Py_TPFLAGS_DEFAULT
| /* @tp_flags@ */
2051 Py_TPFLAGS_CHECKTYPES
|
2052 Py_TPFLAGS_BASETYPE
,
2055 "Binary polynomials. Support almost all the standard arithmetic\n\
2058 Constructor gf(X, radix = R) attempts to convert X to a `gf'. If\n\
2059 X is a string, it's read in radix-R form, or we look for a prefix\n\
2060 if R = 0. Other acceptable things are ints and longs.\n\
2062 The name is hopelessly wrong from a technical point of view, but\n\
2063 but it's much easier to type than `p2' or `c2' or whatever.\n\
2067 * Use `//' for division. GFs don't have `/' division.",
2069 0, /* @tp_traverse@ */
2071 gf_pyrichcompare
, /* @tp_richcompare@ */
2072 0, /* @tp_weaklistoffset@ */
2074 0, /* @tp_iternext@ */
2075 gf_pymethods
, /* @tp_methods@ */
2076 0, /* @tp_members@ */
2077 gf_pygetset
, /* @tp_getset@ */
2080 0, /* @tp_descr_get@ */
2081 0, /* @tp_descr_set@ */
2082 0, /* @tp_dictoffset@ */
2084 PyType_GenericAlloc
, /* @tp_alloc@ */
2085 gf_pynew
, /* @tp_new@ */
2090 static PyObject
*meth__GF_fromstring(PyObject
*me
,
2091 PyObject
*arg
, PyObject
*kw
)
2098 mptext_stringctx sc
;
2099 char *kwlist
[] = { "class", "x", "radix", 0 };
2101 if (!PyArg_ParseTupleAndKeywords(arg
, kw
, "Os#|i:fromstring",
2102 kwlist
, &me
, &p
, &len
, &r
))
2104 if (!good_radix_p(r
, 1)) VALERR("bad radix");
2105 sc
.buf
= p
; sc
.lim
= p
+ len
;
2106 if ((zz
= mp_read(MP_NEW
, r
, &mptext_stringops
, &sc
)) == 0 ||
2108 if (zz
) MP_DROP(zz
);
2109 SYNERR("bad binary polynomial");
2111 z
= Py_BuildValue("(Ns#)", gf_pywrap(zz
), sc
.buf
, (int)(sc
.lim
- sc
.buf
));
2116 /*----- Sparse poly reduction ---------------------------------------------*/
2118 typedef struct gfreduce_pyobj
{
2123 #define GFREDUCE_PY(o) (&((gfreduce_pyobj *)(o))->mr)
2125 static PyObject
*grmeth_exp(PyObject
*me
, PyObject
*arg
)
2128 mp
*yy
= 0, *zz
= 0;
2130 if (!PyArg_ParseTuple(arg
, "O&O&:exp", convgf
, &yy
, convgf
, &zz
))
2133 if ((yy
= gf_modinv_checked(yy
, yy
, GFREDUCE_PY(me
)->p
)) == 0) goto end
;
2134 zz
= mp_neg(zz
, zz
);
2136 rc
= gf_pywrap(gfreduce_exp(GFREDUCE_PY(me
), MP_NEW
, yy
, zz
));
2138 if (yy
) MP_DROP(yy
); if (zz
) MP_DROP(zz
);
2142 static PyObject
*grmeth_trace(PyObject
*me
, PyObject
*arg
)
2147 if (!PyArg_ParseTuple(arg
, "O&:trace", convgf
, &xx
)) goto end
;
2148 rc
= PyInt_FromLong(gfreduce_trace(GFREDUCE_PY(me
), xx
));
2150 if (xx
) MP_DROP(xx
);
2154 static PyObject
*grmeth_halftrace(PyObject
*me
, PyObject
*arg
)
2159 if (!PyArg_ParseTuple(arg
, "O&:halftrace", convgf
, &xx
)) goto end
;
2160 rc
= gf_pywrap(gfreduce_halftrace(GFREDUCE_PY(me
), MP_NEW
, xx
));
2162 if (xx
) MP_DROP(xx
);
2166 static PyObject
*grmeth_sqrt(PyObject
*me
, PyObject
*arg
)
2171 if (!PyArg_ParseTuple(arg
, "O&:sqrt", convgf
, &xx
)) goto end
;
2172 if ((yy
= gfreduce_sqrt(GFREDUCE_PY(me
), MP_NEW
, xx
)) == 0)
2173 VALERR("no modular square root");
2176 if (xx
) MP_DROP(xx
);
2180 static PyObject
*grmeth_quadsolve(PyObject
*me
, PyObject
*arg
)
2185 if (!PyArg_ParseTuple(arg
, "O&:quadsolve", convgf
, &xx
)) goto end
;
2186 if ((yy
= gfreduce_quadsolve(GFREDUCE_PY(me
), MP_NEW
, xx
)) == 0)
2187 VALERR("no solution found");
2190 if (xx
) MP_DROP(xx
);
2194 static PyObject
*grmeth_reduce(PyObject
*me
, PyObject
*arg
)
2199 if (!PyArg_ParseTuple(arg
, "O&:reduce", convgf
, &yy
)) goto end
;
2200 z
= gf_pywrap(gfreduce_do(GFREDUCE_PY(me
), MP_NEW
, yy
));
2205 static void gfreduce_pydealloc(PyObject
*me
)
2207 gfreduce_destroy(GFREDUCE_PY(me
));
2211 static PyObject
*gfreduce_pynew(PyTypeObject
*ty
,
2212 PyObject
*arg
, PyObject
*kw
)
2214 gfreduce_pyobj
*mr
= 0;
2216 char *kwlist
[] = { "m", 0 };
2219 if (!PyArg_ParseTupleAndKeywords(arg
, kw
, "O&:new", kwlist
, convgf
, &xx
))
2221 if (MP_ZEROP(xx
)) ZDIVERR("modulus is zero!");
2222 gfreduce_create(&r
, xx
);
2223 mr
= (gfreduce_pyobj
*)ty
->tp_alloc(ty
, 0);
2226 if (xx
) MP_DROP(xx
);
2227 return ((PyObject
*)mr
);
2230 static PyObject
*grget_m(PyObject
*me
, void *hunoz
)
2231 { return (gf_pywrap(MP_COPY(GFREDUCE_PY(me
)->p
))); }
2233 static PyGetSetDef gfreduce_pygetset
[] = {
2234 #define GETSETNAME(op, name) gr##op##_##name
2235 GET (m
, "R.m -> reduction polynomial")
2240 static PyMethodDef gfreduce_pymethods
[] = {
2241 #define METHNAME(name) grmeth_##name
2242 METH (reduce
, "R.reduce(X) -> X mod B.m")
2243 METH (trace
, "R.trace(X) -> Tr(X) = x + x^2 + ... + x^{2^{m - 1}}")
2244 METH (halftrace
, "R.halftrace(X) -> x + x^{2^2} + ... + x^{2^{m - 1}}")
2245 METH (sqrt
, "R.sqrt(X) -> Y where Y^2 = X mod R")
2246 METH (quadsolve
, "R.quadsolve(X) -> Y where Y^2 + Y = X mod R")
2247 METH (exp
, "R.exp(X, N) -> X^N mod B.m")
2252 static PyTypeObject
*gfreduce_pytype
, gfreduce_pytype_skel
= {
2253 PyObject_HEAD_INIT(0) 0, /* Header */
2254 "catacomb.GFReduce", /* @tp_name@ */
2255 sizeof(gfreduce_pyobj
), /* @tp_basicsize@ */
2256 0, /* @tp_itemsize@ */
2258 gfreduce_pydealloc
, /* @tp_dealloc@ */
2260 0, /* @tp_getattr@ */
2261 0, /* @tp_setattr@ */
2262 0, /* @tp_compare@ */
2264 0, /* @tp_as_number@ */
2265 0, /* @tp_as_sequence@ */
2266 0, /* @tp_as_mapping@ */
2270 0, /* @tp_getattro@ */
2271 0, /* @tp_setattro@ */
2272 0, /* @tp_as_buffer@ */
2273 Py_TPFLAGS_DEFAULT
| /* @tp_flags@ */
2274 Py_TPFLAGS_BASETYPE
,
2277 "A reduction context for reduction modulo sparse irreducible polynomials.",
2279 0, /* @tp_traverse@ */
2281 0, /* @tp_richcompare@ */
2282 0, /* @tp_weaklistoffset@ */
2284 0, /* @tp_iternext@ */
2285 gfreduce_pymethods
, /* @tp_methods@ */
2286 0, /* @tp_members@ */
2287 gfreduce_pygetset
, /* @tp_getset@ */
2290 0, /* @tp_descr_get@ */
2291 0, /* @tp_descr_set@ */
2292 0, /* @tp_dictoffset@ */
2294 PyType_GenericAlloc
, /* @tp_alloc@ */
2295 gfreduce_pynew
, /* @tp_new@ */
2300 /*----- Normal/poly transformation ----------------------------------------*/
2302 typedef struct gfn_pyobj
{
2308 static PyTypeObject
*gfn_pytype
, gfn_pytype_skel
;
2310 #define GFN_P(o) (((gfn_pyobj *)(o))->p)
2311 #define GFN_PTON(o) (&((gfn_pyobj *)(o))->pton)
2312 #define GFN_NTOP(o) (&((gfn_pyobj *)(o))->ntop)
2314 static PyObject
*gfn_pynew(PyTypeObject
*ty
, PyObject
*arg
, PyObject
*kw
)
2316 mp
*p
= 0, *beta
= 0;
2318 char *kwlist
[] = { "p", "beta", 0 };
2320 if (!PyArg_ParseTupleAndKeywords(arg
, kw
, "O&O&:new", kwlist
,
2321 convgf
, &p
, convgf
, &beta
))
2323 gg
= PyObject_New(gfn_pyobj
, ty
);
2324 if (gfn_create(p
, beta
, &gg
->ntop
, &gg
->pton
)) {
2327 VALERR("can't invert transformation matrix");
2333 return ((PyObject
*)gg
);
2336 static PyObject
*gfnget_p(PyObject
*me
, void *hunoz
)
2337 { return (gf_pywrap(MP_COPY(GFN_P(me
)))); }
2339 static PyObject
*gfnget_beta(PyObject
*me
, void *hunoz
)
2341 gfn
*n
= GFN_NTOP(me
);
2342 mp
*x
= n
->r
[n
->n
- 1];
2343 return (gf_pywrap(MP_COPY(x
)));
2346 #define XFORMOP(name, NAME) \
2347 static PyObject *gfnmeth_##name(PyObject *me, PyObject *arg) \
2352 if (!PyArg_ParseTuple(arg, "O&:" #name, convgf, &xx)) goto end; \
2353 z = gfn_transform(GFN_##NAME(me), MP_NEW, xx); \
2356 if (!z) return (0); \
2357 return (mp_pywrap(z)); \
2363 static void gfn_pydealloc(PyObject
*me
)
2365 gfn_destroy(GFN_PTON(me
));
2366 gfn_destroy(GFN_NTOP(me
));
2370 static PyGetSetDef gfn_pygetset
[] = {
2371 #define GETSETNAME(op, name) gfn##op##_##name
2372 GET (p
, "X.p -> polynomial basis, as polynomial")
2373 GET (beta
, "X.beta -> normal basis element, in poly form")
2378 static PyMethodDef gfn_pymethods
[] = {
2379 #define METHNAME(name) gfnmeth_##name
2380 METH (pton
, "X.pton(A) -> normal-basis representation of A")
2381 METH (ntop
, "X.ntop(A) -> polynomial-basis representation of A")
2386 static PyTypeObject gfn_pytype_skel
= {
2387 PyObject_HEAD_INIT(0) 0, /* Header */
2388 "catacomb.GFN", /* @tp_name@ */
2389 sizeof(gfn_pyobj
), /* @tp_basicsize@ */
2390 0, /* @tp_itemsize@ */
2392 gfn_pydealloc
, /* @tp_dealloc@ */
2394 0, /* @tp_getattr@ */
2395 0, /* @tp_setattr@ */
2396 0, /* @tp_compare@ */
2398 0, /* @tp_as_number@ */
2399 0, /* @tp_as_sequence@ */
2400 0, /* @tp_as_mapping@ */
2404 0, /* @tp_getattro@ */
2405 0, /* @tp_setattro@ */
2406 0, /* @tp_as_buffer@ */
2407 Py_TPFLAGS_DEFAULT
| /* @tp_flags@ */
2408 Py_TPFLAGS_BASETYPE
,
2411 "An object for transforming elements of binary fields between polynomial\n\
2412 and normal basis representations.",
2414 0, /* @tp_traverse@ */
2416 0, /* @tp_richcompare@ */
2417 0, /* @tp_weaklistoffset@ */
2419 0, /* @tp_iternext@ */
2420 gfn_pymethods
, /* @tp_methods@ */
2421 0, /* @tp_members@ */
2422 gfn_pygetset
, /* @tp_getset@ */
2425 0, /* @tp_descr_get@ */
2426 0, /* @tp_descr_set@ */
2427 0, /* @tp_dictoffset@ */
2429 PyType_GenericAlloc
, /* @tp_alloc@ */
2430 gfn_pynew
, /* @tp_new@ */
2435 /*----- Glue --------------------------------------------------------------*/
2437 static PyMethodDef methods
[] = {
2438 #define METHNAME(func) meth_##func
2439 KWMETH(_MP_fromstring
, "\
2440 fromstring(STR, radix = 0) -> (X, REST)\n\
2442 Parse STR as a large integer, according to radix. If radix is zero,\n\
2443 read a prefix from STR to decide radix: allow `0' for octal, `0x' for hex\n\
2444 or `R_' for other radix R.")
2445 KWMETH(_GF_fromstring
, "\
2446 fromstring(STR, radix = 0) -> (X, REST)\n\
2448 Parse STR as a binary polynomial, according to radix. If radix is zero,\n\
2449 read a prefix from STR to decide radix: allow `0' for octal, `0x' for hex\n\
2450 or `R_' for other radix R.")
2452 loadl(STR) -> X: read little-endian bytes")
2454 loadb(STR) -> X: read big-endian bytes")
2455 METH (_MP_loadl2c
, "\
2456 loadl2c(STR) -> X: read little-endian bytes, two's complement")
2457 METH (_MP_loadb2c
, "\
2458 loadb2c(STR) -> X: read big-endian bytes, two's complement")
2459 METH (_MP_frombuf
, "\
2460 frombuf(STR) -> (X, REST): read buffer format")
2462 loadl(STR) -> X: read little-endian bytes")
2464 loadb(STR) -> X: read big-endian bytes")
2465 METH (_GF_frombuf
, "\
2466 frombuf(STR) -> (X, REST): read buffer format")
2471 void mp_pyinit(void)
2475 INITTYPE(mpmul
, root
);
2476 INITTYPE(mpmont
, root
);
2477 INITTYPE(mpbarrett
, root
);
2478 INITTYPE(mpreduce
, root
);
2479 INITTYPE(mpcrt
, root
);
2480 INITTYPE(gfreduce
, root
);
2481 INITTYPE(gfn
, root
);
2482 addmethods(methods
);
2485 void mp_pyinsert(PyObject
*mod
)
2487 INSERT("MP", mp_pytype
);
2488 INSERT("MPMul", mpmul_pytype
);
2489 INSERT("MPMont", mpmont_pytype
);
2490 INSERT("MPBarrett", mpbarrett_pytype
);
2491 INSERT("MPReduce", mpreduce_pytype
);
2492 INSERT("MPCRT", mpcrt_pytype
);
2493 INSERT("GF", gf_pytype
);
2494 INSERT("GFReduce", gfreduce_pytype
);
2495 INSERT("GFN", gfn_pytype
);
2498 /*----- That's all, folks -------------------------------------------------*/