Lines Matching refs:c2
437 Compute c2 := ((r[j+n]*beta+r[j+n-1]) - q* * b[n-1])*beta + r[j+n-2]
439 {We have 0 <= c2 < 2*beta^2, even 0 <= c2 < beta^2 if no overflow
442 r[j+n]*beta+r[j+n-1] - q* * b[n-1] >= beta, i.e. c2 >= beta^2,
444 While c3 > c2, {Here 0 <= c2 < c3 < beta^2}
445 Put q* := q* - 1, c2 := c2 + b[n-1]*beta, c3 := c3 - b[n-2].
706 mp_twolimb_t c2 = /* c1*beta+r[j+n-2] */
710 /* While c2 < c3, increase c2 and decrease c3.
711 Consider c3-c2. While it is > 0, decrease it by
714 if (c3 > c2)
717 if (c3 - c2 > b_msdd)
