#19594: Implement the cactus group
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.0
Component: group theory | Resolution:
Keywords: cactus | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/groups/cactus_group-19594 | 7eb2a1278ea0ca08375f87e0f82081218a2ea1ec
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
`s14 |-> (1,4) (2,3)` is the correct image as `s14` should correspond to
flipping the entire interval `[1, 4]`.
I asked Peter Tingley, who asked Joel Kamnitzer, and they do not know of a
normal form.
What do both of you think about trying to prove an analog of Matsumoto's
theorem for the cactus group, i.e., that all reduced words are related to
each other by just applying the defining relations, as per comment:15?
--
Ticket URL: <http://trac.sagemath.org/ticket/19594#comment:21>
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.
