Lines Matching refs:c2
436 Compute c2 := ((r[j+n]*beta+r[j+n-1]) - q* * b[n-1])*beta + r[j+n-2]
438 {We have 0 <= c2 < 2*beta^2, even 0 <= c2 < beta^2 if no overflow
441 r[j+n]*beta+r[j+n-1] - q* * b[n-1] >= beta, i.e. c2 >= beta^2,
443 While c3 > c2, {Here 0 <= c2 < c3 < beta^2}
444 Put q* := q* - 1, c2 := c2 + b[n-1]*beta, c3 := c3 - b[n-2].
676 mp_twolimb_t c2 = /* c1*beta+r[j+n-2] */
680 /* While c2 < c3, increase c2 and decrease c3.
681 Consider c3-c2. While it is > 0, decrease it by
684 if (c3 > c2)
687 if (c3 - c2 > b_msdd)