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 09:35] – ↷ Links adapted because of a move operation oroehriguser_guide:tutorials:apps_polytope [2019/01/25 13:32] – ↷ Links adapted because of a move operation oroehrig
Line 5: Line 5:
 A //polytope// is the convex hull of finitely many points in some Euclidean space. Equivalently, a polytope is the bounded intersection of finitely many affine halfspaces. ''polymake'' can deal with polytopes in both representations and provides numerous tools for analysis.\\ A //polytope// is the convex hull of finitely many points in some Euclidean space. Equivalently, a polytope is the bounded intersection of finitely many affine halfspaces. ''polymake'' can deal with polytopes in both representations and provides numerous tools for analysis.\\
  
-This tutorial first shows basic ways of defining a polytope from scratch. For larger input (e.g. from a file generated by some other program) have a look at  [[..:data|how to load data]] in ''polymake''.\\+This tutorial first shows basic ways of defining a polytope from scratch. For larger input (e.g. from a file generated by some other program) have a look at  [[..:howto:data|how to load data]] in ''polymake''.\\
  
 The second part demonstrates some of the tool ''polymake'' provides for handling polytopes by examining a small example. For a complete list of properties of polytopes and functions that ''polymake'' provides, see the [[reldocs>3.0/polytope.html|polytope documentation]]. The second part demonstrates some of the tool ''polymake'' provides for handling polytopes by examining a small example. For a complete list of properties of polytopes and functions that ''polymake'' provides, see the [[reldocs>3.0/polytope.html|polytope documentation]].
Line 32: Line 32:
 polytope > $p2->VISUAL; polytope > $p2->VISUAL;
 </code> </code>
-See [[..:visual_tutorial#application polytope|here]] for details on visualizing polytopes.+See [[visual_tutorial#application polytope|here]] for details on visualizing polytopes.
  
  If you are sure that all the points really are //extreme points// (vertices) and your description of the lineality space is complete, you can define the polytope via the properties ''VERTICES'' and ''LINEALITY_SPACE'' instead of ''POINTS'' and ''INPUT_LINEALITY''. This way, you can avoid unnecessary redundancy checks.\\  If you are sure that all the points really are //extreme points// (vertices) and your description of the lineality space is complete, you can define the polytope via the properties ''VERTICES'' and ''LINEALITY_SPACE'' instead of ''POINTS'' and ''INPUT_LINEALITY''. This way, you can avoid unnecessary redundancy checks.\\
Line 179: Line 179:
 </code> </code>
  
-See the [[..:apps_graph|tutorial on graphs]] for more on that subject.+See the [[apps_graph|tutorial on graphs]] for more on that subject.
  
  • user_guide/tutorials/apps_polytope.txt
  • Last modified: 2019/02/04 22:55
  • by 127.0.0.1