#13115: "groups" object for organizing examples of groups
--------------------------------+-------------------------------------------
Reporter: rbeezer | Owner: joyner
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-5.3
Component: group theory | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Rob Beezer | Merged in:
Dependencies: | Stopgaps:
--------------------------------+-------------------------------------------
Comment (by rbeezer):
v3 patch is still in-progress, though I am not sure if I'll go for an
exhaustive list before marking this "needs review." Please comment before
I get carried away and do a lot of repetitive stuff that needs to be
reworked.
1. This is really more of a documentation and organization improvement,
mostly targeting folks (students) who are not group theory experts. So
there are some illustrative doctests, but for established groups things
like doctesting error messages are left for the originating class.
1. Settled on '''not''' using "Group" in the titles, it feels redundant
and I have the same sentiment as Nathann about the graphs object.
1. Added a "graphs.sporadic" object which could house the 26 sporadic
groups. I've used their common names as used in the classification
results.
1. One sporadic group (Higman-Sims) is built as subgroup of an
automorphism group of a graph. Not sure how many more of these could be
done this way (or on designs, or...).
1. Two sporadic groups done by grabbing generators from the ATLAS. I'll
check about permission before going too far down this path (yes, the
optional !AtlasRep package will do this, but requires network access - I
want this to be easy for the neophyte). Current approach is not
sustainable for the larger groups, and unknown it appears for the Monster.
I'd stick to the smaller ones. For example, Co1 seems to take several
minutes to create using this approach.
1. Partially implemented a keyword for alternate representations of the
sporadic groups. Likely will flesh that out, but do not plan to provide
the actual alternates.
Passes tests, but not ready yet for review. I am interested in huge
blunders, strong opinions, and input from potential reviewers.
Thanks,
Rob
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13115#comment:11>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
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-trac?hl=en.
