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 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/29 21:46] – external edit 127.0.0.1
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