  
  
                                   [1X NConvex [101X
  
  
               [1X A Gap package to perform polyhedral computations [101X
  
  
                                   2019.12.10
  
  
                                10 December 2019
  
  
                                  Kamal Saleh
  
                               Sebastian Gutsche
  
  
  
  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;14Y57068 Siegen[133X
                [33X[0;14YGermany[133X
  
  
  Sebastian Gutsche
      Email:    [7Xmailto:gutsche@mathematik.uni-siegen.de[107X
      Homepage: [7Xhttps://sebasguts.github.io/[107X
      Address:  [33X[0;14YDepartment Mathematik[133X
                [33X[0;14YUniversität Siegen[133X
                [33X[0;14YWalter-Flex-Straße 3[133X
                [33X[0;14Y57068 Siegen[133X
                [33X[0;14YGermany[133X
  
  
  
  -------------------------------------------------------
  
  
  [1XContents (NConvex)[101X
  
  1 [33X[0;0YIntroduction[133X
    1.1 [33X[0;0YInstallation[133X
    1.2 [33X[0;0YRequirements[133X
  2 [33X[0;0YConvex objects[133X
    2.1 [33X[0;0YAttributes[133X
      2.1-1 AmbientSpaceDimension
      2.1-2 Dimension
      2.1-3 IsFullDimensional
      2.1-4 InteriorPoint
  3 [33X[0;0YCones[133X
    3.1 [33X[0;0YCreating cones[133X
      3.1-1 ConeByInequalities
      3.1-2 ConeByEqualitiesAndInequalities
      3.1-3 Cone
      3.1-4 Cone
    3.2 [33X[0;0YAttributes of Cones[133X
      3.2-1 DefiningInequalities
      3.2-2 EqualitiesOfCone
      3.2-3 DualCone
      3.2-4 FacesOfCone
      3.2-5 Facets
      3.2-6 FVector
      3.2-7 RelativeInteriorRay
      3.2-8 HilbertBasis
      3.2-9 HilbertBasisOfDualCone
      3.2-10 LinealitySpaceGenerators
      3.2-11 ExternalCddCone
      3.2-12 ExternalNmzCone
      3.2-13 AmbientSpaceDimension
      3.2-14 LatticePointsGenerators
      3.2-15 GridGeneratedByCone
      3.2-16 FactorGrid
      3.2-17 FactorGridMorphism
      3.2-18 GridGeneratedByOrthogonalCone
    3.3 [33X[0;0YProperties of Cones[133X
      3.3-1 IsRegularCone
      3.3-2 IsRay
      3.3-3 IsZero
    3.4 [33X[0;0YOperations on cones[133X
      3.4-1 FourierProjection
      3.4-2 IntersectionOfCones
      3.4-3 IntersectionOfCones
      3.4-4 Contains
      3.4-5 IsRelativeInteriorRay
      3.4-6 NonReducedInequalities
  4 [33X[0;0YFans[133X
    4.1 [33X[0;0YConstructors[133X
      4.1-1 Fan
      4.1-2 Fan
      4.1-3 Fan
      4.1-4 FansFromTriangulation
      4.1-5 FanFromTriangulation
    4.2 [33X[0;0YAttributes[133X
      4.2-1 RayGenerators
      4.2-2 GivenRayGenerators
      4.2-3 RaysInMaximalCones
      4.2-4 MaximalCones
      4.2-5 FVector
    4.3 [33X[0;0YProperties[133X
      4.3-1 IsWellDefinedFan
      4.3-2 IsComplete
      4.3-3 IsPointed
      4.3-4 IsSmooth
      4.3-5 IsSimplicial
      4.3-6 IsNormalFan
      4.3-7 IsRegularFan
      4.3-8 IsFanoFan
    4.4 [33X[0;0YOperations on fans[133X
  5 [33X[0;0YPolyhedrons[133X
    5.1 [33X[0;0YCreating polyhedron[133X
      5.1-1 PolyhedronByInequalities
      5.1-2 Polyhedron
      5.1-3 Polyhedron
      5.1-4 Polyhedron
      5.1-5 Polyhedron
    5.2 [33X[0;0YAttributes[133X
      5.2-1 ExternalCddPolyhedron
      5.2-2 ExternalNmzPolyhedron
      5.2-3 DefiningInequalities
      5.2-4 MainRatPolytope
      5.2-5 MainPolytope
      5.2-6 VerticesOfMainRatPolytope
      5.2-7 VerticesOfMainPolytope
      5.2-8 TailCone
      5.2-9 RayGeneratorsOfTailCone
      5.2-10 LatticePointsGenerators
      5.2-11 BasisOfLinealitySpace
      5.2-12 FVector
    5.3 [33X[0;0YProperties[133X
      5.3-1 IsBounded
      5.3-2 IsPointed
    5.4 [33X[0;0YSolving Linear programs[133X
      5.4-1 SolveLinearProgram
      5.4-2 SolveLinearProgram
  6 [33X[0;0YPolytopes[133X
    6.1 [33X[0;0YCreating polytopes[133X
      6.1-1 PolytopeByInequalities
      6.1-2 Polytope
    6.2 [33X[0;0YAttributes[133X
      6.2-1 ExternalCddPolytope
      6.2-2 LatticePoints
      6.2-3 RelativeInteriorLatticePoints
      6.2-4 VerticesOfPolytope
      6.2-5 Vertices
      6.2-6 DefiningInequalities
      6.2-7 EqualitiesOfPolytope
      6.2-8 FacetInequalities
      6.2-9 VerticesInFacets
      6.2-10 NormalFan
      6.2-11 FaceFan
      6.2-12 AffineCone
      6.2-13 PolarPolytope
      6.2-14 DualPolytope
    6.3 [33X[0;0YProperties[133X
      6.3-1 IsEmpty
      6.3-2 IsLatticePolytope
      6.3-3 IsVeryAmple
      6.3-4 IsNormalPolytope
      6.3-5 IsSimplicial
      6.3-6 IsSimplexPolytope
      6.3-7 IsSimplePolytope
      6.3-8 IsReflexive
      6.3-9 IsFanoPolytope
      6.3-10 IsCanonicalFanoPolytope
      6.3-11 IsTerminalFanoPolytope
      6.3-12 IsSmoothFanoPolytope
    6.4 [33X[0;0YOperations on polytopes[133X
      6.4-1 \+
      6.4-2 \*
      6.4-3 IntersectionOfPolytopes
      6.4-4 RandomInteriorPoint
      6.4-5 IsInteriorPoint
  
  
  [32X
