问题及解答

用法

这里参数可以是一个非负整数, 也可以是一个由若干符号组成的集合.

如果参数是非负整数, 如 FreeGroup(n), 则返回一个秩为 n 的自由群, 也即由 n 个元素生成的自由群; 如果参数是一个符号集合, 则返回由这些符号作为生成元而生成的自由群.

可以使用 .i 来获取自由生成群的第 i 个生成元