Searched refs:mpz_p_valuation (Results 1 – 5 of 5) sorted by relevance
761 int w = mpz_p_valuation(Id.second, p); in valuation_of_ideal_at_prime_ideal()898 …int v = mpz_p_valuation(res, p) - pgen->deg * mpz_p_valuation(f->coeff[f->deg], p) - f->deg * mpz_… in prime_ideal_two_element()
151 extern int mpz_p_valuation(mpz_srcptr a, mpz_srcptr p);
717 int mpz_p_valuation(mpz_srcptr a, mpz_srcptr p) in mpz_p_valuation() function
151 int w = mpz_p_valuation(Id.second, p); in operator ()()
467 int w = mpz_p_valuation(denom, p); in do_valuations_of_ideal()584 int w = mpz_p_valuation(Id.second, p); in do_valuations_of_ideal_batch()