NO DOC
#define GIVARO_LENSTRA
#include <iostream>
#include <givaro/givinit.h>
#include <givaro/givintfactor.h>
#include <givaro/givtimer.h>
int main(
int argc,
char** argv)
{
#ifndef __GIVARO_GMP_NO_CXX
IP.seeding();
#endif
if (argc > 1)
else
cin >> m;
cerr << "-";
}
if (IP.islt(m,4))
IP.
write(cerr,m) << endl;
else {
IP.write(cerr,m) << endl;
cerr << tim << endl;
}
return 0;
}