Data on chirotropical Dressians Dr^\chi(3,6), Dr^\chi(3,7), Dr^\chi(3,8)

README This is a repository of the paper "Assembling Chirotropical Moduli Spaces", by Dario Antolini and Nick Early. Here is some advice on how to use the data: files ".sobj": the files of this form are SageMath objects. In order to load the file "example.sobj" and use it with name "example", open SageMath and type the line: example = load("example.sobj") files ".py": the files of this form are Python files. In order to use the objects in them, do the following: suppose the file "example.py" contains a list "L1". In order to load the list and use it with the name "L2", open SageMath and type the line: from example.py import L1 as L2 The same can be done with any object defined in "example.py", for example a function or a dictionary or a tuple. If you want to import every object of "example.py", you can simply type: from example.py import * What does this repository contain? the implementation of Algorithm 1 from the paper, stored in the file: chirotropical_modulispace.py the implementation of the Plücker relations in SageMath/Python, stored in the file: pluecker_relations.py Plücker relations for the cases (3, 6), (3, 7) and (3, 8), stored in the files: pluecker_relations_3_6.sobj pluecker_relations_3_7.sobj pluecker_relations_3_8.sobj 3-term Plücker relations, generating the Dressian, for the cases (3, 6), (3, 7) and (3, 8), stored in the files: 3_term_pluecker_relations_3_6.sobj 3_term_pluecker_relations_3_7.sobj 3_term_pluecker_relations_3_8.sobj the list of all chirotopes (in lexicographic order) for the cases (3, 6), (3, 7) and (3, 8), stored in the file: chirotopes.py the list of the rays of the tropicalizations Trop X(k, n) for the cases (3, 6), (3, 7) and (3, 8), stored in the files: R36.py R37.py R38.sobj all chirotropical Dressians for the cases (3, 6), (3, 7) and (3, 8), stored in files: Trop_chi{i}_3_6.sobj Trop_chi{i}_3_7.sobj Trop_chi{i}_3_8.sobj as a Python dictionary: d such that d[j] is the list of cones in the fan of dimension j These SageMath objects are contained in the zipped files: Dr_chi_3_6.zip Dr_chi_3_7.zip Dr_chi_3_8.zip In each of these zip files, there is a special file dedicated to the positive part: Trop_pos_3_6.sobj Trop_pos_3_7.sobj Trop_pos_3_8.sobj for the case (3, 8), a list with all the f-vectors of the different chirotropical Dressians/chirotropical moduli spaces Trop^chi X(3,8). This is organized in the list: f_vectors_trop_chi_3_8.sobj where the $i$-th element of the list corresponds to the f-vector of the chirotropicalization corresponding to the $i$-th chirotope in the list: chirotope_list_3_8 contained in the file chirotopes.py for the same purpose, there is also a Python dictionary whose keys are chirotopes (written as tuples), such that, when evaluating the dictionary at the chirotope, it gives the f-vector of the corresponding chirotropicalization as an output. This is stored in the file: f_vectors_trop_chi_3_8_from_chi.sobj a SageMath function that, given a chirotope, gives all the useful information about the fan obtained by intersecting all the chirotropical hypersurfaces corresponding to the whole set of Plücker relations (dimension, purity, number of rays, number of facets, f-vector, equality with the chirotropical Dressian, which is the bigger fan of only the 3-term Plücker relations). It is stored in the file: chirotropical_modulispace.py under the name of information_trop. Acknowledgements We thank Dominik Bendle, Janko Böhm, Yue Ren, and Benjamin Schröter for making their data on the Dressian Dr(3,8) and the tropical Grassmannian Trop G(3,8) publicly available; we used the ray data for the computations in the case (3,8). Their data can be found at: https://agag-jboehm.math.rptu.de/~boehm/singulargpispace/tropical.htm