init_seeds()

void init_seeds ( )

static

Definition at line 74 of file factory.cpp.

{
  NTL::SetSeed(NTL::ZZ::zero());  // NTL
  factoryseed(0);  // factory (which uses NTL, as we've compiled it)
}

Referenced by rawCharSeries(), rawFactorBase(), and rawIdealReorder().