#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
1.9.4