~ARingZZpFlint()

M2::ARingZZpFlint::~ARingZZpFlint

(

)

Definition at line 19 of file aring-zzp-flint.cpp.

{
  FLINT_RAND_CLEAR(mRandomState);
  fmpz_clear(mFmpzCharac);
}

References FLINT_RAND_CLEAR, mFmpzCharac, and mRandomState.