test fmpz_is_probabprime(2**127 - 1)

Author: oscarbenjamin

src/flint/test/test_all.py

@@ -4677,13 +4677,19 @@ def test_use_fmpz_mod2():
     assert use_fmpz_mod2() == 1
 
 
+def test_use_fmpz_is_probabprime():
+    from flint.types.fmpz_mod import use_fmpz_is_probabprime
+    assert use_fmpz_is_probabprime() == 1
+
+
 all_tests = [
 
     test_pyflint,
     test_showgood,
 
     test_use_fmpz_mod1,
     test_use_fmpz_mod2,
+    test_use_fmpz_is_probabprime,
 
     test_fmpz,
     test_fmpz_factor,

src/flint/types/fmpz_mod.pyx

@@ -60,6 +60,12 @@ def use_fmpz_mod2():
     return c
 
 
+def use_fmpz_is_probabprime():
+    cdef fmpz p
+    p = fmpz(2**127 - 1)
+    return fmpz_is_probabprime(p.val)
+
+
 cdef class fmpz_mod_ctx:
     r"""
     Context object for creating :class:`~.fmpz_mod` initialised