Armin Rigo avatar Armin Rigo committed 6400958

A demo of GMP.

Comments (0)

Files changed (1)

+import sys
+import cffi
+
+ffi = cffi.FFI()
+
+ffi.cdef("""
+
+    typedef struct { ...; } MP_INT;
+    typedef MP_INT mpz_t[1];
+
+    int mpz_init_set_str (MP_INT *dest_integer, char *src_cstring, int base);
+    void mpz_add (MP_INT *sum, MP_INT *addend1, MP_INT *addend2);
+    char * mpz_get_str (char *string, int base, MP_INT *integer);
+
+""")
+
+lib = ffi.verify("#include <gmp.h>",
+                 libraries=['gmp', 'm'])
+
+# ____________________________________________________________
+
+a = ffi.new("mpz_t")
+b = ffi.new("mpz_t")
+
+lib.mpz_init_set_str(a, sys.argv[1], 10)	# Assume decimal integers
+lib.mpz_init_set_str(b, sys.argv[2], 10)	# Assume decimal integers
+lib.mpz_add(a, a, b)			# a=a+b
+
+s = lib.mpz_get_str(ffi.NULL, 10, a)
+print str(s)
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.