花圈產品的羣體在Sagemath

Question

任何人都可以幫助我在Sagemath的團體花圈產品。我無法找到在線參考資料，但據我所知，它似乎沒有內置。任何可以提供的幫助都很好。謝謝。

Answer 1

據我所知，你將不得不使用GAP在Sage中計算它們（然後可以在Sage中操作它們）。見例如this discussion from 2012。 This question有一個關於它的信息here is the documentation，在這裏它是內賢者：

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

但是，如果你試圖把它恢復成聖人，你會得到一個NotImplementedError，因爲賢者不明白這個返回GAP什麼古怪的情況下（我希望它甚至是合法的）。據推測，如果一個被認可的團體被退回，那麼最終可以將其退回到Sage進行進一步處理。在這種情況下，你可能會做一些GAP計算，然後在完成所有組工作後將它們放回Sage中（事實並非總是如此）。