#10930: specializations for symmetric functions
-----------------------------+----------------------------------------------
Reporter: mantepse | Owner: mantepse
Type: enhancement | Status: new
Priority: minor | Milestone: sage-4.7
Component: combinatorics | Keywords: principal specialization,
exponential specialization, symmetric functions
Author: Martin Rubey | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
Comment(by jbandlow):
Hi Martin,
Thanks submitting this! A quick response to your points above. I'm not
sure what you mean by point (1)... can you elaborate?
For point (2), you can use None as the default value, and then do
{{{
if q is None:
q = self.parent().base_ring().one()
}}}
as the first line of your code.
For point (3), quasisymmetric functions are still somewhat immature--in
particular they are not in Sage proper. So this is not too big of a
concern.
For point (4), yes, there should be more doc and tests. In particular, I
find tests like
{{{
all( e[mu].principal_specialization(4) == e[mu].expand(4)(1,q,q^2,q^3)
for mu in Partitions(4) )
}}}
particularly convincing.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10930#comment:4>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
