#20154: train-tracks
-------------------------------------+-------------------------------------
       Reporter:  dbenielli          |        Owner:
           Type:  task               |       Status:  new
       Priority:  major              |    Milestone:  sage-7.1
      Component:  combinatorics      |   Resolution:
       Keywords:  free-group         |    Merged in:
  automorphism                       |    Reviewers:
        Authors:  Dominique          |  Work issues:
  Benielli, Thierry Coulbois         |       Commit:
Report Upstream:  N/A                |  3ecdcdfe553c1f97769d69f659977e1b6eebaabb
         Branch:                     |     Stopgaps:
  u/dbenielli/train_tracks           |
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by coulbois):

 Advice/approval needed

 I started using and modifying the existing FreeGroup. I refer to the work
 branch of my git repo (not the sage one)

 1/ My guess is that I can rely mainly on the Tietze() method of
 FreeGroupElement. I have no idea of the GAP implementation of
 FreeGroupElement.

 2/ I extended init() methods to allow more API (accepting strings for
 example). I added __getitem__ and comparisons methods. Now
 FreeGroupElement behave loosely as words and I expect to rely on them.

 3/ I started to adapt the FreeGroupMorphism. I am not really willing to
 write a GroupMorphism (even an abstract one) class as I have no idea of
 what Group and GroupElement look like. I propose to use a _morph variable
 to store a dictionnary that map FreeGroupElement (the generators and their
 inverses) to FreeGroupElement (once again I have no idea of the cost, may
 be a dictionnary from integers to integer list together with Tietze()
 would be more efficient though less natural).

 The doc is not yet up-to-date.

 I am currently working further. But please stop me if you believe my
 choices are stupid.

--
Ticket URL: <http://trac.sagemath.org/ticket/20154#comment:32>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to