#13399: Fixes to symmetric functions
-------------------------------------------------+--------------------------
Reporter: aschilling | Owner:
sage-combinat
Type: defect | Status:
positive_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:
-------------------------------------------------+--------------------------
Changes (by zabrocki):
* status: needs_review => positive_review
Old 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]
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.3.patch]
--
Comment:
I changed two minor things in the doc strings indicating that coercion was
done through the homogeneous basis. All doc tests pass on sage-5.3.rc1 +
dependency patches. It looks good and I give it a positive review.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13399#comment:17>
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.
