自由群有限生成子群的Stallings图表示

stallings-graphs的Python项目详细描述


stallings_graphsResearch代码通过一组新的Python类实现了在Sage中实验无限组的有限生成子群的工具。许多模块对应于为已发表文章编写的研究代码(随机生成、各种属性的决策等)。可重用文档(包括可重用文档)。在

欢迎评论。在

安装

要安装此模块,请执行以下操作:

sage -pip install stallings_graphs

或者:

^{pr2}$

要使用此模块,您需要导入它:

from stallings_graphs import *

本手册的许多使用实例说明了这一点 stallings_graphs。这些示例都在stallings_graphs的每个版本中进行测试,并且 应产生与本手册中完全相同的输出,但第行除外 打破。在

许可证

这部作品是根据Creative Commons Attribution-Share Alike 3.0 License授权的。在

先决条件

安装stallings_graph需要一个有效的SageMath安装。根据使用情况(尤其是生成LaTeX、pdf、png输出),可能需要安装可选软件包dot2tex

sage -i dot2tex

以及外部包ImageMagickGraphviz。在

在OSX上,安装Homebrew后,可以执行以下操作:

sudo brew install graphviz imagemagick

在Debian或Ubuntu上,你可以:

sudo apt install graphviz imagemagick

请注意,graphviz必须在dot2tex之前。在

stallings_graph还使用了Sébastien Labbé的slabbe包和Thierry Coulbois的train_track包。当安装stallings_graphs时,两者都会自动安装。在

发布历史记录

版本0.2,于2020年9月发布(Pascal Weil)

  • 这个包现在可以与python3一起使用
  • 一些错误修复
  • 关于有限生成子群的新方法,包括自由因子的判定和 子群代数扩张格的计算
  • 通过与Thierry Coulbois的联系,定义和使用自由群之间的态射 train_track

版本0.1,于2019年3月发布(Pascal Weil)

欢迎加入QQ群-->: 979659372 Python中文网_新手群

推荐PyPI第三方库


热门话题
由于java的原因,maven无法运行代码。lang.NoClassDefFoundError:com/fasterxml/jackson/annotation/JsonMerge   Android项目中的java Creative SDK图像编辑器UI   java如何在Android Studio中使用DataOutputStream上传文件并将其他参数传递到web服务器   java倒计时服务打开时崩溃   java将RubyonRails项目转换为JRubyonRails项目   java我的图库意图是不显示图像?为什么?   java如何在春季启动时跳过mongodb/   java@Autowired在Spring中是如何实现的   甲骨文Akka java。util。同时发生的timeoutexception线程池频繁超时   java maven依赖项对spring启动应用程序有何影响?   java Firestore执行复合查询,未截获事件“已修改”   java ItemStreamException:未能初始化读取器,原因是:IllegalStateException:流已初始化。重新开放前关闭   java将空标记解组到集合的新实例中   使用AspectJ的java新手:无法调用aspect   java查找棋类游戏的所有组合   你为什么要这样做and==与Java中的equals方法不一样吗?   如何对使用JavaUUID的代码进行单元测试?