Ticket #4531 (closed defect: fixed)

Opened 22 months ago

Last modified 22 months ago

[with patch, positive review] Sage 3.2.rc1: automorphism_group() doctest failure on 32 bit in sage/combinat/species/library.py

Reported by: mabshoff Owned by: was
Priority: blocker Milestone: sage-3.2
Component: combinatorics Keywords:
Cc: Author(s):
Report Upstream: Reviewer(s):
Merged in: Work issues:

Description

sage -t  devel/sage/sage/combinat/species/library.py 
********************************************************************** 
File "/home/john/sage-3.2.rc1/devel/sage/sage/combinat/species/library.py", 
line 86: 
    sage: a.automorphism_group() 
Expected: 
    Permutation Group with generators [(), ()] 
Got: 
    Permutation Group with generators [()] 
********************************************************************** 

Attachments

sage-4531.patch Download (20.1 KB) - added by was 22 months ago.
doc-4531.patch Download (0.9 KB) - added by was 22 months ago.
sage-4531-part2.patch Download (0.7 KB) - added by was 22 months ago.
trivial followup

Change History

Changed 22 months ago by GeorgSWeber

That seems to be a problem of how Sage displays/prints permutation groups. Internally, everything seems fine. I just produced such a group and I get:

sage: B = species.BinaryTreeSpecies()
sage: a = B.structures([1,2,3,4,5]).random_element(); a
(1*5)*((2*3)*4)
sage: grp = a.automorphism_group()
sage: grp
Permutation Group with generators [(), ()]
sage: grp.list()
[()]

The latter two lines are pretty inconsistent.

Changed 22 months ago by mabshoff

Mike Hansen mentioned in IRC that this is the expected output and will post a patch to fix this in the morning.

Cheers,

Michael

Changed 22 months ago by GeorgSWeber

OK. Thanks for this info!

Changed 22 months ago by was

  • owner changed from mhansen to was

I am fixing this by changing permutation groups to make their gens be canonicalized by default (meaning they are sorted and duplicates are removed). This is *much* more in the spirit of Sage. There is still the option to have the generators be exactly what is input (duplicates and all).

Changed 22 months ago by was

Changed 22 months ago by was

Changed 22 months ago by was

trivial followup

Changed 22 months ago by mabshoff

  • summary changed from Sage 3.2.rc1: automorphism_group() doctest failure on 32 bit in sage/combinat/species/library.py to [with patch, positive review] Sage 3.2.rc1: automorphism_group() doctest failure on 32 bit in sage/combinat/species/library.py

mhansen gave this patch a positive review assuming the doctests pass. Since they do I am changing the subject.

Cheers,

Michael

Changed 22 months ago by mabshoff

  • status changed from new to closed
  • resolution set to fixed

Merged all three patches in Sage 3.2.rc2

Note: See TracTickets for help on using tickets.