lll.cpp File Reference

#include "lll.h"
#include "util.h"

Functions
static FPLLL_BEGIN_NAMESPACE bool	is_power_of_2 (int i)
template<class ZT , class FT >
bool	is_lll_reduced (MatGSOInterface< ZT, FT > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< mpz_t >, FP_NR< double > > (MatGSOInterface< Z_NR< mpz_t >, FP_NR< double > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< long >, FP_NR< double > > (MatGSOInterface< Z_NR< long >, FP_NR< double > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< double >, FP_NR< double > > (MatGSOInterface< Z_NR< double >, FP_NR< double > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< mpz_t >, FP_NR< long double > > (MatGSOInterface< Z_NR< mpz_t >, FP_NR< long double > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< long >, FP_NR< long double > > (MatGSOInterface< Z_NR< long >, FP_NR< long double > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< double >, FP_NR< long double > > (MatGSOInterface< Z_NR< double >, FP_NR< long double > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< mpz_t >, FP_NR< dd_real > > (MatGSOInterface< Z_NR< mpz_t >, FP_NR< dd_real > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< long >, FP_NR< dd_real > > (MatGSOInterface< Z_NR< long >, FP_NR< dd_real > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< double >, FP_NR< dd_real > > (MatGSOInterface< Z_NR< double >, FP_NR< dd_real > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< mpz_t >, FP_NR< qd_real > > (MatGSOInterface< Z_NR< mpz_t >, FP_NR< qd_real > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< long >, FP_NR< qd_real > > (MatGSOInterface< Z_NR< long >, FP_NR< qd_real > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< double >, FP_NR< qd_real > > (MatGSOInterface< Z_NR< double >, FP_NR< qd_real > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< mpz_t >, FP_NR< dpe_t > > (MatGSOInterface< Z_NR< mpz_t >, FP_NR< dpe_t > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< long >, FP_NR< dpe_t > > (MatGSOInterface< Z_NR< long >, FP_NR< dpe_t > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< double >, FP_NR< dpe_t > > (MatGSOInterface< Z_NR< double >, FP_NR< dpe_t > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< mpz_t >, FP_NR< mpfr_t > > (MatGSOInterface< Z_NR< mpz_t >, FP_NR< mpfr_t > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< long >, FP_NR< mpfr_t > > (MatGSOInterface< Z_NR< long >, FP_NR< mpfr_t > > &m, double delta, double eta)
template bool	is_lll_reduced< Z_NR< double >, FP_NR< mpfr_t > > (MatGSOInterface< Z_NR< double >, FP_NR< mpfr_t > > &m, double delta, double eta)

Function Documentation

is_lll_reduced()

template<class ZT , class FT >

bool is_lll_reduced	(	MatGSOInterface< ZT, FT > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< double >, FP_NR< dd_real > >()

template bool is_lll_reduced< Z_NR< double >, FP_NR< dd_real > >	(	MatGSOInterface< Z_NR< double >, FP_NR< dd_real > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< double >, FP_NR< double > >()

template bool is_lll_reduced< Z_NR< double >, FP_NR< double > >	(	MatGSOInterface< Z_NR< double >, FP_NR< double > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< double >, FP_NR< dpe_t > >()

template bool is_lll_reduced< Z_NR< double >, FP_NR< dpe_t > >	(	MatGSOInterface< Z_NR< double >, FP_NR< dpe_t > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< double >, FP_NR< long double > >()

template bool is_lll_reduced< Z_NR< double >, FP_NR< long double > >	(	MatGSOInterface< Z_NR< double >, FP_NR< long double > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< double >, FP_NR< mpfr_t > >()

template bool is_lll_reduced< Z_NR< double >, FP_NR< mpfr_t > >	(	MatGSOInterface< Z_NR< double >, FP_NR< mpfr_t > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< double >, FP_NR< qd_real > >()

template bool is_lll_reduced< Z_NR< double >, FP_NR< qd_real > >	(	MatGSOInterface< Z_NR< double >, FP_NR< qd_real > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< long >, FP_NR< dd_real > >()

template bool is_lll_reduced< Z_NR< long >, FP_NR< dd_real > >	(	MatGSOInterface< Z_NR< long >, FP_NR< dd_real > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< long >, FP_NR< double > >()

template bool is_lll_reduced< Z_NR< long >, FP_NR< double > >	(	MatGSOInterface< Z_NR< long >, FP_NR< double > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< long >, FP_NR< dpe_t > >()

template bool is_lll_reduced< Z_NR< long >, FP_NR< dpe_t > >	(	MatGSOInterface< Z_NR< long >, FP_NR< dpe_t > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< long >, FP_NR< long double > >()

template bool is_lll_reduced< Z_NR< long >, FP_NR< long double > >	(	MatGSOInterface< Z_NR< long >, FP_NR< long double > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< long >, FP_NR< mpfr_t > >()

template bool is_lll_reduced< Z_NR< long >, FP_NR< mpfr_t > >	(	MatGSOInterface< Z_NR< long >, FP_NR< mpfr_t > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< long >, FP_NR< qd_real > >()

template bool is_lll_reduced< Z_NR< long >, FP_NR< qd_real > >	(	MatGSOInterface< Z_NR< long >, FP_NR< qd_real > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< mpz_t >, FP_NR< dd_real > >()

template bool is_lll_reduced< Z_NR< mpz_t >, FP_NR< dd_real > >	(	MatGSOInterface< Z_NR< mpz_t >, FP_NR< dd_real > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< mpz_t >, FP_NR< double > >()

template bool is_lll_reduced< Z_NR< mpz_t >, FP_NR< double > >	(	MatGSOInterface< Z_NR< mpz_t >, FP_NR< double > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< mpz_t >, FP_NR< dpe_t > >()

template bool is_lll_reduced< Z_NR< mpz_t >, FP_NR< dpe_t > >	(	MatGSOInterface< Z_NR< mpz_t >, FP_NR< dpe_t > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< mpz_t >, FP_NR< long double > >()

template bool is_lll_reduced< Z_NR< mpz_t >, FP_NR< long double > >	(	MatGSOInterface< Z_NR< mpz_t >, FP_NR< long double > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< mpz_t >, FP_NR< mpfr_t > >()

template bool is_lll_reduced< Z_NR< mpz_t >, FP_NR< mpfr_t > >	(	MatGSOInterface< Z_NR< mpz_t >, FP_NR< mpfr_t > > &	m,
		double	delta,
		double	eta
	)

is_lll_reduced< Z_NR< mpz_t >, FP_NR< qd_real > >()

template bool is_lll_reduced< Z_NR< mpz_t >, FP_NR< qd_real > >	(	MatGSOInterface< Z_NR< mpz_t >, FP_NR< qd_real > > &	m,
		double	delta,
		double	eta
	)

is_power_of_2()

static FPLLL_BEGIN_NAMESPACE bool is_power_of_2 ( int  i )

inlinestatic