#5457: Refactor symmetric functions and k-bounded subspace
--------------------------------------------------------------------------------+
Reporter: nthiery
| Owner: mhansen
Type: enhancement
| Status: needs_work
Priority: major
| Milestone: sage-5.4
Component: combinatorics
| Resolution:
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:
Dependencies: #11563, #13109, #12969
| Stopgaps:
--------------------------------------------------------------------------------+
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:5457_long_time.patch]
> * [attachment:trac_5457_llt_doc_and_bug_fix-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]
* [attachment:trac_5457_llt_doc_and_bug_fix-mz.2.patch]
--
Comment (by jdemeyer):
Replying to [comment:85 zabrocki]:
> I'm not sure what you want in the commit message
Well, I don't want anything refering to `[mq]` or the patch name. So if
you delete the second line of the commit message in your patch, that will
be fine.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5457#comment:86>
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.
