#include <polylib/polylib.h>
Go to the source code of this file.
|
|
|
Definition at line 122 of file Zpolyhedron.c. References isEmptyZPolyhedron(), ZPolyhedron::next, ZDomain_Free(), and ZPolyhedron_Copy(). Referenced by SplitZpolyhedron(), ZDomainDifference(), and ZPolyhedronDifference(). |
|
Definition at line 149 of file Zpolyhedron.c. References AffineHermite(), Bool, CanonicalForm(), Domain_Copy(), Domain_Free(), DomainImage(), DomainUnion(), False, isEmptyZPolyhedron(), ZPolyhedron::Lat, Matrix_Alloc(), Matrix_Free(), Matrix_Product(), MAXNOOFRAYS, matrix::NbColumns, matrix::NbRows, ZPolyhedron::next, polyhedron::next, ZPolyhedron::P, sameLattice(), True, ZDomain_Free(), ZPolyhedron_Alloc(), ZPolyhedron_Free(), and ZPolyhedronIncludes(). Referenced by ZDomainDifference(), ZDomainImage(), ZDomainIntersection(), ZDomainPreimage(), ZDomainUnion(), and ZPolyhedronDifference(). |
|
Definition at line 741 of file Zpolyhedron.c. References AffineHermite(), ChangeLatticeDimension(), DomainImage(), FindHermiteBasisofDomain(), Identity(), isEmptyZPolyhedron(), ZPolyhedron::Lat, Matrix_Alloc(), Matrix_Copy(), Matrix_Free(), Matrix_Inverse(), Matrix_Product(), MAXNOOFRAYS, matrix::NbColumns, matrix::NbRows, matrix::p, ZPolyhedron::P, Polyhedron_Free(), value_assign, value_clear, value_init, ZDomain_Copy(), and ZPolyhedron_Alloc(). |
|
Definition at line 243 of file Zpolyhedron.c. References Domain_Free(), Empty_Polyhedron(), EmptyLattice(), Matrix_Free(), and ZPolyhedron_Alloc(). |
|
Definition at line 832 of file Zpolyhedron.c. References Domain_Free(), DomainImage(), DomainPreimage(), EmptyZPolyhedron(), Identity(), isEmptyLattice(), ZPolyhedron::Lat, LatticeImage(), Matrix_Free(), MAXNOOFRAYS, matrix::NbRows, ZPolyhedron::P, and ZPolyhedron_Alloc(). |
|
Definition at line 22 of file Zpolyhedron.c. References Bool, emptyQ, False, isEmptyLattice(), ZPolyhedron::Lat, ZPolyhedron::P, and True. |
|
Definition at line 949 of file Zpolyhedron.c. References AddZPoly2ZDomain(), AffineHermite(), isEmptyLattice(), isinHnf(), ZPolyhedron::Lat, Lattice2LatticeUnion(), LatticeUnion::M, Matrix_Copy(), Matrix_Free(), matrix::NbColumns, matrix::NbRows, LatticeUnion::next, ZPolyhedron::P, True, ZPolyhedron_Alloc(), and ZPolyhedron_Free(). |
|
Definition at line 97 of file Zpolyhedron.c. References ZPolyhedron::next, ZDomain_Copy(), and ZPolyhedron_Copy(). |
|
Definition at line 72 of file Zpolyhedron.c. References ZPolyhedron::next, ZDomain_Free(), and ZPolyhedron_Free(). |
|
Definition at line 412 of file Zpolyhedron.c. References AddZPoly2ZDomain(), AddZPolytoZDomain(), EmptyZPolyhedron(), ZPolyhedron::Lat, matrix::NbRows, ZPolyhedron::next, ZDomain_Free(), ZPolyhedron_Copy(), and ZPolyhedronDifference(). |
|
Definition at line 466 of file Zpolyhedron.c. References AddZPolytoZDomain(), EmptyZPolyhedron(), ZPolyhedron::Lat, matrix::NbRows, ZPolyhedron::next, ZPolyhedron_Free(), and ZPolyhedronImage(). |
|
Definition at line 268 of file Zpolyhedron.c. References Bool, False, isEmptyZPolyhedron(), True, ZDomain_Free(), and ZDomainDifference(). |
|
Definition at line 375 of file Zpolyhedron.c. References AddZPolytoZDomain(), EmptyZPolyhedron(), ZPolyhedron::Lat, matrix::NbRows, ZPolyhedron::next, ZPolyhedron_Free(), and ZPolyhedronIntersection(). |
|
Definition at line 494 of file Zpolyhedron.c. References AddZPolytoZDomain(), EmptyZPolyhedron(), ZPolyhedron::Lat, matrix::NbColumns, matrix::NbRows, ZPolyhedron::next, ZPolyhedron_Free(), and ZPolyhedronPreimage(). |
|
Definition at line 317 of file Zpolyhedron.c. References ZPolyhedron::next, ZDomainPrint(), and ZPolyhedronPrint(). |
|
|
Definition at line 353 of file Zpolyhedron.c. References AddZPolytoZDomain(), and ZPolyhedron::next. |
|
Definition at line 37 of file Zpolyhedron.c. References polyhedron::Dimension, Domain_Copy(), False, IntegraliseLattice(), isEmptyLattice(), isfulldim(), IsLattice(), ZPolyhedron::Lat, Matrix_Copy(), matrix::NbRows, ZPolyhedron::next, ZPolyhedron::P, and ZPolyhedron_Free(). |
|
Definition at line 110 of file Zpolyhedron.c. References ZPolyhedron::Lat, ZPolyhedron::P, and ZPolyhedron_Alloc(). Referenced by AddZPoly2ZDomain(), ZDomain_Copy(), ZDomainDifference(), and ZDomainSimplify(). |
|
Definition at line 84 of file Zpolyhedron.c. References Domain_Free(), ZPolyhedron::Lat, Matrix_Free(), and ZPolyhedron::P. Referenced by AddZPolytoZDomain(), SplitZpolyhedron(), ZDomain_Free(), ZDomainImage(), ZDomainIntersection(), ZDomainPreimage(), ZDomainSimplify(), ZPolyhedron_Alloc(), ZPolyhedronDifference(), and ZPolyhedronIntersection(). |
|
Definition at line 572 of file Zpolyhedron.c. References AddZPoly2ZDomain(), AddZPolytoZDomain(), Bool, Domain_Copy(), Domain_Free(), DomainDifference(), DomainImage(), DomainIntersection(), DomainPreimage(), emptyQ, EmptyZPolyhedron(), False, isEmptyZPolyhedron(), ZPolyhedron::Lat, LatticeDifference(), LatticeUnion::M, Matrix_Free(), MAXNOOFRAYS, matrix::NbRows, LatticeUnion::next, ZPolyhedron::P, True, ZDomain_Copy(), ZPolyhedron_Alloc(), and ZPolyhedron_Free(). Referenced by ZDomainDifference(). |
|
Definition at line 649 of file Zpolyhedron.c. References Domain_Free(), DomainImage(), DomainPreimage(), emptyQ, isEmptyLattice(), ZPolyhedron::Lat, LatticeImage(), Matrix_Free(), MAXNOOFRAYS, matrix::NbColumns, matrix::NbRows, ZPolyhedron::P, and ZPolyhedron_Alloc(). Referenced by ZDomainImage(). |
|
Definition at line 285 of file Zpolyhedron.c. References Bool, Domain_Free(), DomainDifference(), DomainImage(), emptyQ, False, ZPolyhedron::Lat, LatticeIncludes(), MAXNOOFRAYS, ZPolyhedron::P, and True. |
|
Definition at line 527 of file Zpolyhedron.c. References Domain_Free(), DomainImage(), DomainIntersection(), DomainPreimage(), emptyQ, EmptyZPolyhedron(), isEmptyLattice(), ZPolyhedron::Lat, LatticeIntersection(), Matrix_Free(), MAXNOOFRAYS, matrix::NbRows, ZPolyhedron::P, True, ZPolyhedron_Alloc(), and ZPolyhedron_Free(). Referenced by ZDomainIntersection(). |
|
Definition at line 699 of file Zpolyhedron.c. References Domain_Free(), DomainImage(), DomainPreimage(), emptyQ, EmptyZPolyhedron(), isEmptyLattice(), ZPolyhedron::Lat, LatticePreimage(), Matrix_Free(), MAXNOOFRAYS, matrix::NbColumns, matrix::NbRows, ZPolyhedron::P, and ZPolyhedron_Alloc(). Referenced by ZDomainPreimage(). |
|
Definition at line 337 of file Zpolyhedron.c. References ZPolyhedron::Lat, Matrix_Print(), matrix::NbRows, ZPolyhedron::P, and Polyhedron_Print(). Referenced by ZDomainPrint(). |