Module arith 

Basic algorithms of compensated arithmetic.

Most of the basic numerical algorithms are directly lifted from:

• M. Joldes, et al., ACM Trans. Math. Softw. 44, 1-27 (2018)
• Karp, High Precision Division and Square Root (1993)

Functions

add_dd

add_dq

add_pow2

add_qd

add_qq

addfast_dd

addfast_dq

addfast_qd

addfast_qq

div_dd

div_dq

div_pow2

div_qd

div_qq

mul_dd

mul_dq

mul_pow2

mul_qd

mul_qq

neg_q

reciprocal_d

reciprocal_q

sqrt_d

sqrt_q

square_q

sub_dd

sub_dq

sub_qd

sub_qq

subfast_dd

subfast_dq

subfast_qd

subfast_qq