#17792: Word problem for FareySymbol
-------------------------------------+-------------------------------------
Reporter: mmasdeu | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.7
Component: modular forms | Resolution:
Keywords: farey symbol, | Merged in:
SL2Z, word problem | Reviewers:
Authors: Marc Masdeu | Work issues:
Report Upstream: N/A | Commit:
Branch: | 18e034409e8b62c81821e93132a11dd15d7fd432
public/ticket/17792 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by mmasdeu):
Thank you John for the putting things in perspective. After looking at how
``FinitelyPresentedGroup`` and ``FreeGroup`` work:
{{{
sage: F = FreeGroup(2)
sage: a = F([1,2,1]); a
x0*x1*x0
sage: a.syllables()
((x0, 1), (x1, 1), (x0, 1))
sage: a.Tietze()
(1, 2, 1)
}}}
I think that the best alternative is to provide three methods: ``Tietze``,
``syllables``, and ``word_problem``. The outputs would be respectively a
tuple of integers, a tuple of pairs of integers, and a tuple of pairs
(gen,exp) as has been suggested. The documentation will refer to each
other, and Tietze will be cached and used by the other two. This will make
the outputs compatible with what already exists in Sage.
Please let me know if that seems a reasonable solution and I will
implement it.
--
Ticket URL: <http://trac.sagemath.org/ticket/17792#comment:15>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
