#13399: Fixes to symmetric functions
-------------------------------------------------+--------------------------
Reporter: aschilling | Owner:
sage-combinat
Type: defect | Status: needs_review
Priority: major | Milestone: sage-5.4
Component: combinatorics | Resolution:
Keywords: symmetric functions | Work issues:
Report Upstream: N/A | Reviewers: Mike
Zabrocki, Anne Schilling
Authors: Anne Schilling, Mike Zabrocki | Merged in:
Dependencies: #13404 | Stopgaps:
-------------------------------------------------+--------------------------
Description changed by aschilling:
Old description:
> This patch implements the HL creation operator for k-Schur functions, it
> fixes
> omega for k-Schur functions for generic t, and changes the multiplication
> for
> k-Schur functions for generic t, so that the result stays in the
> k-bounded
> subspace if possible and lifts to symmetric functions otherwise. A
> second
> patch adds the coproduct function to the k-Schur and k-homogeneous bases
>
> '''Apply''':
> * [attachment:trac_13399-sf-as.patch]
New description:
This patch implements the following fixes to symmetric functions:
- HL creation operator for k-Schur functions
- it fixes omega for k-Schur functions for generic t
- it changes the multiplication for k-Schur functions for generic t, so
that
the result stays in the k-bounded subspace if possible and lifts to
symmetric functions otherwise
- it moves coproduct_by_coercion to SymmetricFunctionAlgebra_generic and
inserts a coproduct function in KBoundedSubspaceBases, ElementMethods
- it fixes the coersion between the Jack P and Pq basis; this was
previously extremely slow,
for example for
{{{
sage: Sym = SymmetricFunctions(FractionField(QQ['t']))
sage: Qp = Sym.jack().Qp()
sage: P = Sym.jack().P()
sage: P(Qp[2,1])
((-192*t^3+192*t^2-192*t+192)/(-64*t^3-224*t^2-224*t-64))*JackP[1,
1, 1]
+ ((128*t^2-64*t+80)/(64*t^2+64*t+16))*JackP[2, 1] +
((8*t-8)/(8*t+4))*JackP[3]
}}}
- it fixes the coproduct for Jack symmetric functions
'''Apply''':
* [attachment:trac_13399-sf-as.patch]
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13399#comment:15>
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.
