H A D | upolynomial.cpp | 1310 scoped_numeral ak(m()); in has_one_half_root() local 1316 m().mul2k(a, k, ak); in has_one_half_root() 1317 m().add(r, ak, r); in has_one_half_root() 1746 scoped_numeral ak(m()); in eval_sign_at() local 1756 m().mul2k(a, k_i, ak); in eval_sign_at() 1757 m().addmul(ak, r, c, r); in eval_sign_at() 1780 scoped_numeral ak(m()); in eval_sign_at() local 1790 m().mul(a, d_i, ak); in eval_sign_at() 1791 m().addmul(ak, r, c, r); in eval_sign_at()
|