Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revisionLast revisionBoth sides next revision | ||
user_guide:apps_topaz [2019/01/25 09:27] – ↷ Page moved from tutorial:apps_topaz to user_guide:apps_topaz oroehrig | user_guide:tutorials:apps_topaz [2019/01/25 09:38] – ↷ Page moved from user_guide:apps_topaz to user_guide:tutorials:apps_topaz oroehrig | ||
---|---|---|---|
Line 1: | Line 1: | ||
===== Introduction to topaz ===== | ===== Introduction to topaz ===== | ||
- | **This tutorial is also available as a {{ :tutorial: | + | **This tutorial is also available as a {{ user_guide: |
This tutorial tries to give the user a first idea about the features of the '' | This tutorial tries to give the user a first idea about the features of the '' | ||
Line 24: | Line 24: | ||
topaz > $s = new SimplicialComplex(INPUT_FACES=> | topaz > $s = new SimplicialComplex(INPUT_FACES=> | ||
</ | </ | ||
- | {{ :tutorial: | + | {{ user_guide: |
As you can see, redundancies are allowed -- [0] is not a facet of the complex, and thus not necessary for encoding $s. You can compute the inclusion maximal faces like this: | As you can see, redundancies are allowed -- [0] is not a facet of the complex, and thus not necessary for encoding $s. You can compute the inclusion maximal faces like this: | ||
< | < | ||
Line 39: | Line 39: | ||
For more information on visualizing simplicial complex, see the section below. | For more information on visualizing simplicial complex, see the section below. | ||
- | {{:tutorial: | + | {{user_guide: |
< | < | ||
topaz >print $s-> | topaz >print $s-> | ||
Line 134: | Line 134: | ||
topaz > help ' | topaz > help ' | ||
</ | </ | ||
- | {{ :tutorial: | + | {{ user_guide: |
for a list of available options and this [[visual_tutorial|tutorial]] for a general intro to visualization in polymake. | for a list of available options and this [[visual_tutorial|tutorial]] for a general intro to visualization in polymake. | ||
Line 143: | Line 143: | ||
You should give the '' | You should give the '' | ||
- | {{:tutorial: | + | {{user_guide: |
< | < | ||
topaz > $a = new Array< | topaz > $a = new Array< | ||
Line 154: | Line 154: | ||
topaz > graphviz($k-> | topaz > graphviz($k-> | ||
</ | </ | ||
- | {{ :tutorial: | + | {{ user_guide: |
Here the matching of faces is denoted by reversed red arrows and the critical faces are marked red. Check that the graph remains acyclic. | Here the matching of faces is denoted by reversed red arrows and the critical faces are marked red. Check that the graph remains acyclic. | ||
Line 163: | Line 163: | ||
shows the primal and dual graph of the polytope together with an edge between a primal and a dual node iff the primal node represents a vertex of the corresponding facet of the dual node. | shows the primal and dual graph of the polytope together with an edge between a primal and a dual node iff the primal node represents a vertex of the corresponding facet of the dual node. | ||
- | {{ :tutorial: | + | {{ user_guide: |
Visualization of the '' | Visualization of the '' |