Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
dequivalence [2019/09/17 13:04] – Page to go along with article of Lars and Robert lkastner | dequivalence [2019/09/19 12:50] (current) – lkastner | ||
---|---|---|---|
Line 13: | Line 13: | ||
</ | </ | ||
Every line contains three things: | Every line contains three things: | ||
- | - A representative from the triangulation orbit in curly braces, | + | |
- | - The gkz vector of this representative in square brackets after the '' | + | - The gkz vector of this representative in square brackets after the '' |
- | - The lex largest gkz vector from this triangulation orbit in square brackets after the '' | + | - The lex largest gkz vector from this triangulation orbit in square brackets after the '' |
**Note** This is the old mptopcom format, the output format is changed in mptopcom v1.1. | **Note** This is the old mptopcom format, the output format is changed in mptopcom v1.1. | ||
===== Auxiliary code ===== | ===== Auxiliary code ===== | ||
==== Cluster script ==== | ==== Cluster script ==== | ||
+ | This part assumes that you are familiar with computations on large clusters, so we will not go into detail on these here and just focus on the example at hand. | ||
+ | |||
+ | To run this example yourself on a cluster, you will need a build of mptopcom and the following three files: | ||
+ | - '' | ||
+ | - '' | ||
+ | - '' | ||
+ | These files are contained in {{: | ||
+ | |||
+ | The cluster script is highly automatized: | ||
==== D-Equivalence classes ==== | ==== D-Equivalence classes ==== | ||
+ | To produce the massive gkz vectors from the output of mptopcom, we used the following {{: |