#15444: Two algorithms for k-charge do not give same answer
-------------------------------------+-------------------------------------
Reporter: aschilling | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-5.13
Component: combinatorics | Resolution:
Keywords: tableaux, charge | Merged in:
Authors: Anne Schilling | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/combinat/k-charge-15444 | 8df647454982f5799a4267712551a78989f08992
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Description changed by aschilling:
Old description:
> Currently, the two implementations of k-charge do not give the same
> answer:
> {{{
> sage: T =
> WeakTableaux(4,[4,3,2,1],[2,2,2,2,1,1],representation='bounded')
> sage: for t in T:
> print t.k_charge(), t.k_charge(algorithm='J')
> ....:
> 9 10
> 10 10
> 8 8
> 9 9
> 10 10
> 8 9
> 11 11
> }}}
> Comparing against the expansion of Hall-Littlewood symmetric functions in
> terms of k-Schur functions, it seems that the I-implementation is correct
> {{{
> sage: Sym = SymmetricFunctions(QQ['t'])
> sage: Qp = Sym.hall_littlewood().Qp()
> sage: ks = Sym.kschur(4)
> sage: ks(Qp[2,2,2,2,1,1])[Partition([4,3,2,1])]
> t^11 + 2*t^10 + 2*t^9 + 2*t^8
> }}}
New description:
Currently, the two implementations of k-charge do not give the same
answer:
{{{
sage: T = WeakTableaux(4,[4,3,2,1],[2,2,2,2,1,1],representation='bounded')
sage: for t in T:
print t.k_charge(), t.k_charge(algorithm='J')
....:
9 10
10 10
8 8
9 9
10 10
8 9
11 11
}}}
Comparing against the expansion of Hall-Littlewood symmetric functions in
terms of k-Schur functions, it seems that the I-implementation is correct
{{{
sage: Sym = SymmetricFunctions(QQ['t'])
sage: Qp = Sym.hall_littlewood().Qp()
sage: ks = Sym.kschur(4)
sage: ks(Qp[2,2,2,2,1,1])[Partition([4,3,2,1])]
t^11 + 2*t^10 + 2*t^9 + 2*t^8
}}}
Compared to the book http://arxiv.org/abs/1301.3569 pg. 84
the bug seems to be in the method _height_of_restricted_subword in
k_tableau.py.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/15444#comment:4>
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.
