Система компьютерной алгебры GAP, название которой расшифровывается как "Groups, Algorithms and Programming", была задумана около 15 лет назад как инструмент комбинаторной теории групп - раздела алгебры, изучающего группы, заданные порождающими элементами и определяющими соотношениями
|