aidevnn / FastGoat

What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, minimalistic rings and fields manipulations, polynomials factoring, fields extensions and many more...
MIT No Attribution
10 stars 1 forks source link

TC algorithm operations are right-coset #24

Open aidevnn opened 1 year ago

aidevnn commented 1 year ago

https://github.com/aidevnn/FastGoat/blob/1f4a19f1880572b617ba5cd288ab679a0d9ab2d6/FastGoat/ToddCoxeter/OpsTable.cs#L167-L174

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.

https://github.com/aidevnn/FastGoat/blob/1f4a19f1880572b617ba5cd288ab679a0d9ab2d6/FastGoat/ILeftCoset.cs#L3-L7

Fixing this issue will need to rewrite all the namespace ToddCoxeter.