#20402: Make subword complexes compatible with real reflection groups
-------------------------------------+-------------------------------------
Reporter: stumpc5 | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-7.2
Component: combinatorics | Resolution:
Keywords: reflection group, | Merged in:
coxeter group, subword complex, | Reviewers:
days80 | Work issues:
Authors: Christian Stump | Commit:
Report Upstream: N/A | 295d784db0ae24bed97ed7b4d3777df9dbd652c2
Branch: u/stumpc5/20402 | Stopgaps:
Dependencies: #11187 |
-------------------------------------+-------------------------------------
Comment (by nthiery):
Oh, I had not noticed that 'CoxeterMatrixGroup' were acting on plain
vectors with '*'. As you mention this is very ambiguous. For a Weyl group
this is even worst: is the vector interpreted as in the span of the
(co)roots? of the (co)weights? in the ambient space?
For now, I'd rather keep the notations as explicit as possible (in
particular, it's easier to document a method `.action` than an overloaded
operator). And leave us room in the future to overload '*', either by
default, or upon explicit request from the user.
--
Ticket URL: <http://trac.sagemath.org/ticket/20402#comment:35>
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.
