Hi David,
thanks for looking at the code! My reply to you concern below.
On Dec 6, 7:35 pm, David Joyner <wdjoy...@gmail.com> wrote:
> 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?
I am not sure about this. I would expect that subsets of two
different
groups are never equal because equality of sets should check for
the parents of the elements:
sage: G = SymmetricGroup(3)
sage: H = SymmetricGroup(4)
sage: L1 = Set([G((1,2)), G((1,3))])
sage: L1
{(1,2), (1,3)}
sage: L2 = Set([H((1,2)), H((1,3))])
sage: L2
{(1,2), (1,3)}
sage: L1 == L2
False
but I don't know if the situation might be different in some weird
situation.
Anyway, if this nags you too much I can replace the test to include
parent checking
(although the example above suggest that it shouldn't be necessary).
Any idea on what is causing the Testsuit to fail, even if the doctests
pass?
Cheers,
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
