2012-07-11 51 views

回答

3

否GMP中没有这样的功能。 只限于MPFR。

5

我知道你没有问如何实现它,但是......

可以实现使用对数的性质粗野: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; 
    } 
1

这就是: https://github.com/linas/anant

提供GNU MP真实和复杂的对数,指数,正弦,余弦,γ,反正切,开方,多重对数函数黎曼和赫维茨泽塔,超几何,拓扑学正弦和更多。

相关问题