Lines Matching refs:dv
410 mpz_t dv, nv; in ppl_max_for_le_pointset() local
414 mpz_init (dv); in ppl_max_for_le_pointset()
422 ppl_Coefficient_to_mpz_t (denom, dv); in ppl_max_for_le_pointset()
423 gcc_assert (mpz_sgn (dv) != 0); in ppl_max_for_le_pointset()
424 mpz_tdiv_q (res, nv, dv); in ppl_max_for_le_pointset()
428 mpz_clear (dv); in ppl_max_for_le_pointset()
441 mpz_t dv, nv; in ppl_min_for_le_pointset() local
445 mpz_init (dv); in ppl_min_for_le_pointset()
453 ppl_Coefficient_to_mpz_t (denom, dv); in ppl_min_for_le_pointset()
454 gcc_assert (mpz_sgn (dv) != 0); in ppl_min_for_le_pointset()
455 mpz_tdiv_q (res, nv, dv); in ppl_min_for_le_pointset()
459 mpz_clear (dv); in ppl_min_for_le_pointset()