Searched refs:Uc (Results 1 – 2 of 2) sorted by relevance
3799 int Uc = -pb->geqs[ub].coef[i]; in omega_solve_geq() local3801 Lc * pb->geqs[ub].coef[0] + Uc * pb->geqs[lb].coef[0]; in omega_solve_geq()3802 lucky = (diff >= (Uc - 1) * (Lc - 1)); in omega_solve_geq()4090 int Uc = -pb->geqs[Ue].coef[i]; in omega_solve_geq() local4092 + pb->geqs[Le].coef[1] * Uc; in omega_solve_geq()4094 + pb->geqs[Le].coef[0] * Uc; in omega_solve_geq()4284 int Uc = -pb->geqs[Ue].coef[i]; in omega_solve_geq() local4294 mul_hwi (lbeqn->coef[k], Uc); in omega_solve_geq()4330 int Uc = -pb->geqs[Ue].coef[i]; in omega_solve_geq() local4357 mul_hwi (pb->geqs[Le].coef[k], Uc); in omega_solve_geq()[all …]
559 :Ub=\E4$a:Uc=\E4@:Uf=\E4(a:Ug=\E4@:U6=\E r!! 8"P:U7=\E r!! 8$D:\571 :Ub=\E4$a:Uc=\E4@:Uf=\E4(a:Ug=\E4@:U6=\E r!! 9"P:U7=\E r!! 9$D:\