divide()

void M2::ARingZZGMP::divide ( ElementType & result, const ElementType & a, const ElementType & b ) const

inline

exact division of integers.

Definition at line 203 of file aring-zz-gmp.hpp.

  {
    if (mpz_divisible_p(&a, &b))
      {
        mpz_divexact(&result, &a, &b);
      }
    else
      {
        throw exc::engine_error("division not exact");
      }
  }

References result().

Referenced by syzygy().