Oscar.jl
Oscar.jl copied to clipboard
words, syllables, letters and their inverse for fpgroup and pc group elems in all variations
Just talked with @fieker: we have syllables(g::Union{FPGroupElem, SubFPGroupElem})
and letters(g::FPGroupElem)
- [ ] both of these should be available for
FPGroupElem
andSubFPGroupElem
- [ ] but ideally also both for
PcGroupElem
andSubPcGroupElem
(as a subcase of the old issue #952) - [ ] I just noticed there is also a nice
WeylGroup
type with aword
method (cc @lgoettgens) -- it would make sense to havesyllables
andletters
for those, too - [ ] conversely, there is a
word
method forWeylGroup
which looks similar toletters
(except it returns aVector{UInt8}
-- of course if the generators are involutions one doesn't need inverses. Anyway: perhaps there should also be aword
method for fp and pc (sub) group elems (to be decided what it should return - [ ] in all these case, we also want a "reverse" function that takes the output of one of these function, plus a parent (sub)group, and re-constructs a group element.
- [ ] ... and the docstrings for these functions should always also mention their "inverse" (and ideally include an example showing a roundtrip)
@ThomasBreuer perhaps you can have a look?