#include <iostream>
#include <givaro/givintnumtheo.h>
#include <givaro/givtimer.h>
#include <cmath>
int main(int argc, char** argv)
{
IntNumTheoDom<> IP;
#ifdef __GMP_PLUSPLUS__
IP.seeding( (unsigned long)BaseTimer::seed() );
#endif
double error;
IntNumTheoDom<>::Element a,pr,g;
if (argc > 1) a = IntNumTheoDom<>::Element(argv[1]); else std::cin >> a;
bool comp ;
if ( (comp=(! IP.
isprime(a))) ) std::cerr << a <<
" is not prime, primitive root will have no sense and may loop forever ..." << std::endl;
double epsilon = argc > 2 ? atof(argv[2]) : 0.0000001;
Timer tim; tim.clear();
tim.start();
#define GIVARO_POLLARD
IP.probable_prim_root(pr, error, a, epsilon );
tim.stop();
if (comp) std::cerr << IP.
gcd(g,a,pr) <<
" is a factor of " << a << std::endl;
IntegerDom().
write( std::cout <<
"Prim root : ", pr );
if (error > 0) {
std::cout << ", correct with probability at least : 1-" << error << std::endl;
std::cerr << tim << std::endl;
std::cerr << "Now checking primitivity, this may take some time (complete factorization of n-1) ...";
#define GIVARO_LENSTRA
Timer verif; verif.clear(); verif.start();
if ( IP.isorder(a-1, pr, a) ) {
verif.stop();
std::cerr << "... Pimitivity checked" << std::endl;
std::cerr << verif << std::endl;
}
else {
verif.stop();
std::cerr << "... WARNING : FAILURE" << std::endl;
std::cerr << verif << std::endl;
}
} else {
std::cout << ", deterministically correct" << std::endl;
std::cerr << tim << std::endl;
}
return 0;
}
Namespace in which the whole Givaro library resides.
Definition: all_field.C:23