stallings-graphs 0.2

安装

要安装此模块，请执行以下操作：

sage -pip install stallings_graphs

或者：

要使用此模块，您需要导入它：

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）