test_bkz_gram.cpp File Reference

#include "io/json.hpp"
#include <cstring>
#include <fplll.h>
#include <gso_gram.h>
#include <gso_interface.h>
#include <test_utils.h>

Macros
#define	TESTDATADIR   ".."

Typedefs
using	json = nlohmann::json

Functions
template<class ZT >
bool	gram_is_equal (ZZ_mat< ZT > b, ZZ_mat< ZT > G)
template<class ZT >
int	test_bkz (ZZ_mat< ZT > &A, const int block_size, FloatType float_type, int flags=BKZ_DEFAULT, int prec=0)
	Test BKZ reduction. More...
template<class ZT >
int	test_filename (const char *input_filename, const int block_size, FloatType float_type=FT_DEFAULT, int flags=BKZ_DEFAULT, int prec=0)
	Test BKZ for matrix stored in file pointed to by input_filename. More...
template<class ZT >
int	test_int_rel (int d, int b, const int block_size, FloatType float_type=FT_DEFAULT, int flags=BKZ_DEFAULT, int prec=0)
	Construct d × (d+1) integer relations matrix with bit size b and test BKZ. More...
int	main (int, char **)

Macro Definition Documentation

TESTDATADIR

#define TESTDATADIR   ".."

Typedef Documentation

json

using json = nlohmann::json

Function Documentation

gram_is_equal()

template<class ZT >

bool gram_is_equal	(	ZZ_mat< ZT >	b,
		ZZ_mat< ZT >	G
	)

main()

int main	(	int	,
		char **
	)

test_bkz()

template<class ZT >

int test_bkz	(	ZZ_mat< ZT > &	A,
		const int	block_size,
		FloatType	float_type,
		int	flags = BKZ_DEFAULT,
		int	prec = 0
	)

Test BKZ reduction.

Parameters

A	test matrix
block_size	block size
float_type	floating point type to test
flags	flags to use
prec	precision if mpfr is used

Returns

zero on success.

test_filename()

template<class ZT >

int test_filename	(	const char *	input_filename,
		const int	block_size,
		FloatType	float_type = FT_DEFAULT,
		int	flags = BKZ_DEFAULT,
		int	prec = 0
	)

Test BKZ for matrix stored in file pointed to by input_filename.

Parameters

input_filename	a path
block_size	block size
float_type	floating point type to test
flags	flags to use
prec	precision if mpfr is used

Returns

zero on success

test_int_rel()

template<class ZT >

int test_int_rel	(	int	d,
		int	b,
		const int	block_size,
		FloatType	float_type = FT_DEFAULT,
		int	flags = BKZ_DEFAULT,
		int	prec = 0
	)

Construct d × (d+1) integer relations matrix with bit size b and test BKZ.

Parameters

d	dimension
b	bit size
block_size	block size
float_type	floating point type to test
flags	flags to use
prec	precision if mpfr is used

Returns

zero on success