Opened 7 years ago
Closed 7 years ago
#13614 closed enhancement (fixed)
Add Table Explaining How To Create Every Group of Order < 32
Reported by: | khalasz | Owned by: | joyner |
---|---|---|---|
Priority: | minor | Milestone: | sage-5.9 |
Component: | group theory | Keywords: | |
Cc: | rbeezer, benjaminjones | Merged in: | sage-5.9.rc0 |
Authors: | Kevin Halasz | Reviewers: | Volker Braun |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #13367, #13366, #13365 | Stopgaps: |
Description (last modified by )
Adds a table to constructions/groups that explains how to create every group of order less than 32. Each such group can now be created with just a few easy commands thanks to the patches listed here as dependencies.
Apply
Attachments (1)
Change History (10)
comment:1 Changed 7 years ago by
- Description modified (diff)
- Status changed from new to needs_review
comment:2 Changed 7 years ago by
comment:3 Changed 7 years ago by
RAB
Attached is an updated table. After quite a bit of experimenting, I figured out a way to get all of the commands to get set as script and be doctests. Do you think this was the right choice (addressing 8 and 11)?
Also, I didn't add the Thomas/Woods? ids, as I don't own a copy of the book anymore. I don't think they are really necessary, considering how difficult the book is to get one's hands on, but if you really do we can figure out a way for me to get a copy.
comment:4 Changed 7 years ago by
I don't know Thomas/Woods. But I think the de-facto standard of enumerating the small groups in computational group theory circles is GAP's IdGroup
, being a pair (order, n)
where n
starts at 1 and indexes the groups. Of course its easy to compute if you install the (non-GPL) small group database:
sage: install_package('database_gap') ... sage: G = DihedralGroup(10) sage: gap(G).IdGroup() [ 20, 4 ]
What I'm trying to say : If there is space then it would be nice to have the GAP ids in the table.
Changed 7 years ago by
comment:5 Changed 7 years ago by
I added the GAP Ids to the table.
comment:6 Changed 7 years ago by
- Description modified (diff)
- Reviewers set to Volker Braun
- Status changed from needs_review to positive_review
Sounds good to me.
comment:7 follow-up: ↓ 8 Changed 7 years ago by
- Description modified (diff)
comment:8 in reply to: ↑ 7 Changed 7 years ago by
Replying to jdemeyer: oops
comment:9 Changed 7 years ago by
- Merged in set to sage-5.9.rc0
- Resolution set to fixed
- Status changed from positive_review to closed
Kevin,
Very nice. This will be a great contribution. Comments, in order of appearance,I think.
Rob
D_6
is used for order 14 dicyclic