We define a binary-cascade iterative-refinement process (BCIR) for solving a nonsingular linear system with prescribed relative accuracy. For very high accuracy requirements BCIR uses a software-implemented variable-precision arithmetic. The time-cost and accuracy of BCIR are deduced under various conditions.
Read full abstract