#13872: Non-exceptional rigged configuration bijections
-------------------------------------------------+-------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status:
Priority: major | needs_work
Component: combinatorics | Milestone: sage-5.13
Keywords: rigged configurations | Resolution:
bijection crystals | Merged in:
Authors: Travis Scrimshaw | Reviewers: Anne
Report Upstream: N/A | Schilling
Branch: | Work issues:
Dependencies: #13838 #14519 #14402 #14157 | Commit:
#13605 | Stopgaps:
-------------------------------------------------+-------------------------
Comment (by aschilling):
Hi Travis,
As we discussed, could you please add which bijections are conjectural and
which ones are proven? Also, I currently get some doctest failures with
the patch in sage-combinat queue:
{{{
rigged_configurations anne$ sage -t *.py
Running doctests with ID 2013-10-29-17-44-20-1f870a4b.
Doctesting 19 files.
sage -t __init__.py
[0 tests, 0.00 s]
sage -t all.py
[0 tests, 0.00 s]
sage -t bij_abstract_class.py
**********************************************************************
File "bij_abstract_class.py", line 358, in
sage.combinat.rigged_configurations.bij_abstract_class.RCToKRTBijectionAbstract.run
Failed example:
RCToKRTBijectionTypeA(RC(partition_list=[[1],[1],[1],[1]])).run()
Expected:
[[5, 2]]
Got:
[[2], [5]]
**********************************************************************
1 item had failures:
1 of 4 in
sage.combinat.rigged_configurations.bij_abstract_class.RCToKRTBijectionAbstract.run
[54 tests, 1 failure, 0.77 s]
sage -t bij_type_A.py
[19 tests, 0.17 s]
sage -t bij_type_A2_dual.py
[19 tests, 0.27 s]
sage -t bij_type_A2_even.py
[19 tests, 0.20 s]
sage -t bij_type_A2_odd.py
[19 tests, 0.25 s]
sage -t bij_type_B.py
**********************************************************************
File "bij_type_B.py", line 532, in
sage.combinat.rigged_configurations.bij_type_B.RCToKRTBijectionTypeB.run
Failed example:
RCToKRTBijectionTypeB(RC(partition_list=[[1],[1,1],[1]])).run()
Expected:
[[0, 3]]
Got:
[[3], [0]]
**********************************************************************
File "bij_type_B.py", line 536, in
sage.combinat.rigged_configurations.bij_type_B.RCToKRTBijectionTypeB.run
Failed example:
RCToKRTBijectionTypeB(RC(partition_list=[[],[1],[1]])).run()
Expected:
[[-2, 3, 1]]
Got:
[[1], [3], [-2]]
**********************************************************************
1 item had failures:
2 of 7 in
sage.combinat.rigged_configurations.bij_type_B.RCToKRTBijectionTypeB.run
[34 tests, 2 failures, 0.27 s]
sage -t bij_type_C.py
[28 tests, 0.24 s]
sage -t bij_type_D.py
**********************************************************************
File "bij_type_D.py", line 428, in
sage.combinat.rigged_configurations.bij_type_D.RCToKRTBijectionTypeD.run
Failed example:
RCToKRTBijectionTypeD(RC(partition_list=[[1],[1],[1],[1]])).run()
Expected:
[[-3, 2]]
Got:
[[2], [-3]]
**********************************************************************
1 item had failures:
1 of 4 in
sage.combinat.rigged_configurations.bij_type_D.RCToKRTBijectionTypeD.run
[75 tests, 1 failure, 0.21 s]
sage -t bij_type_D_twisted.py
**********************************************************************
File "bij_type_D_twisted.py", line 327, in
sage.combinat.rigged_configurations.bij_type_D_twisted.RCToKRTBijectionTypeDTwisted.run
Failed example:
RCToKRTBijectionTypeDTwisted(RC(partition_list=[[],[1],[1]])).run()
Expected:
[[-2, 3, 1]]
Got:
[[1], [3], [-2]]
**********************************************************************
1 item had failures:
1 of 4 in
sage.combinat.rigged_configurations.bij_type_D_twisted.RCToKRTBijectionTypeDTwisted.run
[25 tests, 1 failure, 0.21 s]
sage -t bijection.py
[6 tests, 0.16 s]
sage -t kleber_tree.py
[201 tests, 4.01 s]
sage -t kr_tableaux.py
**********************************************************************
File "kr_tableaux.py", line 1363, in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper._build_module_generators
Failed example:
KRT._build_module_generators()
Expected:
([(-1, 3)],)
Got:
([(1,)],)
**********************************************************************
File "kr_tableaux.py", line 1398, in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element._repr_diagram
Failed example:
elt._repr_diagram()
Exception raised:
Traceback (most recent call last):
File "/Applications/sage-5.12/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 479, in _run
self.execute(example, compiled, test.globs)
File "/Applications/sage-5.12/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 838, in execute
exec compiled in globs
File "<doctest
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element._repr_diagram[2]>",
line 1, in <module>
elt._repr_diagram()
File "/Applications/sage-5.12/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1402,
in _repr_diagram
return self.to_tableau()._repr_diagram()
File "cachefunc.pyx", line 1774, in
sage.misc.cachefunc.CachedMethodCallerNoArgs.__call__
(sage/misc/cachefunc.c:9546)
File "/Applications/sage-5.12/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1439,
in to_tableau
raise ValueError("cannot convert {} to a tableau".format(self))
ValueError: cannot convert [(-1, 3)] to a tableau
**********************************************************************
File "kr_tableaux.py", line 1480, in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.weight
Failed example:
KR.module_generators[0].weight()
Exception raised:
Traceback (most recent call last):
File "/Applications/sage-5.12/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 479, in _run
self.execute(example, compiled, test.globs)
File "/Applications/sage-5.12/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 838, in execute
exec compiled in globs
File "<doctest
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.weight[1]>",
line 1, in <module>
KR.module_generators[Integer(0)].weight()
NameError: name 'KR' is not defined
**********************************************************************
File "kr_tableaux.py", line 1492, in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.e
Failed example:
KRT.module_generators[0].e(0)
Expected:
[[-2, 1], [-1, -1]]
Got:
[(-2, 1)]
**********************************************************************
File "kr_tableaux.py", line 1507, in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.f
Failed example:
KRT.module_generators[0].f(0)
Expected:
[[1, 1], [2, -1]]
Got:
<BLANKLINE>
**********************************************************************
5 items had failures:
1 of 4 in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element._repr_diagram
1 of 3 in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.e
1 of 3 in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.f
1 of 3 in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.weight
1 of 3 in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper._build_module_generators
[217 tests, 5 failures, 37.97 s]
sage -t rigged_configuration_element.py
[92 tests, 1.31 s]
sage -t rigged_configurations.py
[180 tests, 5.29 s]
sage -t rigged_partition.py
[54 tests, 0.22 s]
sage -t tensor_product_kr_tableaux.py
[78 tests, 2.19 s]
sage -t tensor_product_kr_tableaux_element.py
[61 tests, 0.86 s]
----------------------------------------------------------------------
sage -t bij_abstract_class.py # 1 doctest failed
sage -t bij_type_B.py # 2 doctests failed
sage -t bij_type_D.py # 1 doctest failed
sage -t bij_type_D_twisted.py # 1 doctest failed
sage -t kr_tableaux.py # 5 doctests failed
----------------------------------------------------------------------
Total time for all tests: 56.2 seconds
cpu time: 51.8 seconds
cumulative wall time: 54.6 seconds
}}}
Best,
Anne
--
Ticket URL: <http://trac.sagemath.org/ticket/13872#comment:13>
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.
