Opened 10 years ago

Closed 10 years ago

#10722 closed enhancement (fixed)

All cosets of a permutation group

Reported by: rbeezer Owned by: joyner
Priority: minor Milestone: sage-4.6.2
Component: group theory Keywords:
Cc: dimpase, wdj Merged in: sage-4.6.2.alpha4
Authors: Rob Beezer Reviewers: Dmitrii Pasechnik
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by rbeezer)

New method for permutation groups generates a list of all of the cosets of a subgroup in a group.

This is intended for instructional use, to allow students to experiment with cosets (say, actually defining a product on the raw cosets). This is a companion to #10685 and I think completes my wish-list of fundamental brute-force computations that help with teaching introductory group theory.

I had this all written using representatives from GAP, but GAP's "canonical" representatives are only guaranteed to be identical on a per-GAP-session basis. For this reason,I couldn't get (a) predictable output, (b) subgroup as first coset, (c) coset "structure" identical to subgroup "structure", (d) doctest-able output and (e) a fairly straightforward technique for a naive check on normality. Well, I could get almost all of that, but it got to where it was requiring about two or three times as many computations.

Depends: #10685

Attachments (1)

trac_10722-cosets-permutation-group.patch (7.9 KB) - added by rbeezer 10 years ago.

Download all attachments as: .zip

Change History (5)

Changed 10 years ago by rbeezer

comment:1 Changed 10 years ago by rbeezer

  • Authors set to Rob Beezer
  • Cc dimpase wdj added
  • Description modified (diff)
  • Status changed from new to needs_review

This will need #10685 on 4.6.2.alpha3 so it will apply properly, but there is no logical dependence.

comment:2 Changed 10 years ago by dimpase

  • Status changed from needs_review to positive_review

works OK. Positive review.

comment:3 Changed 10 years ago by jdemeyer

  • Reviewers set to Dmitrii Pasechnik

comment:4 Changed 10 years ago by jdemeyer

  • Merged in set to sage-4.6.2.alpha4
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.