#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 | 283ccf598079150e16406adc6a5a55b519f8ec26
Branch: u/stumpc5/20402 | Stopgaps:
Dependencies: #11187 |
-------------------------------------+-------------------------------------
Comment (by nthiery):
Replying to [comment:28 stumpc5]:
> > Also, instead of `act`, IIRC there is a method, which I believe is
`_act_on_` (not to be confused with `_acted_upon_`), that automatically
gets checked by the coercion framework. So it gives you `w * la`
essentially for free.
>
> Done, I must admit that I like that way of having an element w in W act
on vectors, while I am nervous about this implicitness in the construction
that will likely result in bugs.
Same here; it's nice to have a short hand for actions (and to benefit from
coercion!), but I am also uncomfortable giving yet another meaning to the
operator '*'.
In any cases, we should keep consistency with Weyl groups. It's currently
``w.action(l)`` there (not ``w.act(l)`` btw); if we switch to
``_act_on_``, then we should do it consistently everywhere.
Cheers,
--
Ticket URL: <http://trac.sagemath.org/ticket/20402#comment:29>
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.
