#14775: Symmetric functions: extending Kronecker product, implementing Kronecker
product, extending antipode, extending forgotten basis, implementing Witt
basis
---------------------------------------------------------------------------+
Reporter: darij |
Owner: sage-combinat
Type: enhancement |
Status: new
Priority: major |
Milestone: sage-5.11
Component: combinatorics |
Resolution:
Keywords: symmetric function, combinat, kronecker product, days49 |
Work issues:
Report Upstream: N/A |
Reviewers:
Authors: Darij Grinberg |
Merged in:
Dependencies: |
Stopgaps:
---------------------------------------------------------------------------+
Description changed by darij:
Old description:
> Goals for this ticket:
>
> 1. The current version of itensor (the Kronecker product on the ring of
> symmetric function) only works when the ground ring is an algebra over
> the rationals. This is not a mathematically reasonable restriction. Fix
> this.
>
> 2. The Kronecker coproduct on the ring of symmetric function has to be
> implemented. Implement it.
>
> 3. The antipode on the ring of symmetric functions uses coercion into the
> powersum basis. This means it, too, is not getting computed over
> arbitrary base rings. Fix this.
>
> 4. The forgotten basis of Symm is defined by duality rather than by
> explicit formulas. As a consequence, it cannot be computed when the
> ground ring is not a field. This might be easily fixable or not depending
> on how smart our dual basis methods are; either way, fix it.
>
> 5. The Witt symmetric functions form another basis of Symm. Implement
> them.
>
> The current file has the first goal achieved, but it uses some sly hacks.
> Can anyone tell me which of them are bad before I spread them into other
> functions (particularly for the second goal)?
New description:
Goals for this ticket:
1. The current version of itensor (the Kronecker product on the ring of
symmetric function) only works when the ground ring is an algebra over the
rationals. This is not a mathematically reasonable restriction. Fix this.
2. The Kronecker coproduct on the ring of symmetric function has to be
implemented. Implement it.
3. The antipode on the ring of symmetric functions uses coercion into the
powersum basis. This means it, too, is not getting computed over arbitrary
base rings. Fix this.
4. The forgotten basis of Symm is defined by duality rather than by
explicit formulas. Our duality methods use the powersum basis, again
leading to errors for ground rings not being QQ-algebras.
5. The Witt symmetric functions form another basis of Symm. Implement
them.
The current file has the first goal achieved, but it uses some sly hacks.
Can anyone tell me which of them are bad before I spread them into other
functions (particularly for the second goal)?
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14775#comment:6>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
