#14981: Descent algebra
---------------------------------------------+-----------------------------
Reporter: tscrim | Owner: sage-
Type: enhancement | combinat
Priority: major | Status: needs_review
Component: combinatorics | Milestone: sage-5.12
Keywords: Solomon's descent algebra | Resolution:
Authors: Travis Scrimshaw | Merged in:
Report Upstream: N/A | Reviewers: Darij
Branch: | Grinberg
Stopgaps: | Work issues:
| Dependencies: #14234
---------------------------------------------+-----------------------------
Comment (by darij):
I do think the references are useful, since they say that the notations
used in the doc are identical with the notations used in [GR1989]. Of
course, you can write exactly this into the docstring on the class level,
but that would be a promise that all **future** changes to the code will
still respect [GR1989] notations; I'm not sure if I could make such a
promise...
Also, some details are off. First, there is no need to require R to be a
QQ-algebra universally; only the I-basis needs that, and as far as I
understand it is a leaf of the coercion graph. The use of < for the
refinement order needs to be changed to \leq every time it appears, and
you might want to point out which way it goes (I don't know if this is
standard; this is the reason why I haven't used a symbol for it).
Why did you remove the paragraph about the nonstandard syntax for the
D-basis? Things like this confuse me a lot when I try to use a basis.
--
Ticket URL: <http://trac.sagemath.org/ticket/14981#comment:11>
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/groups/opt_out.
