Go to the source code of this file.
|
Definition at line 159 of file Lattice.c. References Bool, False, Hermite(), Homogenise(), isLinear(), Lattice, Matrix, Matrix_Copy(), Matrix_Free(), and True. Referenced by AddLattice(), AddZPolytoZDomain(), CanonicalForm(), LatticeDifference(), LatticeIncludes(), LatticeIntersection(), main(), sameLattice(), and SplitZpolyhedron(). |
|
Definition at line 204 of file Lattice.c. References False, Homogenise(), Lattice, Matrix, Matrix_Alloc(), Matrix_Copy(), Matrix_Free(), Matrix_Inverse(), 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(). |
|
Definition at line 392 of file Lattice.c. References Lattice, Matrix_Alloc(), matrix::NbRows, matrix::p, value_assign, and value_set_si. Referenced by CanonicalForm(), FindHermiteBasisofDomain(), and Lattice2LatticeUnion(). |
|
Definition at line 78 of file Lattice.c. References Lattice, Matrix_Alloc(), matrix::p, and value_set_si. Referenced by EmptyZPolyhedron(), LatticeImage(), LatticeIntersection(), LatticePreimage(), and main(). |
|
Definition at line 422 of file Lattice.c. References Lattice, Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, and value_assign. Referenced by Lattice2LatticeUnion(). |
|
|
Definition at line 295 of file Lattice.c. References Lattice, Matrix, Matrix_Copy(), matrix::NbColumns, matrix::NbRows, PutColumnFirst(), PutColumnLast(), PutRowFirst(), PutRowLast(), and True. Referenced by AffineHermite(), AffineSmith(), and isinHnf(). |
|
Definition at line 1646 of file Lattice.c. Referenced by allfactors(). |
|
Definition at line 101 of file Lattice.c. References Bool, False, Lattice, 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(). |
|
Definition at line 1250 of file Lattice.c. References Bool, False, Hermite(), Matrix, Matrix_Free(), matrix::NbRows, matrix::p, True, and value_zero_p. Referenced by ZPolyhedron_Alloc(). |
|
Definition at line 1222 of file Lattice.c. References Bool, False, Matrix, matrix::NbColumns, matrix::NbRows, matrix::p, True, value_notone_p, and value_notzero_p. Referenced by ZPolyhedron_Alloc(). |
|
Definition at line 128 of file Lattice.c. References Bool, False, Lattice, matrix::NbColumns, matrix::NbRows, matrix::p, True, and value_notzero_p. Referenced by AffineHermite(). |
|
Definition at line 657 of file Lattice.c. References ChangeLatticeDimension(), ExtractLinearPart(), isEmptyLattice(), Lattice, LatticeIntersection(), Matrix, 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(). |
|
Method :.
Definition at line 797 of file Lattice.c. References AffineHermite(), isEmptyLattice(), isinHnf(), Lattice, Lattice2LatticeUnion(), LatticeSimplify(), LatticeUnion::M, Matrix, Matrix_Copy(), Matrix_Free(), matrix::NbColumns, matrix::NbRows, LatticeUnion::next, and True. Referenced by main(), and ZPolyhedronDifference(). |
|
Definition at line 1109 of file Lattice.c. References EmptyLattice(), Lattice, LatticePreimage(), Matrix, 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(). |
|
Definition at line 323 of file Lattice.c. References AffineHermite(), Bool, False, Lattice, LatticeIntersection(), Matrix, Matrix_Free(), sameLattice(), and True. Referenced by main(), and ZPolyhedronIncludes(). |
|
Definition at line 458 of file Lattice.c. References AffineHermite(), EmptyLattice(), isEmptyLattice(), isinHnf(), Lattice, MakeDioEqforInter(), Matrix, 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(). |
|
Definition at line 1148 of file Lattice.c. References EmptyLattice(), Lattice, Matrix, 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(). |
|
Definition at line 1619 of file Lattice.c. References AffinePartSimplify(), Bool, False, LinearPartSort(), LatticeUnion::next, SameLinearPart(), and True. Referenced by LatticeDifference(), main(), and ZDomainSimplify(). |
|
Definition at line 43 of file Lattice.c. References LatticeUnion::M, and LatticeUnion::next. Referenced by main(). |
|
Definition at line 27 of file Lattice.c. References LatticeUnion::M, Matrix_Free(), and LatticeUnion::next. Referenced by main(), and ZDomainSimplify(). |
|
Definition at line 15 of file Lattice.c. References LatticeUnion::M, Matrix, Matrix_Print(), and LatticeUnion::next. Referenced by main(). |
|
Definition at line 57 of file Lattice.c. References Bool, False, Lattice, matrix::NbColumns, matrix::NbRows, matrix::p, True, and value_ne. |
|
Definition at line 354 of file Lattice.c. References AffineHermite(), Bool, False, Lattice, Matrix, Matrix_Free(), matrix::NbColumns, matrix::NbRows, matrix::p, True, and value_ne. Referenced by AddZPolytoZDomain(), and LatticeIncludes(). |