The equality operation should always compare for mathematical equality. I agree the documentation could be slightly improved in this area.
For example, the following two permutation groups are equal, as they are both the complete permutation group on 4 points. gap> Group([(1,2),(2,3,4)]) = Group([(1,4),(2,3,4)]); true On 05/01/2016, 13:05, "forum-boun...@gap-system.org on behalf of Gaurav Dhingra" <forum-boun...@gap-system.org on behalf of axyd0...@gmail.com> wrote: >Hi, GAP members > >I want to know the exact purpose for which `\=` i.e equality operation is >used in GAP. Does `\=` checks for the mathematical equality or does it >check for structural equality (of given objects) or some other type of >equality of objects in GAP that i am not aware of? >It will be very helpful if you provide the examples indicating the behavior >(mathematical or structural), particularly either with `FreeGroup` or >`Permutation Groups`. > >Thanks >Gaurav Dhingra >_______________________________________________ >Forum mailing list >Forum@mail.gap-system.org >http://mail.gap-system.org/mailman/listinfo/forum _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
