NO DOC
#include <iostream>
using namespace std;
#include <stdlib.h>
#include <givaro/givintprime.h>
#include <givaro/givtimer.h>
#include <givaro/givinit.h>
int main(
int argc,
char** argv)
{
if (argc > 1) a =
Integer(argv[1]);
else cin >> a;
if (argc > 2) b =
Integer(argv[2]);
else cin >> b;
cout << g << " = " << u << " * " << a << " + " << v << " * " << b << endl;
cerr << tim << endl;
return 0;
}