test_lll_gram.cpp File Reference

#include <cstring>
#include <fplll.h>
#include <gso.h>
#include <gso_gram.h>
#include <gso_interface.h>
#include <lll.h>
#include <test_utils.h>

Macros
#define	TESTDATADIR   ".."

Functions
template<class ZT , class FT >
int	is_already_reduced (ZZ_mat< ZT > &A, Matrix< Z_NR< ZT > > &G)
template<class ZT , class FT >
int	test_lll (ZZ_mat< ZT > &A)
	Tests whether LLL applied on A is equivalent to LLLGram applied on G = A*A^T. More...
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

is_already_reduced()

template<class ZT , class FT >

int is_already_reduced	(	ZZ_mat< ZT > &	A,
		Matrix< Z_NR< ZT > > &	G
	)

main()

int main	(	int	,
		char **
	)

test_filename()

template<class ZT , class FT >

int test_filename

(

const char *

input_filename

)

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

Returns

zero on success

test_lll()

template<class ZT , class FT >

int test_lll

(

ZZ_mat< ZT > &

A

)

Tests whether LLL applied on A is equivalent to LLLGram applied on G = A*A^T.

Parameters

A	basis matrix of a lattice

Returns

zero on success