|
Referenced by AddANullColumn(), AddANullRow(), AddConstraints(), addeliminatedparams_evalue(), AddLattice(), AddRays(), AddZPolytoZDomain(), AffineHermite(), AffineSmith(), align_context(), BuildSat(), CalcBase(), CanonicalForm(), Chernikova(), Constraints2Polyhedron(), ConvertDarMattoPolMat(), ConvertPolMattoDarMat(), DomainAddConstraints(), DomainAddRays(), DomainImage(), DomainPreimage(), DomainSimplify(), Elim_Columns(), EmptyZPolyhedron(), Enumerate_NoParameters(), ExchangeColumns(), ExchangeRows(), existepivot(), Find_m_faces(), findHermiteBasis(), FindHermiteBasisofDomain(), FindSimple(), Gauss(), GaussSimplify(), GenParamPolyhedron(), Hermite(), hermite(), Homogenise(), Identity(), isfulldim(), isinHnf(), isIntegral(), IsLattice(), Lattice2LatticeUnion(), LatticeDifference(), LatticeImage(), LatticeIncludes(), LatticeIntersection(), LatticePreimage(), left_hermite(), main(), MakeDioEqforInter(), MatInverse(), Matrix_Alloc(), Matrix_Copy(), Matrix_Extend(), Matrix_Free(), Matrix_Inverse(), Matrix_Print(), Matrix_Product(), Matrix_Read(), Matrix_Read_Input(), Matrix_Vector_Product(), old_Polyhedron_Preprocess(), Orthogonal_Base(), P_Enum(), Polyhedron2Constraints(), Polyhedron2Param_SimplifiedDomain(), Polyhedron2Rays(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Polyhedron_Preimage(), Polyhedron_Preprocess(), Polyhedron_Preprocess2(), Polyhedron_Scan(), PolyhedronLTQ(), PreElim_Columns(), Print_Vertex(), PrintLatticeUnion(), PutColumnFirst(), PutColumnLast(), PutRowFirst(), PutRowLast(), rat_prodmat(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), RaySort(), RearrangeMatforSolveDio(), Reduce_Matrix(), Remove_Redundants(), RemoveColumn(), RemoveRow(), right_hermite(), sameLattice(), SatMatrix_Extend(), Scan_Vertices(), SimplifyConstraints(), SimplifyEqualities(), Smith(), SolveDiophantine(), Soustraire_ligne(), SplitLattice(), SplitZpolyhedron(), Stras_DomainSimplify(), SubConstraint(), swap_line(), TestRank(), traite_m_face(), TransformSat(), Transpose(), Union_Read(), Vector_Matrix_Product(), VertexCT(), ZDomainImage(), ZDomainPreimage(), ZDomainSimplify(), ZPolyhedron_Free(), ZPolyhedronDifference(), ZPolyhedronImage(), ZPolyhedronIntersection(), ZPolyhedronPreimage(), and ZPolyhedronPrint(). |