|
Definition at line 68 of file types.h.
Referenced by AddANullColumn(), AddANullRow(), AddConstraints(), addeliminatedparams_evalue(), AddLattice(), AddRays(), AddZPolytoZDomain(), AffinePartCompare(), AffinePartSimplify(), AffineSmith(), AlmostSameAffinePart(), BuildSat(), CalcBase(), CanonicalForm(), ChangeLatticeDimension(), Chernikova(), Constraints2Polyhedron(), ConvertPolMattoDarMat(), DomainAddConstraints(), DomainAddRays(), DomainSimplify(), Elim_Columns(), ExchangeColumns(), existepivot(), ExtractLinearPart(), findHermiteBasis(), FindHermiteBasisofDomain(), FindSimple(), Gauss(), GaussSimplify(), GenParamPolyhedron(), Hermite(), hermite(), Homogenise(), IntegraliseLattice(), isEmptyLattice(), isfulldim(), isinHnf(), isIntegral(), IsLattice(), isLinear(), Lattice2LatticeUnion(), LatticeDifference(), LatticeImage(), LatticeIntersection(), LatticePreimage(), left_hermite(), LinearPartCompare(), main(), MakeDioEqforInter(), MatInverse(), Matrix_Alloc(), Matrix_Copy(), Matrix_Extend(), Matrix_Inverse(), Matrix_Print(), Matrix_Product(), Matrix_Read_Input(), Matrix_Vector_Product(), Orthogonal_Base(), Polyhedron_Enumerate(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Polyhedron_Preimage(), Polyhedron_Preprocess(), Polyhedron_Scan(), PreElim_Columns(), Print_Vertex(), PutColumnFirst(), PutColumnLast(), PutRowLast(), rat_prodmat(), Rays2Polyhedron(), Rays_Mult(), Rays_Mult_Transpose(), RearrangeMatforSolveDio(), Reduce_Matrix(), Remove_Redundants(), RemoveColumn(), RemoveRow(), right_hermite(), sameAffinepart(), sameLattice(), SameLinearPart(), SatMatrix_Extend(), Simplify(), SimplifyConstraints(), Smith(), SolveDiophantine(), SplitLattice(), SplitZpolyhedron(), Stras_DomainSimplify(), SubConstraint(), TestRank(), traite_m_face(), TransformSat(), Transpose(), Vector_Matrix_Product(), VertexCT(), ZDomainDifference(), ZDomainPreimage(), ZDomainSimplify(), ZPolyhedron_Alloc(), ZPolyhedronDifference(), ZPolyhedronImage(), ZPolyhedronIntersection(), ZPolyhedronPreimage(), and ZPolyhedronPrint(). |