Add __FLINT_VERSION__ and __FLINT_RELEASE__

Author: oscarbenjamin

src/flint/__init__.py

@@ -33,4 +33,9 @@
 from .types.dirichlet import *
 from .functions.showgood import good, showgood
 
+from .flint_base.flint_base import (
+    FLINT_VERSION as __FLINT_VERSION__,
+    FLINT_RELEASE as __FLINT_RELEASE__,
+)
+
 __version__ = '0.6.0'

src/flint/flint_base/flint_base.pyx

@@ -1,7 +1,16 @@
-from flint.flintlib.flint cimport FLINT_BITS as _FLINT_BITS
+from flint.flintlib.flint cimport (
+    FLINT_BITS as _FLINT_BITS,
+    FLINT_VERSION as _FLINT_VERSION,
+    __FLINT_RELEASE as _FLINT_RELEASE,
+)
 from flint.flint_base.flint_context cimport thectx
 
 
+FLINT_BITS = _FLINT_BITS
+FLINT_VERSION = _FLINT_VERSION.decode("ascii")
+FLINT_RELEASE = _FLINT_RELEASE
+
+
 cdef class flint_elem:
     def __repr__(self):
         if thectx.pretty:

src/flint/flintlib/flint.pxd

@@ -37,6 +37,8 @@ cdef extern from "flint/fmpz.h":
 ctypedef slong fmpz_struct
 
 cdef extern from "flint/flint.h":
+    const char * FLINT_VERSION
+    const int __FLINT_RELEASE
     const int FLINT_BITS
     ctypedef void * flint_rand_t
     void flint_randinit(flint_rand_t state)