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

◆ rawSetRandomMax()

void rawSetRandomMax ( gmp_ZZ newHeight)

Definition at line 38 of file random.cpp.

38{ mpz_set(maxHeight, newHeight); }
maxHeight
static mpz_t maxHeight
Definition random.cpp:17

References maxHeight.