#5457: Refactor symmetric functions and k-bounded subspace
----------------------------------------------------------------+-----------
Reporter: nthiery |
Owner: mhansen
Type: enhancement |
Status: positive_review
Priority: major |
Milestone: sage-5.3
Component: combinatorics |
Resolution:
Keywords: symmetric functions, sd38, sd40 | Work
issues:
Report Upstream: N/A |
Reviewers: Dan Bump, Nicolas M. Thiéry
Authors: Mike Zabrocki, Anne Schilling, Jason Bandlow | Merged
in:
Dependencies: #11563, #13109, #12969 |
Stopgaps:
----------------------------------------------------------------+-----------
Description changed by aschilling:
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]
> * [attachment:trac_5457_docfix2-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]
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5457#comment:58>
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.
