#8899: Implement non commutative symmetric functions
--------------------------------------------------------------------------------+
Reporter: nthiery
| Owner: sage-combinat
Type: enhancement
| Status: needs_info
Priority: major
| Milestone: sage-5.4
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 saliola):
* status: positive_review => needs_info
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-final.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-final.patch]
* [attachment:trac_11929_8899-ncsf-qsym-repr-fix-fs.patch]
--
Comment:
[attachment:trac_11929_8899-ncsf-qsym-repr-fix-fs.patch] modifies
{{{_repr_}}} to conform to the standards set out in #13404.
Note: this patch does ''not'' depend on #13404.
Apply: trac_11929_8899-ncsf-qsym-final.patch, trac_11929_8899-ncsf-qsym-
repr-fix-fs.patch
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8899#comment:39>
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.
