среда, 23 марта 2011 г.

Страшный изоморфизм

По-маленьку приобщаюсь к GAP.
Сегодня в процессе изучения всяких полезных функций из пакета Sonata, имеющего дело с почтикольцами, произошла вот такая оказия.


Пишу

>gap
gap>LoadPackage("Sonata");
gap>G:=DihedralGroup(8);
gap>N:=EndomorphismNearRing(G);
gap>IsIsomorphicNearRing(N, N);
Получаю:

Функция IsIsomorphicNearRing выполнялась долго и крэшнулась. Правда, я не упомянул, что в $N$ аж $256$ элементов. Но всё-таки.

Комментариев нет:

Отправить комментарий