hlll.cpp File Reference
#include "hlll.h"
#include "util.h"

Functions

template<class ZT , class FT >
int is_hlll_reduced (MatHouseholder< ZT, FT > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< mpz_t >, FP_NR< double > > (MatHouseholder< Z_NR< mpz_t >, FP_NR< double > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< long >, FP_NR< double > > (MatHouseholder< Z_NR< long >, FP_NR< double > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< double >, FP_NR< double > > (MatHouseholder< Z_NR< double >, FP_NR< double > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< mpz_t >, FP_NR< long double > > (MatHouseholder< Z_NR< mpz_t >, FP_NR< long double > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< long >, FP_NR< long double > > (MatHouseholder< Z_NR< long >, FP_NR< long double > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< double >, FP_NR< long double > > (MatHouseholder< Z_NR< double >, FP_NR< long double > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< mpz_t >, FP_NR< qd_real > > (MatHouseholder< Z_NR< mpz_t >, FP_NR< qd_real > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< long >, FP_NR< qd_real > > (MatHouseholder< Z_NR< long >, FP_NR< qd_real > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< double >, FP_NR< qd_real > > (MatHouseholder< Z_NR< double >, FP_NR< qd_real > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< mpz_t >, FP_NR< dd_real > > (MatHouseholder< Z_NR< mpz_t >, FP_NR< dd_real > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< long >, FP_NR< dd_real > > (MatHouseholder< Z_NR< long >, FP_NR< dd_real > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< double >, FP_NR< dd_real > > (MatHouseholder< Z_NR< double >, FP_NR< dd_real > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< mpz_t >, FP_NR< dpe_t > > (MatHouseholder< Z_NR< mpz_t >, FP_NR< dpe_t > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< long >, FP_NR< dpe_t > > (MatHouseholder< Z_NR< long >, FP_NR< dpe_t > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< double >, FP_NR< dpe_t > > (MatHouseholder< Z_NR< double >, FP_NR< dpe_t > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< mpz_t >, FP_NR< mpfr_t > > (MatHouseholder< Z_NR< mpz_t >, FP_NR< mpfr_t > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< long >, FP_NR< mpfr_t > > (MatHouseholder< Z_NR< long >, FP_NR< mpfr_t > > &m, double delta, double eta, double theta)
 
template int is_hlll_reduced< Z_NR< double >, FP_NR< mpfr_t > > (MatHouseholder< Z_NR< double >, FP_NR< mpfr_t > > &m, double delta, double eta, double theta)
 

Function Documentation

◆ is_hlll_reduced()

template<class ZT , class FT >
int is_hlll_reduced ( MatHouseholder< ZT, FT > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< double >, FP_NR< dd_real > >()

template int is_hlll_reduced< Z_NR< double >, FP_NR< dd_real > > ( MatHouseholder< Z_NR< double >, FP_NR< dd_real > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< double >, FP_NR< double > >()

template int is_hlll_reduced< Z_NR< double >, FP_NR< double > > ( MatHouseholder< Z_NR< double >, FP_NR< double > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< double >, FP_NR< dpe_t > >()

template int is_hlll_reduced< Z_NR< double >, FP_NR< dpe_t > > ( MatHouseholder< Z_NR< double >, FP_NR< dpe_t > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< double >, FP_NR< long double > >()

template int is_hlll_reduced< Z_NR< double >, FP_NR< long double > > ( MatHouseholder< Z_NR< double >, FP_NR< long double > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< double >, FP_NR< mpfr_t > >()

template int is_hlll_reduced< Z_NR< double >, FP_NR< mpfr_t > > ( MatHouseholder< Z_NR< double >, FP_NR< mpfr_t > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< double >, FP_NR< qd_real > >()

template int is_hlll_reduced< Z_NR< double >, FP_NR< qd_real > > ( MatHouseholder< Z_NR< double >, FP_NR< qd_real > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< long >, FP_NR< dd_real > >()

template int is_hlll_reduced< Z_NR< long >, FP_NR< dd_real > > ( MatHouseholder< Z_NR< long >, FP_NR< dd_real > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< long >, FP_NR< double > >()

template int is_hlll_reduced< Z_NR< long >, FP_NR< double > > ( MatHouseholder< Z_NR< long >, FP_NR< double > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< long >, FP_NR< dpe_t > >()

template int is_hlll_reduced< Z_NR< long >, FP_NR< dpe_t > > ( MatHouseholder< Z_NR< long >, FP_NR< dpe_t > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< long >, FP_NR< long double > >()

template int is_hlll_reduced< Z_NR< long >, FP_NR< long double > > ( MatHouseholder< Z_NR< long >, FP_NR< long double > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< long >, FP_NR< mpfr_t > >()

template int is_hlll_reduced< Z_NR< long >, FP_NR< mpfr_t > > ( MatHouseholder< Z_NR< long >, FP_NR< mpfr_t > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< long >, FP_NR< qd_real > >()

template int is_hlll_reduced< Z_NR< long >, FP_NR< qd_real > > ( MatHouseholder< Z_NR< long >, FP_NR< qd_real > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< mpz_t >, FP_NR< dd_real > >()

template int is_hlll_reduced< Z_NR< mpz_t >, FP_NR< dd_real > > ( MatHouseholder< Z_NR< mpz_t >, FP_NR< dd_real > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< mpz_t >, FP_NR< double > >()

template int is_hlll_reduced< Z_NR< mpz_t >, FP_NR< double > > ( MatHouseholder< Z_NR< mpz_t >, FP_NR< double > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< mpz_t >, FP_NR< dpe_t > >()

template int is_hlll_reduced< Z_NR< mpz_t >, FP_NR< dpe_t > > ( MatHouseholder< Z_NR< mpz_t >, FP_NR< dpe_t > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< mpz_t >, FP_NR< long double > >()

template int is_hlll_reduced< Z_NR< mpz_t >, FP_NR< long double > > ( MatHouseholder< Z_NR< mpz_t >, FP_NR< long double > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< mpz_t >, FP_NR< mpfr_t > >()

template int is_hlll_reduced< Z_NR< mpz_t >, FP_NR< mpfr_t > > ( MatHouseholder< Z_NR< mpz_t >, FP_NR< mpfr_t > > &  m,
double  delta,
double  eta,
double  theta 
)

◆ is_hlll_reduced< Z_NR< mpz_t >, FP_NR< qd_real > >()

template int is_hlll_reduced< Z_NR< mpz_t >, FP_NR< qd_real > > ( MatHouseholder< Z_NR< mpz_t >, FP_NR< qd_real > > &  m,
double  delta,
double  eta,
double  theta 
)