#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 stumpc5):
Replying to [comment:48 tscrim]:
> There is a standard basis, but it is not canonical.
Okay, let's agree that we both know the situation, but that we do not
agree which structure to emphasize...
> > * have a method {{{.action(vec, side="left", on_space="primal")}}}
that does the appropriate action, and
> > * have {{{._act_on_(vec, self_on_left)}}} defined as {{{.action(vec,
side=side, on_space="primal")}}} where the side is set depending on
self_on_left being {{{True}}} or {{{False}}}.
>
> That is good with me.
Good!
@Nicolas, do you agree this to be reasonable or do even not like this
usage of the coercion?
--
Ticket URL: <http://trac.sagemath.org/ticket/20402#comment:49>
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.
