#include <linbox/linbox-config.h>
#include <iostream>
#include <givaro/zring.h>
#include <linbox/util/matrix-stream.h>
#include <linbox/solutions/det.h>
#include <linbox/algorithms/double-det.h>