#5457: Refactor symmetric functions and k-bounded subspace
--------------------------------------------------------------------------------+
Reporter: nthiery
| Owner: mhansen
Type: enhancement
| Status: closed
Priority: major
| Milestone: sage-5.3
Component: combinatorics
| Resolution: fixed
Keywords: symmetric functions, days38, sd40
| Work issues:
Report Upstream: N/A
| Reviewers: Dan Bump, Nicolas M. Thiéry
Authors: Mike Zabrocki, Anne Schilling, Jason Bandlow, Jeroen Demeyer
| Merged in: sage-5.3.beta2
Dependencies: #11563, #13109, #12969
| Stopgaps:
--------------------------------------------------------------------------------+
Changes (by {'newvalue': u'Mike Zabrocki, Anne Schilling, Jason Bandlow, Jeroen
Demeyer', 'oldvalue': u'Mike Zabrocki, Anne Schilling, Jason Bandlow'}):
* author: Mike Zabrocki, Anne Schilling, Jason Bandlow => Mike Zabrocki,
Anne Schilling, Jason Bandlow, Jeroen Demeyer
Old description:
> This patch restructures the implementation of symmetric functions in sage
>
> The new implementation makes use of multiple realizations and the
> category framework. The new access to symmetric functions is via
>
> {{{
> sage: Sym = SymmetricFunctions(QQ)
> }}}
> Further new features that are implemented:
>
> * The ring of symmetric functions is now endowed with a Hopf algebra
> structure. The coproduct and antipode are implemented (which were missing
> before).
>
> * A tutorial on how to use symmetric functions in sage is included at
> the beginning of sf.py which is also accessible via
> {{{
> sage: SymmetricFunctions??
> }}}
>
> * Symmetric functions should now work a lot better with respect to
> specializing parameters like `q` and `t` for Hall-Littlewood, Jack and
> Macdonald symmetric functions. Certain functionalities before this change
> were broken or not possible.
>
> * Documentation was added to LLT polynomials (which had very sparse
> documentation previously).
>
> * The `k`-bounded subspace of the ring of symmetric function was
> implemented. The `k`-Schur functions now live in the `k`-bounded subspace
> rather than in the ring of symmetric functions as before.
>
> This patch gained tremendously by the tutorial on symmetric functions
> written by Jason Bandlow, a draft on the `k`-bounded subspace by Jason
> Bandlow, and code multiple realizations written by Franco Saliola.
>
> See also http://groups.google.com/group/sage-devel/msg/a49f3288fca1b75c
>
> Apply
>
> * [attachment:trac_5457-symmetric_functions-mz.patch]
New description:
This patch restructures the implementation of symmetric functions in sage
The new implementation makes use of multiple realizations and the category
framework. The new access to symmetric functions is via
{{{
sage: Sym = SymmetricFunctions(QQ)
}}}
Further new features that are implemented:
* The ring of symmetric functions is now endowed with a Hopf algebra
structure. The coproduct and antipode are implemented (which were missing
before).
* A tutorial on how to use symmetric functions in sage is included at the
beginning of sf.py which is also accessible via
{{{
sage: SymmetricFunctions??
}}}
* Symmetric functions should now work a lot better with respect to
specializing parameters like `q` and `t` for Hall-Littlewood, Jack and
Macdonald symmetric functions. Certain functionalities before this change
were broken or not possible.
* Documentation was added to LLT polynomials (which had very sparse
documentation previously).
* The `k`-bounded subspace of the ring of symmetric function was
implemented. The `k`-Schur functions now live in the `k`-bounded subspace
rather than in the ring of symmetric functions as before.
This patch gained tremendously by the tutorial on symmetric functions
written by Jason Bandlow, a draft on the `k`-bounded subspace by Jason
Bandlow, and code multiple realizations written by Franco Saliola.
See also http://groups.google.com/group/sage-devel/msg/a49f3288fca1b75c
Apply
* [attachment:trac_5457-symmetric_functions-mz.patch]
* [attachment:5457_long_time.patch]
--
Comment:
'''Additional patch''' [attachment:5457_long_time.patch] needs review.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5457#comment:64>
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.
