#8044: Categories for finite (permutation) groups
---------------------------------+------------------------------------------
   Reporter:  nthiery            |       Owner:  nthiery                        
  
       Type:  defect             |      Status:  new                            
  
   Priority:  major              |   Milestone:                                 
  
  Component:  group_theory       |    Keywords:  Finite groups, permutation 
groups
     Author:  Nicolas M. ThiƩry  |    Upstream:  N/A                            
  
   Reviewer:                     |      Merged:                                 
  
Work_issues:                     |  
---------------------------------+------------------------------------------

Old description:

> This patch:
>
>  - Introduces two new categories, FiniteGroups and
> FinitePermutationGroups
>  - Deprecates the class sage.groups.group.FiniteGroup
>    (content moved to the FiniteGroups category; this is essentially
>    the cayley_graph method)
>  - Puts all permutation groups and most other finite groups in the
>    corresponding categories
>  - As a result, this standardizes the interface of those groups
>    (cardinality, one, ...), and reveals lots of failures in the
>    completely undocumented PariGroup (category not set properly yet)
>  - Makes a minor improvement to FiniteEnumeratedSets tests for
>    large finite enumerated sets

New description:

 This patch:

  - Introduces two new categories, FiniteGroups and FinitePermutationGroups
  - Deprecates the class sage.groups.group.FiniteGroup
    (content moved to the FiniteGroups category; this is essentially
    the cayley_graph method)
  - Puts all permutation groups and most other finite groups in the
    corresponding categories
  - As a result, this standardizes the interface of those groups
    (cardinality, one, ...), and reveals lots of failures in the
    completely undocumented PariGroup (category not set properly yet)
  - Makes a minor improvement to FiniteEnumeratedSets tests for
    large finite enumerated sets

 Current (to be finalized patch) on:
 http://combinat.sagemath.org/hgwebdir.cgi/patches/file/tip/trac_8044
 -categories_finite_groups-nt.patch. Prereviews welcome!

--

Comment(by nthiery):

 Non finalized patch on:
 http://combinat.sagemath.org/hgwebdir.cgi/patches/file/tip/trac_8044
 -categories_finite_groups-nt.patch

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