TC algorithm operations are right-coset
Opened this issue · 0 comments
aidevnn commented
FastGoat/FastGoat/ToddCoxeter/OpsTable.cs
Lines 167 to 174 in 1f4a19f
In the algorithm, all operations are right coset, (1).a = (2), where (1) and (2) are classes, H.a = K. In every other part, operations are from left x.H = K, this is why a word is reversed before being rewrited.
FastGoat/FastGoat/ILeftCoset.cs
Lines 3 to 7 in 1f4a19f
Fixing this issue will need to rewrite all the namespace ToddCoxeter.