Sage Days 64.5：簇代数

如果你想知道谁在实际参与，请查看我们的合影。还可以再看几张该小组的照片工作,编码,攀登、和挥舞.

一般信息

Sage Days 64.5：集群代数将是一个为期五天的研讨会，旨在设计和实现用于集群代数和箭矢表示研究的算法和计算机探索工具。研讨会期间开发的所有软件将作为免费开源数学软件系统Sage的一部分免费提供(http://www.sagemath.org).

该研讨会将包括关于集群代数（侧重于要实现的特性）以及Sage开发的物流的讨论。特别欢迎具有簇代数背景的学生和研究人员参加并参与计算机探索和Sage簇包的开发。将有充足的时间用于设计讨论和编码冲刺，以实现开发的算法。

何时何地？

2015年6月1日至5日，美国明尼苏达州明尼阿波利斯市明尼苏打大学IMA。

地铁列车时刻表

所有会谈将在林德305举行，所有茶歇时间将在林德霍尔400。

		2015年6月1日星期一
上午08:30-09:00		注册和咖啡
上午09:00-上午09:15		欢迎
上午09:15-10:00	格雷格·穆西克	教程：Sage简介和安装帮助(云,笔记本)
上午10:00-11:00	迪伦·鲁佩尔	教程：群集包的当前状态(笔记本)
上午11:00-上午11:30		休息
上午11:30-下午12:30	哈罗德·威廉姆斯	簇代数Ⅳ：从C到G的簇代数
12:30-02:30		午餐
下午02:30-03:30	格雷格·穆勒	散射图的有限阶逼近(幻灯片,笔记,github)
下午03:30-04:00		休息
下午04:00-下午04:45		讨论：简介和功能愿望列表
下午04:45-下午05:45		小组会议/编码冲刺开始
下午06:00-08:30		Stub and Herbs的社交时间
		2015年6月2日星期二
上午08:30-09:00		咖啡
上午09:00-10:00	斯特拉·萨尔瓦多	教程：为圣人贡献力量(幻灯片)
上午10:00-11:00		编码冲刺
上午11:00-上午11:10		合影
上午11:10-11:30		休息
上午11:30-下午12:30	大卫·斯派尔	格拉斯曼群结构的组合学(幻灯片)
12:30-02:30		午餐
下午02:30-03:30	西蒙·京治	路代数商上模的F5算法及Loewy层的计算(幻灯片,#17435)
下午03:30-04:00		休息
下午04:00-06:00		小组会议和编码冲刺
		2015年6月3日星期三
上午08:30-09:00		咖啡
上午09:00-10:00	内森·雷丁	簇代数计算中的可排序元素(董事会上有要知道的事情)
上午10:00-11:00		编码冲刺
上午11:00-上午11:30		休息
上午11:30-下午12:30		编码冲刺
12:30-02:30		午餐
下午02:30-03:30	文森特·皮劳	图形嵌套复合体的兼容性风扇(幻灯片)
下午03:30-04:00		休息
下午04:00-下午04:30		讨论：状态报告
下午04:30-06:00		小组会议和编码冲刺
		2015年6月4日星期四
上午08:30-09:00		咖啡
上午09:00-10:00	克里斯蒂安·斯塔姆	谈话：副词复合词
上午10:00-11:00		编码冲刺
上午11:00-上午11:30		休息
上午11:30-下午12:30	大卫·斯派尔	正子簇代数与八面体递归幻灯片
12:30-02:30		午餐
下午02:30-下午02:45	弗洛里安·盖勒特	关于`鼠尾草细胞` 链接
下午02:45-下午03:30		编码冲刺
下午03:30-04:00		休息
下午04:00-06:00		小组会议和编码冲刺
		2015年6月5日星期五
上午08:30-09:00		咖啡
上午09:00-10:30		编码冲刺
上午10:30至11:00		休息
上午11点至下午12点		编码冲刺
12:00-02:00		午餐
下午02:00-下午03:00		最终状态报告

起点是Sage-5.9中合并的簇代数的核心实现，参见#10298，2013年春季在明尼阿波利斯讨论了可能的新功能。

话题

本周的主题和目标将在研讨会的第一天讨论。以下是可能的主题列表：

周三进度报告

*迪伦·萨尔瓦多：重新实施簇种子使用F-poly和g-vectors。此外，实施热带半场

*Jesse，Chris——添加模块化，这样就可以计算某些簇种子数量而不需要其他的

*Gregg、Chris、Jesse、Emily——与上述相关，允许对集群变量使用其他名称。（目标是将这三部分合并在一起，以重写trac门票群集种子)

票号：#18615

*西蒙-正在研究F5算法，有一张审查票

*Anna，Emily-修复了蛇图和三角剖分中的错误

*Aram，Vivianne-突变分析仪，使用函数仅在特定类型的顶点处突变18594

门票编号：#18594

*Greg、Harold、Jacob、Matt——实现了上层集群代数表示算法，但饱和是计算一个耗时的商理想。

票号：18800、18619

*Christian、Vincent、Nathan W.、Simon-Chevie反射组接口。差不多可以复习了。

票号：11187

*Vincent，Christian-副词复合体。差不多可以复习了。

票号：11010

*Nathan W.矿化寒武纪晶格

票号：18597

*Chris和David-弱分离集和可视化的代码

*格雷格、曼迪、埃里克、特雷-使用格雷格的赤平投影，在相交处对其进行内部建模

票号：16310

*Florian为Quantum Tori添加了类

*Greg，Mandy-散射图（虚线的可视化和代数计算，一致完成）

票号：？

第一次专题会议的主题（6票以上）

实现g向量、c向量和F多项式的无簇变异；可能替代突变
- -格雷格·穆西克-迪伦·鲁佩尔-杰西·莱维特-格雷格·穆勒-萨尔瓦多·斯特拉-哈罗德-纳丹
量子簇代数
- -迪伦-弗洛里安-曼迪-杰西·莱维特-陈
有限阶散射图
- -萨尔瓦多·斯特拉-格雷格-迪伦-曼迪-格雷格-埃里克-雅各布-特雷-哈罗德
灵活命名集群变量；也许用g-vectors在内部标记？
- -格雷格·穆西克-大卫·斯派尔-基督教徒-Panupong公司-克里斯-安娜-达雷恩
考虑限制型突变序列：库/源、城市更新、绿色
- -萨尔瓦多·斯特拉-阿拉姆-马特-埃里克-格雷格-1月
表示上簇代数
- -哈罗德-格雷格-雅各布-马特-纳丹
与gap3/chevie的接口；子字复合词、反射组和排序
- -基督教徒-文森特·皮劳-西蒙-阿拉姆-所罗门-内森-维维安
路径代数算术
- -西蒙-基督教徒-所罗门-安娜-陈-特雷-雅各布-埃里克

重要功能

允许对箭袋和簇种子的顶点进行标记（即，提供包含此信息的dict，该dict用于处理簇种子）
在某些情况下，更新变量名可能会更好。例如，对于普吕克坐标和SL[N]。
簇合物的广义结合面体（Christian）-http://trac.sagemath.org/sage_trac/ticket/10817
检查为什么variable_class（）比cluster_class（）慢得多。这可能是因为Laurent多项式在sage中很慢。（基督教）
完成有限反射组的实现（Christian）--http://trac.sagemath.org/ticket/11187
允许选项直接使用g矢量、d矢量、c矢量，而不是使用簇变量
作为代数的簇代数

其他功能

量子簇代数
广义簇代数
可视化理想的三角剖分
来自双Bruhat细胞的外来Belavin-Drinfeld簇代数或簇代数
城市更新
更多关于Quiver Representations的信息？

其他功能，简单

为Gale-Robinson Quivers（Gregg）添加新的Quiver突变类型-http://trac.sagemath.org/sage_trac/ticket/14444
将箭袋/簇种子的总和作为不相交并集相加

第64.5天