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 | ||
extensions:max_mediated_sets [2019/06/28 10:09] – corrected stupid mistakes. oroehrig | extensions:max_mediated_sets [2019/07/09 21:54] – added section on database download oroehrig | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Maximal Mediated Sets ====== | ====== Maximal Mediated Sets ====== | ||
+ | This wiki page collects code, data and information accompanying a paper that will appear on the arXiv real soon. The parallel enumeration algorithm described there will be made available soon, too. | ||
- | **max_mediated_sets** is a polymake extension allowing creation | + | ===== Data and Analysis ===== |
+ | You can find the MMS database and database statistics computed for and mentioned in the paper here: | ||
- | ===== Prerequisites | + | [[https:// |
+ | |||
+ | On this page you can also find a **jupyter notebook** named '' | ||
+ | |||
+ | You'll need '' | ||
+ | < | ||
+ | jupyter-notebook / | ||
+ | </ | ||
+ | |||
+ | Please see the tutorial for the detailed description of the files. Note that in order for notebook to work out of the box, you need the same folder structure on your hard drive, i.e. there should be two subdirectories in the directory the notebook lives in, one named '' | ||
+ | |||
+ | |||
+ | ===== The polymake Extension | ||
+ | |||
+ | '' | ||
+ | |||
+ | ==== Prerequisites | ||
You'll need a running '' | You'll need a running '' | ||
- | ===== Download | + | ==== Download ==== |
Use git to obtain your copy: | Use git to obtain your copy: | ||
Line 14: | Line 32: | ||
</ | </ | ||
- | ===== Installation | + | ==== Installation ==== |
Assuming the directory you pulled the git to has the path '' | Assuming the directory you pulled the git to has the path '' | ||
Line 24: | Line 42: | ||
After this, you should be able to use the functionality provided by this extension. | After this, you should be able to use the functionality provided by this extension. | ||
- | ===== Usage ===== | + | ==== Usage ==== |
This extension allows to compute maximal mediated sets from [[/ | This extension allows to compute maximal mediated sets from [[/ | ||
Line 65: | Line 83: | ||
1 0 5 | 1 0 5 | ||
</ | </ | ||
- | You can look at the vanishing ideal, which in this case has three generators and degree 3: | + | To get the h-ratio, do the following: |
< | < | ||
- | > print $n->VANISHING_IDEAL_GENERATORS-> | + | > print $n->H_RATIO; |
- | x_1^2 - x_2 | + | 1 |
- | > print $n-> | + | |
- | x_1^3 - x_3 | + | |
- | > print $n-> | + | |
- | x_0 - 1 | + | |
- | > print $n-> | + | |
- | 3 | + | |
- | </ | + | |
- | You might also be interested in the dimension of the toric variety: | + | |
- | < | + | |
- | > print $n-> | + | |
- | 9 | + | |
</ | </ | ||
+ | |||
+ |