Latin squares is not enough

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

Latin squares is not enough #26

Closed aidevnn closed 1 year ago

aidevnn commented 1 year ago

https://github.com/aidevnn/FastGoat/blob/3b0cf275f506371d3ce73ed46ada81e0dc9695e3/FastGoat/Group.cs#L190-L204

Associativity is not verified.

Latin square is cheap, complexity is O(n2) when Associativity is more costly O(n3)

aidevnn commented 1 year ago

UserGroups and their elements are by construction associatives. Writing a custom Loop of order 5 which isnt a Group is possible and fixing this issue isnt the priority at this moment.