Commit 2025-10-21 11:18 7f43b3a9
View on Github →feat(GroupTheory/FreeGroup): add cyclic reduction of words (#27673)
This PR adds the definition of reduceCyclically. This function produces a subword of a word w by cancelling the first and last letters of w as long as possible. If w is reduced, the resulting word will be cyclically reduced.
It is a part of a series of PR on the theory of cyclically reduced words.
Upstreamed from the EquationalTheories project.