#include <cmath>
#include "givaro/givconfig.h"
#include <sys/time.h>
#include <sys/resource.h>
#include <iostream>
#include "givaro/givtimer.h"