Class implementing algorithms for lattice reduction. More...

#include <LatticeReduction.h>

Static Public Member Functions
static void	reduce (Tensor &t)
	Reduce a basis in place, maps to reduceFast() More...

static void	reduceSlow (Tensor &t)
	Reduce a basis in place using the slow algorithm (Algorithm 2 in the paper) More...

static void	reduceFast (Tensor &t)
	Reduce a basis in place using the fast algorithm (Algorithm 3 in the paper) More...

static bool	isReduced (const Tensor &t)
	Check if a basis is reduced. More...

Static Private Member Functions
static void	reduce (Vector &a, Vector &b)
	Gaussian reduction. More...

static void	reduce2 (Vector &a, Vector &b, Vector &c)
	Obtain three reduce-2 vectors (Algorithm 1 in the paper), equivalent to reduce2(Tensor&t) More...

static bool	isReduced (const Vector &a, const Vector &b)
	Check if two vectors are reduced. More...

static bool	isReduced (const Vector &a, const Vector &b, const Vector &c)
	Check if three vectors are reduced. More...

static bool	isReduced2 (const Vector &a, const Vector &b, const Vector &c)
	Check if three vectors are reduced-2. More...

static void	reduce2 (Tensor &t)
	Obtain three reduce-2 vectors (Algorithm 1 in the paper), equivalent to reduce2(Vector&a,Vector&b,Vector&c) More...

static void	sort (Vector v[3])
	Sort three vectors by modulo. More...

Detailed Description

Class implementing algorithms for lattice reduction.

This class implements algorithms described in Igor Semaev, A 3-Dimensional Lattice Reduction Algorithm, CaLC 2001, LNCS 2146, pp. 181–193, 2001. It just collect static methods in a separate namespace.

Member Function Documentation

bool PLMD::LatticeReduction::isReduced	(	const Vector &	a,
		const Vector &	b
	)

staticprivate

Check if two vectors are reduced.

static bool PLMD::LatticeReduction::isReduced	(	const Vector &	a,
		const Vector &	b,
		const Vector &	c
	)

staticprivate

Check if three vectors are reduced.

bool PLMD::LatticeReduction::isReduced ( const Tensor & t )

static

Check if a basis is reduced.

bool PLMD::LatticeReduction::isReduced2	(	const Vector &	a,
		const Vector &	b,
		const Vector &	c
	)

staticprivate

Check if three vectors are reduced-2.

void PLMD::LatticeReduction::reduce	(	Vector &	a,
		Vector &	b
	)

staticprivate

Gaussian reduction.

void PLMD::LatticeReduction::reduce ( Tensor & t )

static

Reduce a basis in place, maps to reduceFast()

void PLMD::LatticeReduction::reduce2	(	Vector &	a,
		Vector &	b,
		Vector &	c
	)

staticprivate

Obtain three reduce-2 vectors (Algorithm 1 in the paper), equivalent to reduce2(Tensor&t)

void PLMD::LatticeReduction::reduce2 ( Tensor & t )

staticprivate

Obtain three reduce-2 vectors (Algorithm 1 in the paper), equivalent to reduce2(Vector&a,Vector&b,Vector&c)

void PLMD::LatticeReduction::reduceFast ( Tensor & t )

static

Reduce a basis in place using the fast algorithm (Algorithm 3 in the paper)

void PLMD::LatticeReduction::reduceSlow ( Tensor & t )

static

Reduce a basis in place using the slow algorithm (Algorithm 2 in the paper)

void PLMD::LatticeReduction::sort ( Vector v[3] )

staticprivate

Sort three vectors by modulo.

The documentation for this class was generated from the following files:

tools/LatticeReduction.h
tools/LatticeReduction.cpp

Static Public Member Functions

Static Private Member Functions

Detailed Description

Member Function Documentation