2012-07-11 139 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真實和複雜的對數,指數,正弦,餘弦,γ,反正切,開方,多重對數函數黎曼和赫維茨澤塔,超幾何,拓撲學正弦和更多。

相關問題