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