  
  
                                 [1X CddInterface [101X
  
  
                         [1X Gap interface to Cdd package [101X
  
  
                                   2022.11.01
  
  
                                1 November 2022
  
  
                                  Kamal Saleh
  
  
  
  Kamal Saleh
      Email:    [7Xmailto:kamal.saleh@uni-siegen.de[107X
      Homepage: [7Xhttps://github.com/kamalsaleh[107X
      Address:  [33X[0;14YDepartment Mathematik[133X
                [33X[0;14YUniversität Siegen[133X
                [33X[0;14YWalter-Flex-Straße 3[133X
                [33X[0;14Y57072 Siegen[133X
                [33X[0;14YGermany[133X
  
  
  
  -------------------------------------------------------
  
  
  [1XContents (CddInterface)[101X
  
  1 [33X[0;0YIntroduction[133X
    1.1 [33X[0;0YWhy CddInterface[133X
    1.2 [33X[0;0YH-representation and V-representation of polyhedra[133X
  2 [33X[0;0YCreating polyhedra and their Operations[133X
    2.1 [33X[0;0YCreating a polyhedron[133X
      2.1-1 Cdd_PolyhedronByInequalities
      2.1-2 Cdd_PolyhedronByGenerators
    2.2 [33X[0;0YSome operations on a polyhedron[133X
      2.2-1 Cdd_FourierProjection
    2.3 [33X[0;0YSome operations on two polyhedrons[133X
      2.3-1 Cdd_IsContained
      2.3-2 Cdd_Intersection
      2.3-3 \+
  3 [33X[0;0YLinear Programs[133X
    3.1 [33X[0;0YCreating and solving linear programs[133X
      3.1-1 Cdd_LinearProgram
      3.1-2 Cdd_SolveLinearProgram
  4 [33X[0;0YAttributes and properties[133X
    4.1 [33X[0;0YAttributes and properties of polyhedron[133X
      4.1-1 Cdd_Canonicalize
      4.1-2 Cdd_V_Rep
      4.1-3 Cdd_H_Rep
      4.1-4 Cdd_AmbientSpaceDimension
      4.1-5 Cdd_Dimension
      4.1-6 Cdd_GeneratingVertices
      4.1-7 Cdd_GeneratingRays
      4.1-8 Cdd_Equalities
      4.1-9 Cdd_Inequalities
      4.1-10 Cdd_InteriorPoint
      4.1-11 Cdd_Faces
      4.1-12 Cdd_FacesWithFixedDimension
      4.1-13 Cdd_FacesWithInteriorPoints
      4.1-14 Cdd_FacesWithFixedDimensionAndInteriorPoints
      4.1-15 Cdd_Facets
      4.1-16 Cdd_Lines
      4.1-17 Cdd_Vertices
      4.1-18 Cdd_IsEmpty
      4.1-19 Cdd_IsCone
      4.1-20 Cdd_IsPointed
  
  
  [32X
