#include <vector> #include <linbox/blackbox/blackbox-interface.h>
#include <vector>
#include <linbox/blackbox/blackbox-interface.h>