#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                |  8e7f6300f59a3eca9d69233a52fc09b025cb33a2
         Branch:                     |     Stopgaps:
  u/dbenielli/train_tracks           |
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by coulbois):

 Yes, I begin to understand, that I will need to use (and add
 functionalities) to the current FreeGroup.

 The main difficulty is that I rely heavily on WordMorphism, in particular
 for parsing:

 FreeGroupAutomorphism("a->ab,b->aC,c->a")

 And for applying or compose morphisms. These are heavily used in my
 program.

 This suggest that I would like that my elements of FreeGroup are Word. Do
 you have any objection to FreeGroup also inheriting from Words ? And
 FreeGroupElement from Word ?

 I guess that it is not too complicated to add Words and Word methods to
 your FreeGroup and FreeGroupElement. But will that interfere with deeper
 GAP implementations (I am completly new to GAP)?

 Would that be satisfactory to Sage gurus that FreeGroup are both an
 algebraic object and a symbolic one ?

 Finally there is also a IndexedFreeGroup class which is not a wrapper of
 GAP, how does it fit in this discussion ?

 > I don't think it is a good idea to override the default FreeGorup
 implementation. Many parts of Sage deppend on it. It would make more sense
 to extend it with the methods that are needed for the rest of your code.

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