#8899: Implement non commutative symmetric functions
--------------------------------------------------------------------------------+
Reporter: nthiery
| Owner: sage-combinat
Type: enhancement
| Status: positive_review
Priority: major
| Milestone: sage-wishlist
Component: combinatorics
| Resolution:
Keywords: sd40
| Work issues:
Report Upstream: N/A
| Reviewers: Mike Zabrocki, Franco Saliola, Mike Hansen
Authors: Jason Bandlow, Chris Berg, Franco Saliola, Nicolas M. Thiéry
| Merged in:
Dependencies: #12953, #12956, #12959, #13238, #13243
| Stopgaps:
--------------------------------------------------------------------------------+
Changes (by zabrocki):
* status: needs_work => positive_review
Old description:
> This patch includes quasi symmetric functions as well (see #11929).
>
> Each algebra is implemented as a Hopf algebra with realizations (the
> realizations being the various bases of the algebras).
>
> - Bases implemented for NCSF, and change of bases between them:
>
> - Complete
> - Ribbon
> - Elementary
> - Psi (power sums)
> - Phi (power sums)
>
> - Bases implemented for QSym, and change of bases between them:
>
> - Monomial
> - Fundamental
>
> There is also a method a_realization that returns a particular
> realization of the algebra. Computations that are not yet implemented in
> basis are performed by converting to a_realization(). Current
> implementation:
>
> - NCSF.a_realization() returns the Complete basis
> - QSym.a_realization() returns the Monomial basis
>
> Dependencies:
>
> - #12959 : provides the machinery for converting to a_realization for
> default implementations
> - #13238 : integer matrices (required for the internal product in NCSF)
> - #13243 : new methods for compositions
>
> '''Apply''':
> * [attachment:trac_11929_8899-ncsf-qsym-folded-fs.patch]
> * [attachment:trac_11929_8899-from_polynomial-fs.patch]
New description:
This patch includes quasi symmetric functions as well (see #11929).
Each algebra is implemented as a Hopf algebra with realizations (the
realizations being the various bases of the algebras).
- Bases implemented for NCSF, and change of bases between them:
- Complete
- Ribbon
- Elementary
- Psi (power sums)
- Phi (power sums)
- Bases implemented for QSym, and change of bases between them:
- Monomial
- Fundamental
There is also a method a_realization that returns a particular realization
of the algebra. Computations that are not yet implemented in basis are
performed by converting to a_realization(). Current implementation:
- NCSF.a_realization() returns the Complete basis
- QSym.a_realization() returns the Monomial basis
Dependencies:
- #12959 : provides the machinery for converting to a_realization for
default implementations
- #13238 : integer matrices (required for the internal product in NCSF)
- #13243 : new methods for compositions
'''Apply''':
* [attachment:trac_11929_8899-ncsf-qsym-folded-fs.patch]
* [attachment:trac_11929_8899-from_polynomial-fs.patch]
* [attachment:trac_11929_8899_minor_docfix-mz.patch]
--
Comment:
added a patch which inserts two colons in ncsf.py to clean up the
documentation of two methods. I've tested these patches after #9107 is
applied and all tests pass! (I was slightly worried that some tests were
not being executed because #9107 was not applied)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8899#comment:32>
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.
