#include "linbox-config.h"
#include <iostream>
#include <fstream>
#include <vector>
#include <functional>
#include "test-common.h"
#include "linbox/util/commentator.h"
#include "linbox/field/ntl-pid-lzz_p.h"
#include "linbox/field/local2_32.h"
#include "linbox/blackbox/dense.h"
#include "linbox/algorithms/smith-form-local.h"
#include "linbox/vector/stream.h"
#include <linbox/matrix/matrix-domain.h>
#include <linbox/util/timer.h>
Functions | |
| template<class LocalPID> bool | testLocalSmith (const LocalPID &R, VectorStream< vector< typename LocalPID::Element > > &stream) |
| int | main (int argc, char **argv) |
|
||||||||||||
|
|
|
||||||||||||
|
|
1.3.7