В GAP произведение перестановок
Код:
p * q
означает, что перестановка q применяется к результату перестановки p. Это оказалось для меня неожиданным, так как перестановки - отображения, и в композиции отображений отображение, стоящее слева, традиционно применяется после правого, как мне кажется. Два вопроса:
1. Чем вызвано такое соглашение и какое у него преимущество?
2. Где в документации по GAP оно описано? Возникает ощущение, что подобный порядок был "естественным" для авторов пакета.
PS Бесплатный ChatGPT откровенно врёт в подобных вопросах.