Lattice.h File Reference

Go to the source code of this file.

Functions
void	AffineHermite (Matrix *A, Matrix **H, Matrix **U)
Bool	isEmptyLattice (Matrix *A)
LatticeUnion *	LatticeUnion_Alloc (void)
void	LatticeUnion_Free (LatticeUnion *Head)
LatticeUnion *	LatticeDifference (Matrix *A, Matrix *B)
Bool	LatticeIncluded (Matrix *A, Matrix *B)
Matrix *	LatticeIntersection (Matrix *X, Matrix *Y)
void	PrintLatticeUnion (FILE *fp, char *format, LatticeUnion *Head)
int	LatCountZeroCols (Matrix *M)
Bool	isEqualLattice (Matrix *A, Matrix *B)
Bool	isSameLatticeSpace (Matrix *A, Matrix *B)
void	Matrix_Move_Homogeneous_Dim_First (Matrix *A)
void	Matrix_Move_Homogeneous_Dim_Last (Matrix *A)
Bool	isNormalLattice (Matrix *A)

Function Documentation

AffineHermite()

void AffineHermite	(	Matrix *	A,
		Matrix **	H,
		Matrix **	U
	)

Definition at line 221 of file Lattice.c.

References left_hermite(), Matrix_Move_Homogeneous_Dim_First(), and Matrix_Move_Homogeneous_Dim_Last().

Referenced by generate_lattice_union_row(), LatticeDifference(), main(), and sLBLSimplify_equalities().

isEmptyLattice()

Bool isEmptyLattice

(

Matrix *

A

)

Definition at line 57 of file Lattice.c.

References matrix::NbColumns.

Referenced by LatticeDifference(), and sLBLIntersection().

isEqualLattice()

Bool isEqualLattice	(	Matrix *	A,
		Matrix *	B
	)

Definition at line 394 of file Lattice.c.

References False, matrix::NbColumns, matrix::NbRows, matrix::p, True, and value_ne.

Referenced by CanonicalLBL(), and LBL_simple_inclusion_check().

isNormalLattice()

Bool isNormalLattice

(

Matrix *

A

)

Definition at line 136 of file Lattice.c.

References False, matrix::NbColumns, matrix::NbRows, matrix::p, True, value_ge, value_neg_p, value_notone_p, and value_notzero_p.

Referenced by LatticeDifference(), main(), and sLBL_Lat_Normalize().

isSameLatticeSpace()

Bool isSameLatticeSpace	(	Matrix *	A,
		Matrix *	B
	)

Definition at line 356 of file Lattice.c.

References False, matrix::NbColumns, matrix::NbRows, matrix::p, True, value_ne, and value_notzero_p.

Referenced by LatticeIncluded(), and LBLSimplify().

LatCountZeroCols()

int LatCountZeroCols

(

Matrix *

M

)

Definition at line 312 of file Lattice.c.

References matrix::NbColumns, matrix::NbRows, matrix::p, and value_notzero_p.

Referenced by LBLSimplify(), sLBL2ZDomain(), sLBLComplement(), sLBLCompute_holes(), and sLBLIntersection().

LatticeDifference()

LatticeUnion * LatticeDifference	(	Matrix *	A,
		Matrix *	B
	)

Definition at line 423 of file Lattice.c.

References AffineHermite(), errormsg1(), generate_lattice_union_row(), isEmptyLattice(), isNormalLattice(), LatticeIntersection(), LatticeUnion_Alloc(), lattice_union::M, Matrix_Alloc(), Matrix_Copy(), Matrix_Free(), Matrix_Print(), matrix::NbColumns, matrix::NbRows, matrix::p, P_VALUE_FMT, PrintLatticeUnion(), value_assign, value_notzero_p, value_set_si, and Vector_Set().

Referenced by main(), and sLBLComplement().

LatticeIncluded()

Bool LatticeIncluded	(	Matrix *	A,
		Matrix *	B
	)

Definition at line 336 of file Lattice.c.

References False, isSameLatticeSpace(), LatticeIntersection(), Matrix_Free(), and True.

Referenced by LBLSimplify(), and main().

LatticeIntersection()

Matrix * LatticeIntersection	(	Matrix *	X,
		Matrix *	Y
	)

Definition at line 620 of file Lattice.c.

References errormsg1(), left_hermite(), Matrix_Alloc(), Matrix_Free(), Matrix_Move_Homogeneous_Dim_Last(), Matrix_Print(), matrix::NbColumns, matrix::NbRows, matrix::p, P_VALUE_FMT, value_assign, value_notone_p, and value_notzero_p.

Referenced by LatticeDifference(), LatticeIncluded(), main(), and sLBLIntersection().

LatticeUnion_Alloc()

LatticeUnion * LatticeUnion_Alloc

(

void

)

Definition at line 43 of file Lattice.c.

References lattice_union::M, and lattice_union::next.

Referenced by generate_lattice_union_row(), and LatticeDifference().

LatticeUnion_Free()

void LatticeUnion_Free

(

LatticeUnion *

Head

)

Definition at line 29 of file Lattice.c.

References lattice_union::M, Matrix_Free(), and lattice_union::next.

Referenced by LatticeDifference(), and main().

Matrix_Move_Homogeneous_Dim_First()

void Matrix_Move_Homogeneous_Dim_First

(

Matrix *

A

)

Definition at line 71 of file Lattice.c.

References matrix::NbColumns, matrix::NbRows, matrix::p, value_assign, value_clear, and value_init.

Referenced by AffineHermite(), and sLBL_Lat_Normalize().

Matrix_Move_Homogeneous_Dim_Last()

void Matrix_Move_Homogeneous_Dim_Last

(

Matrix *

A

)

Definition at line 107 of file Lattice.c.

References matrix::NbColumns, matrix::NbRows, matrix::p, value_assign, value_clear, and value_init.

Referenced by AffineHermite(), LatticeIntersection(), and sLBL_Lat_Normalize().

PrintLatticeUnion()

void PrintLatticeUnion	(	FILE *	fp,
		char *	format,
		LatticeUnion *	Head
	)

Definition at line 16 of file Lattice.c.

References lattice_union::M, Matrix_Print(), and lattice_union::next.

Referenced by LatticeDifference(), main(), and sLBLComplement().