Реализация алгебраических структур в математических пакетах. Как это?

Question

[puhoshville]

Интересует вопрос реализации групп (алгебраическая структура) в пакетах типа SAGE, MATLAB и т.д. Точнее реализация бесконечных групп, т.к. любую конечную можно представить как подгруппу $S_n$ и перебрать.

Comments

[Армянское Радио]

Реализации групп с какой целью? Что с этими бесконечными группами делать-то, на конечном компьютере?

[puhoshville]

Армянское Радио: предполагается что они были посчитаны для некоторых двух объектов (например фундаментальная группа поверхностей), дальше эти две группы сравниваются, и если они различны, то и поверхности также различны.