dequivalence

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
dequivalence [2019/09/18 08:49] – [D-Equivalence classes] lkastnerdequivalence [2019/09/19 12:50] (current) lkastner
Line 13: Line 13:
 </code> </code>
 Every line contains three things:   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. **Note** This is the old mptopcom format, the output format is changed in mptopcom v1.1.
 ===== Auxiliary code ===== ===== Auxiliary code =====
Line 29: Line 29:
 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. 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 ==== ==== D-Equivalence classes ====
-To produce the massive gkz vectors from the output of mptopcom, we used the following {{downloads:massive_cache.pl|perl script}}. It demonstrates how to deal with ''.xz'' files in polymake and how to use massive chains.+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.
  • dequivalence.txt
  • Last modified: 2019/09/19 12:50
  • by lkastner