Macaulay2 Engine
Loading...
Searching...
No Matches

◆ rawSetRandomRRi()

void rawSetRandomRRi ( mpfi_ptr result)

Definition at line 258 of file random.cpp.

259{
260 mpfr_t val;
261
262 mpfr_init2(val, mpfi_get_prec(result));
263 randomMpfr(val);
264 mpfi_set_fr(result,val);
265 randomMpfr(val);
266 mpfi_put_fr(result,val);
267 mpfr_clear(val);
268}
VALGRIND_MAKE_MEM_DEFINED & result(result)
void randomMpfr(mpfr_t result)
Definition random.cpp:240

References randomMpfr(), and result().

Referenced by M2::ARingRRi::random(), and rawRandomRRi().