数据集概述
该数据集存储了论文《The Chirotropical Grassmannian》中,针对(3,6)、(3,7)、(3,8)三种情况的手性热带格拉斯曼流形(等价于手性热带德雷西亚流形)模线化的数据,包含算法实现、普吕克关系、手性拓扑、扇锥、f向量等核心对象,支持SageMath与Python调用。
文件详解
- 算法实现文件:
- chirotropical_dressian.sage:.sage格式,存储论文中算法2的实现代码
- pluecker_relations.sage:.sage格式,存储生成所有普吕克关系的函数代码
- 普吕克关系文件:
- pluecker_relations_3_6.sobj、pluecker_relations_3_7.sobj、pluecker_relations_3_8.sobj:.sobj格式,分别存储(3,6)、(3,7)、(3,8)情况的普吕克关系
- 3_term_pluecker_relations_3_6.sobj、3_term_pluecker_relations_3_7.sobj、3_term_pluecker_relations_3_8.sobj:.sobj格式,分别存储三种情况生成德雷西亚流形的3项普吕克关系
- 手性拓扑文件:
- chirotopes.py:.py格式,存储按字典序排列的(3,6)、(3,7)、(3,8)情况的手性拓扑列表
- 德雷西亚流形射线文件:
- R36.py、R37.py:.py格式,分别存储(3,6)、(3,7)情况德雷西亚流形模线化的射线列表
- R38.sobj:.sobj格式,存储(3,8)情况德雷西亚流形模线化的射线列表
- 手性热带格拉斯曼流形压缩包:
- Trop_chi_3_6.zip、Trop_chi_3_7.zip、Trop_chi_3_8.zip:.zip格式,分别包含对应情况的手性热带格拉斯曼流形文件,内部含Python字典格式的扇锥数据(d[j]为j维扇锥列表)及正部文件(如Trop_pos_3_6.sobj)
- f向量文件(仅(3,8)情况):
- f_vectors_trop_chi_3_8.sobj:.sobj格式,存储不同手性热带德雷西亚流形的f向量列表,与chirotopes.py中的手性拓扑列表一一对应
- f_vectors_trop_chi_3_8_from_chi.sobj:.sobj格式,存储以手性拓扑(元组形式)为键、对应f向量为值的Python字典
适用场景
- 热带几何研究:分析手性热带格拉斯曼流形的扇结构与模空间性质
- 代数组合学研究:探究普吕克关系与手性拓扑的对应关系
- 计算数学应用:验证手性热带德雷西亚流形的算法实现与f向量计算
- 数学软件集成:支持SageMath与Python环境下的手性热带几何计算实验