rawSetRandomInteger()

void rawSetRandomInteger	(	mpz_ptr	result,
		gmp_ZZ	maxN )

Definition at line 56 of file random.cpp.

{
  if (maxN == nullptr) maxN = maxHeight;
  if (mpz_cmp_si(maxN, 0) <= 0)
    throw exc::engine_error("expected a positive height");
 
  mpz_urandomm(result, state, maxN);
}

References maxHeight, result(), and state.

Referenced by M2::ARingZZGMP::random(), RingZZ::random(), and rawRandomInteger().