math - Sagemath 团体的花环产品

Question

任何人都可以帮我在 Sagemath 服用花环产品吗？

我无法找到在线参考资料，据我所知，它似乎没有内置。

Answer 1

据我所知，您必须使用 GAP 在 Sage 中计算它们（然后也可以在 Sage 中操作它们）。参见例如2012 年的这个讨论。 这个问题有关于它的信息，这里是文档，这里是在 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 在这种古怪情况下返回的内容（我希望它甚至是合法的）。据推测，如果返回一个已识别的组，那么最终可以将其返回给 Sage 进行进一步处理。在这种情况下，您最好先进行一些 GAP 计算，然后在完成所有小组工作后将它们放回 Sage（并非总是如此）。