divide_coeff_exact_to_ZZ()

void GBRing::divide_coeff_exact_to_ZZ ( gbvector * f, gmp_ZZ u ) const

protected

Definition at line 1291 of file gbring.cpp.

{
  mpz_t a;
  mpz_init(a);
  for (; f != nullptr; f = f->next)
    {
      mpz_divexact(a, f->coeff.get_mpz(), u);
      f->coeff = globalZZ->RingZZ::from_int(a);
    }
  mpz_clear(a);
}

References gbvector::coeff, ring_elem::get_mpz(), globalZZ, and gbvector::next.

Referenced by gbvector_remove_content_ZZ().