Как я провел Валентинов день

[leblon]

Утром разбирался с целочисленным кольцом когомологий конечных абелевых групп. Как ни удивительно, в общем случае описать его в естественных терминах довольно трудно.

Потом будущих аспирантов сортировали.

Наконец, вечером меня осенило, и не без помощи компьютера я нашел пример топологической теории поля в трех измерениях с аномальной глобальной симметрией. "Ура, ура!"- закричали тут швамбраны все.

Comments

[rsokolov.livejournal.com]

"Найти при помощи компьютера" - это означает "посчитать" или "посмотреть в Гугле"?
Если первое, то просто интересно - какие программы существуют для решения подобных задач?

[leblon.livejournal.com]

Там дело сводится к одной математической задаче из теории конечных групп. Для таких вычислений есть программа GAP (http://www.gap-system.org/) и к ней пакет HAP (http://hamilton.nuigalway.ie/Hap/www/index.html).

[rsokolov.livejournal.com]

Ага, спасибо. Я и не знал, что группы гомологий можно уже считатаь на компьютере. I thought it's still an art, not a science.

[leblon.livejournal.com]

Можно, только зачастую memory overflow случается. Даже для сравнительно маленьких групп.

[sasha-br.livejournal.com]

"Уры, уры" вообще-то

[leblon.livejournal.com]

Разве? В моем издании было "ура".