These are chat archives for symengine/symengine

23rd
Jul 2014
Francesco Biscani
@bluescarni
Jul 23 2014 13:11
@certik isn't arb a library for certified accuracy? I can see some cases in which one would want to have something between double and certified accuracy, i.e., straight MPFR. There are also further options like https://gcc.gnu.org/onlinedocs/libquadmath/
what I am doing in piranha is to have the evaluation functions defined generically as templates, so you can feed in any type that supports a certain protocol for evaluation
btw MPFI is considered "good enough" for boost to support it in the multiprecision library http://www.boost.org/doc/libs/1_55_0/libs/multiprecision/doc/html/boost_multiprecision/tut/interval/mpfi.html
Ondřej Čertík
@certik
Jul 23 2014 22:43
@bluescarni yes, Arb is for certified accuracy. But Fredrik has implemented some very fast algorithms there and I think it has better support for special functions than mpfr. For CAS, you really want to know the accuracy of the final answer. However, I think it will be valuable to have various ways to evaluate an expression, using double, quadmath, mpfr, Arb, .... I think the visitor pattern should allow one to easily hook his own favorite library.