Sagemath 组的花环产品

Wreath Product Of Groups In Sagemath

任何人都可以帮助我在 Sagemath 中使用 Wreath Products of Groups 吗?

我没能找到在线参考,据我所知它似乎不是内置的。

据我所知,您必须使用 GAP 在 Sage 中计算它们(然后也可以在 Sage 中操作它们)。参见例如this discussion from 2012. This question has information about it, here is the documentation,在 Sage 中:

F = AbelianGroup(3,[2]*3)
G = PermutationGroup([[(1,2,3),(4,5)],[(3,4)]])
Gp = gap.StandardWreathProduct(gap(F),gap(G))
print Gp

但是,如果您尝试将其恢复到 Sage 中,您将得到一个 NotImplementedError,因为 Sage 不理解这种古怪情况下的 GAP returns(我希望这甚至是合法的) ).据推测,如果返回一个已识别的组,那么最终可以将其返回给 Sage 进行进一步处理。在这种情况下,您最好先进行一些 GAP 计算,然后在完成所有小组工作后将它们放回 Sage(情况并非总是如此)。