user_guide:tutorials:apps_polytope

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revisionBoth sides next revision
user_guide:tutorials:apps_polytope [2019/01/25 13:32] – ↷ Links adapted because of a move operation oroehriguser_guide:tutorials:apps_polytope [2019/01/25 13:40] – ↷ Links adapted because of a move operation oroehrig
Line 12: Line 12:
  
 ==== V-Description ==== ==== V-Description ====
-To define a polytope as the convex hull of finitely many points, you can pass a matrix of coordinates to the constructor. Since ''polymake'' uses [[user_guide:coordinates|homogeneous coordinates]], you need to set the additional coordinate x<sub>0</sub> to 1.+To define a polytope as the convex hull of finitely many points, you can pass a matrix of coordinates to the constructor. Since ''polymake'' uses [[user_guide:tutorials:coordinates|homogeneous coordinates]], you need to set the additional coordinate x<sub>0</sub> to 1.
 <code> <code>
 polytope > $p = new Polytope(POINTS=>[[1,-1,-1],[1,1,-1],[1,-1,1],[1,1,1],[1,0,0]]); polytope > $p = new Polytope(POINTS=>[[1,-1,-1],[1,1,-1],[1,-1,1],[1,1,1],[1,0,0]]);
Line 43: Line 43:
 It is also possible to define a polytope as an intersection of finitely many halfspaces, i.e., a matrix of inequalities.\\ It is also possible to define a polytope as an intersection of finitely many halfspaces, i.e., a matrix of inequalities.\\
  
-An inequality a<sub>0</sub> + a<sub>1</sub> x<sub>1</sub> + ... + a<sub>d</sub> x<sub>d</sub> >= 0 is encoded as a row vector (a<sub>0</sub>,a<sub>1</sub>,...,a<sub>d</sub>), see also [[user_guide:coordinates|Coordinates for Polyhedra]]. Here is an example:+An inequality a<sub>0</sub> + a<sub>1</sub> x<sub>1</sub> + ... + a<sub>d</sub> x<sub>d</sub> >= 0 is encoded as a row vector (a<sub>0</sub>,a<sub>1</sub>,...,a<sub>d</sub>), see also [[user_guide:tutorials:coordinates|Coordinates for Polyhedra]]. Here is an example:
 <code> <code>
 polytope > $p4 = new Polytope(INEQUALITIES=>[[1,1,0],[1,0,1],[1,-1,0],[1,0,-1],[17,1,1]]); polytope > $p4 = new Polytope(INEQUALITIES=>[[1,1,0],[1,0,1],[1,-1,0],[1,0,-1],[17,1,1]]);
  • user_guide/tutorials/apps_polytope.txt
  • Last modified: 2019/02/04 22:55
  • by 127.0.0.1