From 3dd20b29c86f350ea7cb0e2e7739da22c4001c2d Mon Sep 17 00:00:00 2001 From: Sergey B Kirpichev Date: Thu, 7 Sep 2023 13:56:35 +0300 Subject: [PATCH] Amend is_euler_prp() docstring See e.g. https://en.wikipedia.org/wiki/Solovay%E2%80%93Strassen_primality_test Closes #427 --- src/gmpy_mpz_prp.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/gmpy_mpz_prp.c b/src/gmpy_mpz_prp.c index 717414e3..ef759b15 100644 --- a/src/gmpy_mpz_prp.c +++ b/src/gmpy_mpz_prp.c @@ -132,7 +132,8 @@ PyDoc_STRVAR(doc_mpz_is_euler_prp, " gcd(n,a) == 1\n" " n is odd\n\n" "Then an Euler probable prime requires:\n\n" -" a**((n-1)/2) == 1 (mod n)"); +" a**((n-1)/2) == (a/n) (mod n)\n\n" +"where (a/n) is the Jacobi symbol."); static PyObject * GMPY_mpz_is_euler_prp(PyObject *self, PyObject *args)