ntl.cpp

#include <iostream>
#include <fstream>
#include <NTL/LLL.h>

int main(int argc, char **argv)
{
   NTL::Mat<int> B;
   std::string basisfile = "tmp.txt";
   std::ifstream fin(basisfile);
   if( !fin.is_open() )
   {
      std::cout << "can not open input file: " << basisfile << std::endl;
      exit(0);
   }
   fin >> B;
   std::cout << B << std::endl;
}