Inheritance diagram for LatMRG::MMRGLattice< Int, Real >:

Public Member Functions
	MMRGLattice (const Int &m, const IntMat &A, int maxDim, LatticeTester::NormType norm=LatticeTester::L2NORM, LatticeType lat=FULL)
	Constructor with modulus of congruence \(m\), order of the recurrence \(k\), multipliers in aa, and maximal dimension maxDim.
	MMRGLattice (const Int &m, const IntMat &A, int maxDim, LacunaryType &lacunaryType, IntVec &lac, LatticeTester::NormType norm=LatticeTester::L2NORM, LatticeType lat=FULL)
	As in the constructor above but the basis is built for the lacunary indices lac.
	MMRGLattice (const MMRGLattice< Int, Real > &Lat)
	Copy constructor.
	~MMRGLattice ()
	Destructor.
void	kill ()
	Cleans and releases memory used by this object.
MMRGLattice< Int, Real > &	operator= (const MMRGLattice< Int, Real > &Lat)
	Assigns Lat to this object.
Int &	getLac (int j)
	Returns the \(j\)-th lacunary index.
virtual void	setLac (const LatticeTester::Lacunary< Int > &lat)
	Sets the lacunary indices for this lattice to lat.
std::string	toString () const
	Returns the generator matrix \(A\) as a string.
void	buildBasis (int64_t d) override
	Builds the basis in dimension \(d\).
void	incDimBasis () override
	Increments the dimension of the basis by 1 by calling either incDimBasis or incDimLaBasis.
void	setB (IntMat B)
	Sets the matrix B.
bool	isLacunary () const
	Returns true for the case of lacunary indices, returns false for non-lacunary indices.
const IntMat &	getGeneratorMatrix () const
	Returns a non-mutable copy of the generator matrix of the MMRG.
void	getSubLine (IntVec &vec, IntMat &B, int lign, int jMin, int jMax)

Protected Member Functions
void	init ()
	Initializes some of the local variables.
void	buildNonLacunaryBasis (int d)
	Builds the basis of the MMRG recurrence in case of non-lacunary indices.
void	buildLacunaryBasis (int dimension)
	Builds the basis of the MMRG recurrence in case of lacunary indices.
void	incrementDimNonLacunaryBasis ()
	Increments the basis by 1 in case of non-lacunary indices.
void	incrementDimLacunaryBasis (int Imax)
	Increments the basis by 1 in case of lacunary indices.

Protected Attributes
IntMat	m_A
	The generator matrix of the recurrence.
IntMat	m_basis_max
	Basis that is always of a dimension that is a multiple of the order and that is always of a greater or equal dimension than the current basis.
LatticeType	m_latType
	Indicates which lattice or sublattice is analyzed.
bool	m_lacunaryFlag
	Is true in the case of lacunary indices, false otherwise.
LacunaryType	m_lacunaryType
	Type of the lacunary projection selected.
LatticeTester::Lacunary< Int >	m_lac
	Contains the lacunary indices when LacunaryFlag is true, otherwise is undefined.
int	m_numberLacIndices
	Contains the number of lacunary indices.
IntMat	m_B
	Matrix used for lacunary indices.

Detailed Description

template<typename Int, typename Real>
class LatMRG::MMRGLattice< Int, Real >

Todo: Make this class not use/compute the dual if not asked.

This class implements lattice basis built from M-MRG (matrix multiple recursive linear congruential generators). One must first call the constructor with a given congruence modulus \(m\), a given generator matrix for the recurrence, and a maximal dimension for the basis. One must then build the lattice basis associated to the generator matrix for a given dimension. Each MMRG is defined by a generator matrix \(A\). This MMRG satisfies the recurrence

\[ X_n = A X_{n-1} \mod m. \]