Differences

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

--- 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: @@
 </code>
 Every line contains three things:
-- A representative from the triangulation orbit in curly braces,
+  - A representative from the triangulation orbit in curly braces,
-- The gkz vector of this representative in square brackets after the ''gkz'',
+  - The gkz vector of this representative in square brackets after the ''gkz'',
-- The lex largest gkz vector from this triangulation orbit in square brackets after the ''can(gkz)''.
+  - The lex largest gkz vector from this triangulation orbit in square brackets after the ''can(gkz)''.
 **Note** This is the old mptopcom format, the output format is changed in mptopcom v1.1.
 ===== Auxiliary code =====
 ==== 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:
+  - ''3d3.job.auto'' The cluster script.
+  - ''3d3.dat'' The input file.
+  - ''validate_checkp.pl'' perl script for validating checkpoint files produced by mptopcom.
+These files are contained in {{:download:3d3_cluster.tar|3d3_cluster.tar}}.
+The cluster script is highly automatized: After 9 hours it will trigger mptopcom to write a checkpoint. It will then automatically validate the checkpoint and, if valid, rename the output files with a number. You can submit several jobs at once, the option ''-hold_jid'' will make any new job wait for the previously submitted jobs. After the previous job(s) finish, the new job will automatically be started by your cluster scheduler.
 ==== D-Equivalence classes ====
+To produce the massive gkz vectors from the output of mptopcom, we used the following {{:download:massive_cache.pl|perl script}}. It demonstrates how to deal with ''.xz'' files in polymake and how to use massive chains.