As in other modules, we allow the user to specify whether the group action is a left or a right action. In line with permutation groups, and also gap, the default side for an action is from the right.
Documentation preview for this PR (built with commit 8033c9c0f41d48f036310aefea2b9c08306399d2; changes) is ready! :tada:
This preview will update shortly after each push to this PR.
As in other modules, we allow the user to specify whether the group action is a left or a right action. In line with permutation groups, and also gap, the default side for an action is from the right.