Сплетение групп в Sagemath

Может ли кто-нибудь помочь мне с получением Wreath Products of Groups в Sagemath?

Я не смог найти ссылку в Интернете, и, насколько я могу судить, она не встроена.


math abstract-algebra sage
person Sam H    schedule 18.04.2017    source источник
comment
Даунвотеру - зачем? Это кажется резонным вопросом.   -  person kcrisman    schedule 18.04.2017
comment
См. также math.stackexchange.com/questions/2239595/wreath- продукт в шалфее   -  person kcrisman    schedule 18.04.2017

Ответы (1)


arrow_upward
0
arrow_downward

Насколько я знаю, вам придется использовать 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 после выполнения всей вашей групповой работы (что не всегда так).

person kcrisman    schedule 18.04.2017
comment
Спасибо вам за помощь. Это очень информативно. Я не знал, что GAP поддерживается в Sage. Я посмотрю, не окажется ли проблемой, что продукт венка не всегда возвращает группу, определенную мудрецом, но я использую группы перестановок, поэтому все может быть хорошо, если я правильно понимаю. - person Sam H; 20.04.2017