Lattice.h File Reference

Go to the source code of this file.

Functions

void AffineHermite (Lattice *A, Lattice **H, Matrix **U)
void AffineSmith (Lattice *A, Lattice **U, Lattice **V, Lattice **Diag)
Lattice * ChangeLatticeDimension (Lattice *A, int dimension)
Lattice * EmptyLattice (int dimension)
Lattice * ExtractLinearPart (Lattice *A)
int FindHermiteBasisofDomain (Polyhedron *A, Matrix **B)
Lattice * Homogenise (Lattice *A, Bool Forward)
int intcompare (const void *a, const void *b)
Bool isEmptyLattice (Lattice *A)
Bool isfulldim (Matrix *m)
Bool IsLattice (Matrix *m)
Bool isLinear (Lattice *A)
LatticeUnion * LatticeDifference (Lattice *A, Lattice *B)
 Method :.
Lattice * LatticeImage (Lattice *A, Matrix *M)
Bool LatticeIncludes (Lattice *A, Lattice *B)
Lattice * LatticeIntersection (Lattice *X, Lattice *Y)
Lattice * LatticePreimage (Lattice *L, Matrix *G)
LatticeUnion * LatticeSimplify (LatticeUnion *latlist)
LatticeUnion * LatticeUnion_Alloc (void)
void LatticeUnion_Free (LatticeUnion *Head)
void PrintLatticeUnion (FILE *fp, char *format, LatticeUnion *Head)
Bool sameAffinepart (Lattice *A, Lattice *B)
Bool sameLattice (Lattice *A, Lattice *B)
LatticeUnion * Lattice2LatticeUnion (Lattice *X, Lattice *Y)

Function Documentation

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

Definition at line 176 of file Lattice.c.

References False, Hermite(), Homogenise(), isLinear(), Matrix_Copy(), Matrix_Free(), and True.

Referenced by AddLattice(), AddZPolytoZDomain(), CanonicalForm(), LatticeDifference(), LatticeIncludes(), LatticeIntersection(), main(), sameLattice(), and SplitZpolyhedron().

void AffineSmith ( Lattice *  A,
Lattice **  U,
Lattice **  V,
Lattice **  Diag 
)

Definition at line 221 of file Lattice.c.

References False, Homogenise(), Matrix_Alloc(), Matrix_Copy(), Matrix_Free(), Matrix_Inverse(), matrix::NbColumns, matrix::NbRows, p, matrix::p, Smith(), True, value_addmul, value_addto, value_assign, value_clear, value_decrement, value_division, value_init, value_modulus, value_neg_p, value_print, and value_set_si.

Referenced by main().

Lattice* ChangeLatticeDimension ( Lattice *  A,
int  dimension 
)

Definition at line 409 of file Lattice.c.

References Matrix_Alloc(), matrix::NbRows, matrix::p, value_assign, and value_set_si.

Referenced by CanonicalForm(), FindHermiteBasisofDomain(), and Lattice2LatticeUnion().

Lattice* EmptyLattice ( int  dimension  ) 

Definition at line 95 of file Lattice.c.

References Matrix_Alloc(), matrix::p, and value_set_si.

Referenced by EmptyZPolyhedron(), LatticeImage(), LatticeIntersection(), LatticePreimage(), and main().

Lattice* ExtractLinearPart ( Lattice *  A  ) 

Definition at line 439 of file Lattice.c.

References Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, and value_assign.

Referenced by Lattice2LatticeUnion().

int FindHermiteBasisofDomain ( Polyhedron *  A,
Matrix **  B 
)

Definition at line 990 of file Lattice.c.

References ChangeLatticeDimension(), polyhedron::Constraint, polyhedron::Dimension, Domain_Free(), DomainImage(), emptyQ, findHermiteBasis(), Identity(), Matrix_Alloc(), Matrix_Copy(), Matrix_Free(), Matrix_Inverse(), Matrix_Product(), MAXNOOFRAYS, matrix::NbColumns, polyhedron::NbConstraints, polyhedron::NbRays, matrix::NbRows, matrix::p, POL_ENSURE_FACETS, POL_ENSURE_VERTICES, polyhedron::Ray, RemoveColumn(), value_assign, value_clear, value_division, value_init, value_lcm, value_multiply, value_notzero_p, value_set_si, value_subtract, and value_zero_p.

Referenced by CanonicalForm().

Lattice* Homogenise ( Lattice *  A,
Bool  Forward 
)

Definition at line 312 of file Lattice.c.

References Matrix_Copy(), matrix::NbColumns, matrix::NbRows, PutColumnFirst(), PutColumnLast(), PutRowFirst(), PutRowLast(), and True.

Referenced by AffineHermite(), AffineSmith(), and isinHnf().

int intcompare ( const void *  a,
const void *  b 
)

Definition at line 1663 of file Lattice.c.

Referenced by allfactors().

Bool isEmptyLattice ( Lattice *  A  ) 

Definition at line 118 of file Lattice.c.

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

Referenced by IntegraliseLattice(), isEmptyZPolyhedron(), Lattice2LatticeUnion(), LatticeDifference(), LatticeIntersection(), main(), SplitZpolyhedron(), ZPolyhedron_Alloc(), ZPolyhedronImage(), ZPolyhedronIntersection(), and ZPolyhedronPreimage().

Bool isfulldim ( Matrix *  m  ) 

Definition at line 1267 of file Lattice.c.

References False, Hermite(), Matrix_Free(), matrix::NbRows, matrix::p, True, and value_zero_p.

Referenced by ZPolyhedron_Alloc().

Bool IsLattice ( Matrix *  m  ) 

Definition at line 1239 of file Lattice.c.

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

Referenced by ZPolyhedron_Alloc().

Bool isLinear ( Lattice *  A  ) 

Definition at line 145 of file Lattice.c.

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

Referenced by AffineHermite().

LatticeUnion* Lattice2LatticeUnion ( Lattice *  X,
Lattice *  Y 
)

Definition at line 674 of file Lattice.c.

References ChangeLatticeDimension(), ExtractLinearPart(), isEmptyLattice(), LatticeIntersection(), Matrix_Alloc(), Matrix_Copy(), Matrix_Free(), Matrix_Inverse(), Matrix_Product(), matrix::NbColumns, matrix::NbRows, matrix::p, Smith(), SplitLattice(), True, value_assign, value_clear, value_division, and value_init.

Referenced by LatticeDifference(), and SplitZpolyhedron().

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

Method :.

Definition at line 814 of file Lattice.c.

References AffineHermite(), isEmptyLattice(), isinHnf(), Lattice2LatticeUnion(), LatticeSimplify(), LatticeUnion::M, Matrix_Copy(), Matrix_Free(), matrix::NbColumns, matrix::NbRows, LatticeUnion::next, and True.

Referenced by main(), and ZPolyhedronDifference().

Lattice* LatticeImage ( Lattice *  A,
Matrix *  M 
)

Definition at line 1126 of file Lattice.c.

References EmptyLattice(), LatticePreimage(), Matrix_Alloc(), Matrix_Copy(), Matrix_Free(), Matrix_Inverse(), Matrix_Product(), matrix::NbColumns, matrix::NbRows, matrix::p, and value_one_p.

Referenced by IntegraliseLattice(), main(), and ZPolyhedronImage().

Bool LatticeIncludes ( Lattice *  A,
Lattice *  B 
)

Definition at line 340 of file Lattice.c.

References AffineHermite(), False, LatticeIntersection(), Matrix_Free(), sameLattice(), and True.

Referenced by main(), and ZPolyhedronIncludes().

Lattice* LatticeIntersection ( Lattice *  X,
Lattice *  Y 
)

Definition at line 475 of file Lattice.c.

References AffineHermite(), EmptyLattice(), isEmptyLattice(), isinHnf(), MakeDioEqforInter(), Matrix_Alloc(), Matrix_Copy(), Matrix_Free(), matrix::NbColumns, matrix::NbRows, Vector::p, matrix::p, SolveDiophantine(), value_assign, value_set_si, and Vector_Free().

Referenced by Lattice2LatticeUnion(), LatticeIncludes(), main(), and ZPolyhedronIntersection().

Lattice* LatticePreimage ( Lattice *  L,
Matrix *  G 
)

Definition at line 1165 of file Lattice.c.

References EmptyLattice(), Matrix_Alloc(), Matrix_Free(), matrix::NbColumns, matrix::NbRows, Vector::p, matrix::p, SolveDiophantine(), value_assign, value_clear, value_init, value_multiply, value_oppose, value_set_si, value_subtract, and Vector_Free().

Referenced by LatticeImage(), main(), and ZPolyhedronPreimage().

LatticeUnion* LatticeSimplify ( LatticeUnion *  latlist  ) 

Definition at line 1636 of file Lattice.c.

References AffinePartSimplify(), False, LinearPartSort(), LatticeUnion::next, SameLinearPart(), and True.

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

LatticeUnion* LatticeUnion_Alloc ( void   ) 

Definition at line 60 of file Lattice.c.

References LatticeUnion::M, and LatticeUnion::next.

Referenced by main().

void LatticeUnion_Free ( LatticeUnion *  Head  ) 

Definition at line 44 of file Lattice.c.

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

Referenced by main(), and ZDomainSimplify().

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

Definition at line 32 of file Lattice.c.

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

Referenced by main().

Bool sameAffinepart ( Lattice *  A,
Lattice *  B 
)

Definition at line 74 of file Lattice.c.

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

Bool sameLattice ( Lattice *  A,
Lattice *  B 
)

Definition at line 371 of file Lattice.c.

References AffineHermite(), False, Matrix_Free(), matrix::NbColumns, matrix::NbRows, matrix::p, True, and value_ne.

Referenced by AddZPolytoZDomain(), and LatticeIncludes().

Generated on Wed Nov 25 17:45:27 2009 for polylib by  doxygen 1.6.1