On Wed, May 7, 2008 at 3:18 PM, Utpal Sarkar <[EMAIL PROTECTED]> wrote:
>
> Hi there,
>
> When I define an abelian group
> A = AbelianGroup(1,[6])
> and then generate a subgroup that actually is the whole group itself,
> and then compare it to the original group:
> A.subgroup(list(A.gens())) == A
> the result may be either True or False. In this example it is False.
> When defining A as
> A = AbelianGroup(2,[3,2])
> it is False as well, but when I define it as
> A = AbelianGroup(2,[2,3])
> it is True.
> My guess is that this is because comparison of finite Abelian groups
> is implemented using their invariant factors, but when you create the
> group using factors that are not in canonical form or not in
> increasing order, these are used instead of the ordered list of
> invariant factors anyway.
>
> Greetings,
>
> Utpal
Thanks for reporting this bug! We are tracking it here:
http://trac.sagemath.org/sage_trac/ticket/3127
-- William
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
