Home
last modified time | relevance | path

Searched defs:mpz_sub_int64 (Results 1 – 3 of 3) sorted by relevance

/dports/math/cado-nfs/cado-nfs-f4284e2391121b2bfb97bc4880b6273c7250dc2f/utils/
H A Dgmp_aux.h100 static inline void mpz_sub_int64 (mpz_ptr a, mpz_srcptr b, const int64_t c) {mpz_sub_si(a, b, c);} in mpz_sub_int64() function
H A Dgmp_aux.c233 mpz_sub_int64 (mpz_ptr a, mpz_srcptr b, int64_t c) in mpz_sub_int64() function
/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_int64.c56 static void mpz_sub_int64(mpz_t z, int64_t x) { in mpz_sub_int64() function