numeric-lib/hermite.h Source File

00001 /*
00002  * hermite.h
00003  *
00004  *  Created on: Dec 14, 2008
00005  *      Author: tdillig
00006  */
00007 
00008 #ifndef HERMITE_H_
00009 #define HERMITE_H_
00010 #include "Equation.h"
00011 #include "Matrix.h"
00012 #include <vector>
00013 using namespace std;
00014 
00015 class matrix;
00016 
00017 
00018 void find_proofs(Matrix& m, vector<pair<Equation*, bignum> > &active,
00019                 int f_index, set<pair<Equation*, bignum> > & ndf);
00020 
00021 void hnf(matrix & m);
00022 
00023 
00024 #endif /* HERMITE_H_ */