
DeclareGlobalFunction("PseudoRandomNormalClosureElement");

DeclareAttribute("PseudoRandomNCSeed", IsGroup, "mutable");

DeclareGlobalFunction("IsProbablyPerfect");

DeclareGlobalFunction("DerivedSubgroupApproximation");

DeclareGlobalFunction("DerivedSubgroupChainApproximation");

DeclareGlobalFunction("PPDDegrees");

