ReducerStatic.h File Reference

#include "NTL/tools.h"
#include "NTL/vector.h"
#include "NTL/matrix.h"
#include "NTL/ZZ.h"
#include "NTL/RR.h"
#include "NTL/LLL.h"
#include "latticetester/EnumTypes.h"
#include "latticetester/Util.h"
#include "latticetester/IntLattice.h"
#include "latticetester/BasisConstruction.h"
#include "latticetester/NTLWrap.h"
#include "latticetester/LLL_FPInt.h"
#include "latticetester/LLL_lt.h"

Namespaces
namespace	LatticeTester
	Lattice namespace.

Functions
template<typename IntMat , typename RealVec >
static void	LatticeTester::redLLL (IntMat &basis, double delta=0.99999, long dim=0, RealVec *sqlen=0)
	This file provides only static functions to reduce a lattice basis in some ways (pairwise, LLL, BKZ [4], [9], [10]).
template<typename IntMat >
static void	LatticeTester::redLLLExact (IntMat &basis, double delta=0.99999)
	This static function implements an exact algorithm from NTL to perform the original LLL reduction.
template<typename IntMat , typename RealVec >
static void	LatticeTester::redBKZ (IntMat &basis, double delta=0.99999, int64_t blocksize=10, long prune=0, long dim=0, RealVec *sqlen=0)
	This calls the NTL implementation of the floating point version of the BKZ reduction algorithm presented in [10], with reduction factor delta, block size blocksize, pruning parameter ‘prune’; see [7].
template<typename IntMat , typename RealVec >
void	LatticeTester::redLLL (IntMat &basis, double delta, long dim, RealVec *sqlen)
	This file provides only static functions to reduce a lattice basis in some ways (pairwise, LLL, BKZ [4], [9], [10]).
template<>
void	LatticeTester::redLLL (NTL::matrix< int64_t > &basis, double delta, long dim, NTL::vector< double > *sqlen)
template<>
void	LatticeTester::redLLL (NTL::matrix< NTL::ZZ > &basis, double delta, long dim, NTL::vector< double > *sqlen)
template<>
void	LatticeTester::redLLL (NTL::matrix< NTL::ZZ > &basis, double delta, long dim, NTL::vector< xdouble > *sqlen)
template<>
void	LatticeTester::redLLL (NTL::matrix< NTL::ZZ > &basis, double delta, long dim, NTL::vector< quad_float > *sqlen)
template<>
void	LatticeTester::redLLL (NTL::matrix< NTL::ZZ > &basis, double delta, long dim, NTL::vector< NTL::RR > *sqlen)
template<typename IntMat >
void	LatticeTester::redLLLExact (IntMat &basis, double delta)
	This static function implements an exact algorithm from NTL to perform the original LLL reduction.
template<>
void	LatticeTester::redLLLExact (NTL::matrix< NTL::ZZ > &basis, double delta)
template<typename IntMat , typename RealVec >
void	LatticeTester::redBKZ (IntMat &basis, double delta, long blocksize, long prune, long dim, RealVec *sqlen)
template<>
void	LatticeTester::redBKZ (NTL::matrix< int64_t > &basis, double delta, long blocksize, long prune, long dim, NTL::vector< double > *sqlen)
template<>
void	LatticeTester::redBKZ (NTL::matrix< NTL::ZZ > &basis, double delta, long blocksize, long prune, long dim, NTL::vector< double > *sqlen)
template<>
void	LatticeTester::redBKZ (NTL::matrix< NTL::ZZ > &basis, double delta, long blocksize, long prune, long dim, NTL::vector< xdouble > *sqlen)
template<>
void	LatticeTester::redBKZ (NTL::matrix< NTL::ZZ > &basis, double delta, long blocksize, long prune, long dim, NTL::vector< quad_float > *sqlen)
template<>
void	LatticeTester::redBKZ (NTL::matrix< NTL::ZZ > &basis, double delta, long blocksize, long prune, long dim, NTL::vector< NTL::RR > *sqlen)