/
index.html
2 lines (2 loc) · 7.4 KB
/
index.html
1
2
<!DOCTYPE html>
<html lang="en"><head><meta charset="UTF-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><title>Index · Polyhedra</title><link href="https://cdnjs.cloudflare.com/ajax/libs/normalize/4.2.0/normalize.min.css" rel="stylesheet" type="text/css"/><link href="https://fonts.googleapis.com/css?family=Lato|Roboto+Mono" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.6.3/css/font-awesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/styles/default.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL="."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.2.0/require.min.js" data-main="assets/documenter.js"></script><script src="siteinfo.js"></script><script src="../versions.js"></script><link href="assets/documenter.css" rel="stylesheet" type="text/css"/></head><body><nav class="toc"><h1>Polyhedra</h1><select id="version-selector" onChange="window.location.href=this.value" style="visibility: hidden"></select><form class="search" id="search-form" action="search/"><input id="search-query" name="q" type="text" placeholder="Search docs"/></form><ul><li class="current"><a class="toctext" href>Index</a><ul class="internal"><li><a class="toctext" href="#Installing-Polyhedra-1">Installing Polyhedra</a></li><li><a class="toctext" href="#Contents-1">Contents</a></li></ul></li><li><a class="toctext" href="installation/">Installation</a></li><li><a class="toctext" href="representation/">Representation</a></li><li><a class="toctext" href="polyhedron/">Polyhedron</a></li><li><a class="toctext" href="plot/">Plot</a></li><li><a class="toctext" href="redundancy/">Containment/Redundancy</a></li><li><a class="toctext" href="projection/">Projection/Elimination</a></li><li><a class="toctext" href="optimization/">Optimization</a></li><li><a class="toctext" href="utilities/">Utilities</a></li></ul></nav><article id="docs"><header><nav><ul><li><a href>Index</a></li></ul><a class="edit-page" href="https://github.com/JuliaPolyhedra/Polyhedra.jl/blob/master/docs/src/index.md"><span class="fa"></span> Edit on GitHub</a></nav><hr/><div id="topbar"><span>Index</span><a class="fa fa-bars" href="#"></a></div></header><h1><a class="nav-anchor" id="Polyhedra-–-Manipulation-of-Polyhedra-in-Julia-1" href="#Polyhedra-–-Manipulation-of-Polyhedra-in-Julia-1">Polyhedra –- Manipulation of Polyhedra in Julia</a></h1><p><a href="https://github.com/JuliaPolyhedra/Polyhedra.jl">Polyhedra</a> is a package for polyhedra manipulations in Julia. It provides an unified interface for Polyhedra Manipulation Libraries such as <a href="https://github.com/JuliaPolyhedra/CDDLib.jl">CDDLib.jl</a>, <a href="https://github.com/JuliaPolyhedra/LRSLib.jl">LRSLib.jl</a> and <a href="https://github.com/davidavdav/QHull.jl">QHull</a>.</p><p>Polyhedra can either be represented by a set of linear inequalities or by vertices and rays. In the first case, the points of the polyhedron are the points that satisfies all the inequalities and in the second case they are the points that can be expressed as a convex combination of the vertices plus a conic combination of the rays. The manipulations that <code>Polyhedra</code> can perform include</p><ul><li><p>Projection: Projection of a polyhedron on a lower dimensional space, e.g. Fourier-Motzkin elimination.</p></li><li><p>Changing the Representation</p><ul><li>Vertex enumeration problem: Computing the extremal vertices and rays from an inequality representation</li><li>Convex hull problem: Computing a set of linear inequalities describing the polyhedron from a vertex/ray representation</li></ul></li><li><p>Removal of redundant inequalities or redundant vertices/rays.</p></li><li><p>Plotting of 2D polyhedra using <a href="https://github.com/JuliaPlots/Plots.jl">Plots</a></p></li><li><p>Decomposition of 3D polyhedra into vertices and triangular faces, enabling easy visualization of 3D polyhedra using <a href="https://github.com/rdeits/DrakeVisualizer.jl">DrakeVisualizer</a> or <a href="https://github.com/JuliaGL/GLVisualize.jl">GLVisualize</a>.</p></li></ul><p>Depending on the library, these manipulation can either be in floating point or exact rational arithmetic.</p><p>Each operation has a default fallback implementation which is used in case the library does not support it. Polyhedra also includes a default library which does not implement anything, hence using every fallback.</p><p>Polyhedra remains under active development, and we welcome your feedback, suggestions, and bug reports.</p><h2><a class="nav-anchor" id="Installing-Polyhedra-1" href="#Installing-Polyhedra-1">Installing Polyhedra</a></h2><p>If you are familiar with Julia you can get started quickly by using the package manager to install Polyhedra</p><pre><code class="language-julia">julia> Pkg.add("Polyhedra")</code></pre><p>And a Polyhedra Manipulation Library, e.g.</p><pre><code class="language-julia">julia> Pkg.add("CDDLib")</code></pre><h2><a class="nav-anchor" id="Contents-1" href="#Contents-1">Contents</a></h2><ul><li><a href="installation/#Installation-1">Installation</a></li><ul><li><a href="installation/#Getting-Julia-1">Getting Julia</a></li><li><a href="installation/#Getting-Polyhedra-1">Getting Polyhedra</a></li><li><a href="installation/#Getting-Libraries-1">Getting Libraries</a></li></ul><li><a href="representation/#Representation-1">Representation</a></li><ul><li><a href="representation/#H-representation-1">H-representation</a></li><li><a href="representation/#V-representation-1">V-representation</a></li></ul><li><a href="polyhedron/#Polyhedron-1">Polyhedron</a></li><ul><li><a href="polyhedron/#Retrieving-a-representation-1">Retrieving a representation</a></li><li><a href="polyhedron/#Checking-if-a-representation-has-been-computed-1">Checking if a representation has been computed</a></li><li><a href="polyhedron/#Incidence-1">Incidence</a></li><li><a href="polyhedron/#Default-libraries-1">Default libraries</a></li></ul><li><a href="plot/#Plot-1">Plot</a></li><ul><li><a href="plot/#D-plotting-with-Plots-1">2D plotting with Plots</a></li><li><a href="plot/#D-plotting-with-Plots-2">3D plotting with Plots</a></li></ul><li><a href="redundancy/#Containment/Redundancy-1">Containment/Redundancy</a></li><ul><li><a href="redundancy/#Containment-1">Containment</a></li><li><a href="redundancy/#Linearity-1">Linearity</a></li><li><a href="redundancy/#Duplicates-1">Duplicates</a></li><li><a href="redundancy/#Redundancy-1">Redundancy</a></li><li><a href="projection/#Projection/Elimination-1">Projection/Elimination</a></li></ul><li><a href="optimization/#Optimization-1">Optimization</a></li><ul><li><a href="optimization/#Using-a-polyhedron-for-in-an-optimization-model-1">Using a polyhedron for in an optimization model</a></li><li><a href="optimization/#Creating-a-polyhedron-from-the-feasible-set-of-a-JuMP-model-1">Creating a polyhedron from the feasible set of a JuMP model</a></li></ul><li><a href="utilities/#Utilities-1">Utilities</a></li><ul><li><a href="utilities/#Operations-1">Operations</a></li><li><a href="utilities/#Volume-1">Volume</a></li><li><a href="utilities/#Chebyshev-center-1">Chebyshev center</a></li><li><a href="utilities/#Defining-new-representation-1">Defining new representation</a></li></ul></ul><footer><hr/><a class="next" href="installation/"><span class="direction">Next</span><span class="title">Installation</span></a></footer></article></body></html>