On Tue, Dec 6, 2011 at 1:58 PM, javier <vengor...@gmail.com> wrote: > > > On Dec 6, 6:55 pm, David Joyner <wdjoy...@gmail.com> wrote: >> I guess I am going blind. I don't see a _cmp_ >> inhttp://trac.sagemath.org/sage_trac/attachment/ticket/7886/trac_7886_c... >> Which line is it? > > Oops! > My bad, forgot to add the new conjugacy_classes.py file to the hg > repository. I uploaded it in the patch > trac_7886_conjugacy_classes_module.patch
Okay. The code seems fine. I have a nagging worry that you can have slightly different groups G1, G2 (say G2 is a direct product of G1 with a central element of order 2). Isn't it possible for a conjugacy class in G1 to be equal (as sets) to a conjugacy class in G2? If so, your code would say those conjugacy classes are equal. My feeling though is that two conjugacy classes C1, C2 should be equal if and only if they are equal as sets *and* their groups are equal. What do you think? > > Sorry! > Javier > > -- > To post to this group, send an email to sage-devel@googlegroups.com > To unsubscribe from this group, send an email to > sage-devel+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/sage-devel > URL: http://www.sagemath.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
