Sagemath团体的花圈产品

时间:2017-04-18 03:10:25

标签: math sage abstract-algebra

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

1 个答案:

答案 0 :(得分:0)

据我所知,你必须使用GAP在Sage中计算它们(然后也可以在Sage中操作它们)。参见例如this discussion from 2012This question有关于它的信息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在这个古怪的情况下会返回什么(我希望这是合法的)。据推测,如果返回一个认可的团体,那么最终可以将其送回Sage进行进一步处理。在这种情况下,您可能最好做一些GAP计算,然后在完成所有组内容之后将它们放回Sage中(事情并非总是如此)。