#include <cstring>
#include <gso.h>
#include <gso_gram.h>
#include <gso_interface.h>
#include <householder.h>
#include <nr/matrix.h>
#include <test_utils.h>
Macros | |
#define | TESTDATADIR ".." |
Functions | |
template<class ZT , class FT > | |
Matrix< FT > | matrix_relative_difference (Matrix< FT > r1, Matrix< FT > r2) |
template<class ZT , class FT > | |
bool | rs_are_equal (MatGSO< ZT, FT > M1, MatGSOGram< ZT, FT > M2, FT error) |
template<class FT > | |
void | assert_diag_R (FT rhd, int i, int &status) |
template<class FT > | |
void | assert_mu_r_householder (FT rh, FT rhd, FT mu, FT r, int &status) |
template<class ZT , class FT > | |
int | test_householder (ZZ_mat< ZT > &A) |
template<class ZT , class FT > | |
int | test_ggso (ZZ_mat< ZT > &A) |
template<class ZT , class FT > | |
int | test_filename (const char *input_filename) |
template<class ZT , class FT > | |
int | test_int_rel (int d, int b) |
Construct d × (d+1) integer relations matrix with bit size b and test LLL. More... | |
int | main (int, char **) |
Macro Definition Documentation
◆ TESTDATADIR
#define TESTDATADIR ".." |
Function Documentation
◆ assert_diag_R()
template<class FT >
void assert_diag_R | ( | FT | rhd, |
int | i, | ||
int & | status | ||
) |
◆ assert_mu_r_householder()
template<class FT >
void assert_mu_r_householder | ( | FT | rh, |
FT | rhd, | ||
FT | mu, | ||
FT | r, | ||
int & | status | ||
) |
◆ main()
int main | ( | int | , |
char ** | |||
) |
◆ matrix_relative_difference()
template<class ZT , class FT >
Matrix< FT > matrix_relative_difference | ( | Matrix< FT > | r1, |
Matrix< FT > | r2 | ||
) |
◆ rs_are_equal()
template<class ZT , class FT >
bool rs_are_equal | ( | MatGSO< ZT, FT > | M1, |
MatGSOGram< ZT, FT > | M2, | ||
FT | error | ||
) |
◆ test_filename()
template<class ZT , class FT >
int test_filename | ( | const char * | input_filename | ) |
◆ test_ggso()
template<class ZT , class FT >
int test_ggso | ( | ZZ_mat< ZT > & | A | ) |
◆ test_householder()
template<class ZT , class FT >
int test_householder | ( | ZZ_mat< ZT > & | A | ) |
Test if: mu(i, j) = R(i, j) / R(j, j) r(i, j) = R(i, j) * R(j, j)
◆ test_int_rel()
template<class ZT , class FT >
int test_int_rel | ( | int | d, |
int | b | ||
) |
Construct d × (d+1) integer relations matrix with bit size b and test LLL.
- Parameters
-
d dimension b bit size method LLL method to test float_type floating point type to test flags flags to use prec precision used for is_lll_reduced
- Returns
- zero on success