自由群有限生成子群的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
以及外部包ImageMagick，Graphviz。在
在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时，两者都会自动安装。在
有用的链接
- 在PyPI上：https://pypi.org/project/stallings-graphs/
- HTML文档：https://www.labri.fr/perso/weil/software/version-0-2/html/
- PDF文档：https://www.labri.fr/perso/weil/software/version-0-2/stallings_graphs.pdf
- 专业主页链接：https://www.labri.fr/perso/weil/software/
- slabbe包：https://pypi.org/project/slabbe/
- train_track包：https://pypi.org/project/train-track/
发布历史记录
版本0.2，于2020年9月发布（Pascal Weil）
- 这个包现在可以与python3一起使用
- 一些错误修复
- 关于有限生成子群的新方法，包括自由因子的判定和 子群代数扩张格的计算
- 通过与Thierry Coulbois的联系，定义和使用自由群之间的态射 train_track包
版本0.1，于2019年3月发布（Pascal Weil）
- 项目
标签：
欢迎加入QQ群-->： 979659372
