#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 | 2fbe7c6745dc59fc60b8ccb1c616224b3c60a5b3
Branch: | Stopgaps:
u/dbenielli/train_tracks |
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by tscrim):
I still haven't taken a detailed looked yet (sorry), but this does look
very impressive. I am looking forward to getting this project and code
included into Sage.
I think it would be good for you to list here exactly what functionality
you're missing from free groups in Sage (and their morphisms) and/or to
create a separate ticket, which would become a dependency of this ticket,
that would implement these features.
Although, you are not really loosing the interpretation of free group
elements as words because you have the `Tietze()`, but it will likely
require some changes to the implementations. (Sorry for a bit of
repetition, but IMO, a finite word is much more naturally associated with
a free monoid because of the concatenation does not involve cancellation.)
The biggest possible obstruction to this that I see currently is that you
are using some feature only implemented for word morphisms.
Math question, does the theory of train-tracks extend to free groups on
(countably) infinite generators?
--
Ticket URL: <http://trac.sagemath.org/ticket/20154#comment:28>
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.
