Posted by haifeng on 2011-08-16 16:18:14 last update 2011-08-16 16:18:14 | Answers (0) | 收藏
这里参数可以是一个非负整数, 也可以是一个由若干符号组成的集合.
如果参数是非负整数, 如 FreeGroup(n), 则返回一个秩为 n 的自由群, 也即由 n 个元素生成的自由群; 如果参数是一个符号集合, 则返回由这些符号作为生成元而生成的自由群.
可以使用 .i 来获取自由生成群的第 i 个生成元
