在Sagemath中的团体花圈产品(Wreath Product Of Groups In Sagemath)

在Sagemath中的团体花圈产品(Wreath Product Of Groups In Sagemath)

任何人都可以帮助我在Sagemath采取团体的花圈产品。 我无法找到在线参考资料，但据我所知，它似乎没有内置。 任何可以提供的帮助都很好。 谢谢。

Can anyone help me with taking Wreath Products of Groups in Sagemath. I haven't been able to find a online reference and it doesn't appear to be built in as far as I can tell. Any help that can be provided would be great. Thank you.

最满意答案

据我所知，你将不得不使用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中（事实并非总是如此）。

As far as I know, you would have to use GAP to compute them within Sage (and then can manipulate them from within Sage as well). See e.g. this discussion from 2012. This question has information about it, here is the documentation, and here it is within Sage:

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

However, if you try to get this back into Sage, you will get a NotImplementedError because Sage doesn't understand what GAP returns in this wacky case (which I hope even is legitimate). Presumably if a recognized group is returned then one could eventually get it back to Sage for further processing. In this case, you might be better off doing some GAP computations and then putting them back in Sage after doing all your group stuff (which isn't always the case).