17 #ifndef FAC_IRRED_TEST_H 18 #define FAC_IRRED_TEST_H void error(const char *fmt,...)
int probIrredTest(const CanonicalForm &F, double error)
given some error probIrredTest detects irreducibility or reducibility of F with confidence level 1-er...
double numZeros(const CanonicalForm &F, int k)
evaluate F at k random points in Z/p^n and count the number of zeros that occur