NO DOC
#include <iostream>
#include <givaro/givinit.h>
#include <givaro/givintfactor.h>
#include <givaro/givtimer.h>
int main(int argc, char** argv)
{
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;
}