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/18 08:50] – [D-Equivalence classes] lkastner
@@ Line 19: / Line 19: @@
 ===== 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.