#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:              
--------------------------------+-------------------------------------------
Changes (by rbeezer):

 * cc: sjg10 (added)


Old description:

> This patch begins the process of creating a convenient place to locate
> examples of groups, much as is the case for graphs, digraphs and posets.
>
> It creates an object and populates it with methods that return groups.
> For general families, it just employs the class where the group is
> implemented, such as for the Mathieu groups.  For more specific (simple)
> examples, the group may be implemented in the method, such as for the
> quaternion group expressed as a matrix group.
>
> Naming decisions were made to maximize the effectiveness of tab-
> completion.  Once the infrastructure is in place I will work to add
> '''every''' possible example implemented in Sage.

New description:

 This patch begins the process of creating a convenient place to locate
 examples of groups, much as is the case for graphs, digraphs and posets.

 It creates an object and populates it with methods that return groups.
 For general families, it just employs the class where the group is
 implemented, such as for the Mathieu groups.  For more specific (simple)
 examples, the group may be implemented in the method, such as for the
 quaternion group expressed as a matrix group.

 Naming decisions were made to maximize the effectiveness of tab-
 completion.  Once the infrastructure is in place I will work to add
 '''every''' possible example implemented in Sage.

 '''Apply:'''
 1. [attachment:trac_13115-groups-object-v4.patch]

--

Comment:

 Substantially reworked now with modules and imports doing all the work.
 Top-level "groups.<tab>" object with primary divisions by implementation
 (such as groups.permutation.<tab>).

 Previous patch has lots of documentation that could go to help some of
 these files, it needs it.  On another patch, later.

 Previous patch had an initial foray into manufacturing some sporadic
 simple groups.  On another patch, later.

 v4 patch is ready for review now.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13115#comment:14>
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.

Reply via email to