是否有任何GMP对数函数?
答
否GMP中没有这样的功能。 只限于MPFR。
答
我知道你没有问如何实现它,但是......
可以实现使用对数的性质粗野:http://gnumbers.blogspot.com.au/2011/10/logarithm-of-large-number-it-is-not.html
而且GMP库的内部:https://gmplib.org/manual/Integer-Internals.html
这是我对Rational的实现。
double LogE(mpq_t m_op)
{
// log(a/b) = log(a) - log(b)
// And if a is represented in base B as:
// a = a_N B^N + a_{N-1} B^{N-1} + ... + a_0
// => log(a) \approx log(a_N B^N)
// = log(a_N) + N log(B)
// where B is the base; ie: ULONG_MAX
static double logB = log(ULONG_MAX);
// Undefined logs (should probably return NAN in second case?)
if (mpz_get_ui(mpq_numref(m_op)) == 0 || mpz_sgn(mpq_numref(m_op)) < 0)
return -INFINITY;
// Log of numerator
double lognum = log(mpq_numref(m_op)->_mp_d[abs(mpq_numref(m_op)->_mp_size) - 1]);
lognum += (abs(mpq_numref(m_op)->_mp_size)-1) * logB;
// Subtract log of denominator, if it exists
if (abs(mpq_denref(m_op)->_mp_size) > 0)
{
lognum -= log(mpq_denref(m_op)->_mp_d[abs(mpq_denref(m_op)->_mp_size)-1]);
lognum -= (abs(mpq_denref(m_op)->_mp_size)-1) * logB;
}
return lognum;
}
答
这就是: https://github.com/linas/anant
提供GNU MP真实和复杂的对数,指数,正弦,余弦,γ,反正切,开方,多重对数函数黎曼和赫维茨泽塔,超几何,拓扑学正弦和更多。