Lines Matching defs:c3
438 and c3 := b[n-2] * q*.
440 occurred. Furthermore 0 <= c3 < 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].
708 mp_twolimb_t c3 = /* b[n-2] * q* */
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)
