#include <iostream>
#include <givaro/givgfq.h>
#include <givaro/givmontg32.h>
#include <givaro/givzpz.h>
#include <givaro/StaticElement.h>