#12339: Free Groups
------------------------------------------------------------------+---------
       Reporter:  mmarco                                          |         
Owner:  joyner      
           Type:  enhancement                                     |        
Status:  needs_work  
       Priority:  major                                           |     
Milestone:  sage-5.5    
      Component:  group theory                                    |    
Resolution:              
       Keywords:  free groups, finitely presented groups, braids  |   Work 
issues:              
Report Upstream:  N/A                                             |     
Reviewers:  Volker Braun
        Authors:  Miguel Marco                                    |     Merged 
in:              
   Dependencies:  #6391, #13687, #13588                           |      
Stopgaps:              
------------------------------------------------------------------+---------

Comment (by mmarco):

 I have done the changes you suggested to braid groups, except for the
 __cmp__ method: we make use of the fact that word problem is solvable in
 braid groups, because of the normal form. This way, we really check if two
 braids, that can look really different, are the same or not.

 It seems to solve the problem with the documentation building.

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