#16988: Implement type D_4^{(3)} rigged configuration bijection
-------------------------------------------------+-------------------------
Reporter: tscrim | Owner: sage-
Type: enhancement | combinat
Priority: major | Status: new
Component: combinatorics | Milestone: sage-6.10
Keywords: rigged configurations, KR | Resolution:
tableaux | Merged in:
Authors: Travis Scrimshaw | Reviewers: Ben
Report Upstream: N/A | Salisbury
Branch: | Work issues:
68a8208d9def8674dfe9711495f171b98349dbdc | Commit:
Dependencies: #16876 #16974 | Stopgaps:
-------------------------------------------------+-------------------------
Changes (by vbraun):
* status: closed => new
* commit: 68a8208d9def8674dfe9711495f171b98349dbdc =>
* resolution: fixed =>
Comment:
I'm getting random failures that point to this ticket:
{{{
sage -t --long src/sage/combinat/rigged_configurations/kr_tableaux.py
**********************************************************************
File "src/sage/combinat/rigged_configurations/kr_tableaux.py", line 1671,
in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxTypeDTri2Element.e
Failed example:
KRT.module_generators[0].e(0)
Exception raised:
Traceback (most recent call last):
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxTypeDTri2Element.e[1]>",
line 1, in <module>
KRT.module_generators[Integer(0)].e(Integer(0))
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1680,
in e
ret = ret.to_virtual_configuration().e(0)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/rigged_configuration_element.py",
line 1327, in e
ret =
self.to_tensor_product_of_kirillov_reshetikhin_tableaux().e(a)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1258, in e
position = self.positions_of_unmatched_plus(i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1400, in
positions_of_unmatched_plus
l = self.positions_of_unmatched_minus(i, dual=True, reverse=True)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1380, in
positions_of_unmatched_minus
plus = self[j].epsilon(i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1532,
in epsilon
return KirillovReshetikhinTableauxElement.epsilon(self, i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1373,
in epsilon
return self.to_kirillov_reshetikhin_crystal().epsilon0()
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1160,
in to_kirillov_reshetikhin_crystal
return self.parent().kirillov_reshetikhin_crystal()(self)
File "sage/structure/parent.pyx", line 1098, in
sage.structure.parent.Parent.__call__ (/Users/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/parent.c:9821)
return mor._call_(x)
File "sage/structure/coerce_maps.pyx", line 109, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_ (/Users
/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/coerce_maps.c:4543)
raise
File "sage/structure/coerce_maps.pyx", line 104, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_ (/Users
/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/coerce_maps.c:4436)
return C._element_constructor(x)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/kirillov_reshetikhin.py", line 3024, in
_element_constructor_
return self.module_generator().f_string(f_str)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/kirillov_reshetikhin.py", line 543, in
module_generator
return [ b for b in self.module_generators if b.weight() ==
weight][0]
IndexError: list index out of range
**********************************************************************
File "src/sage/combinat/rigged_configurations/kr_tableaux.py", line 1699,
in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxTypeDTri2Element.f
Failed example:
KRT.module_generators[0].f(0)
Exception raised:
Traceback (most recent call last):
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxTypeDTri2Element.f[1]>",
line 1, in <module>
KRT.module_generators[Integer(0)].f(Integer(0))
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1709,
in f
ret = ret.to_virtual_configuration().f(0)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/rigged_configuration_element.py",
line 1383, in f
ret =
self.to_tensor_product_of_kirillov_reshetikhin_tableaux().f(a)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1297, in f
position = self.positions_of_unmatched_minus(i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1371, in
positions_of_unmatched_minus
minus = self[j].phi(i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1549,
in phi
return KirillovReshetikhinTableauxElement.phi(self, i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1391,
in phi
return self.to_kirillov_reshetikhin_crystal().phi0()
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1160,
in to_kirillov_reshetikhin_crystal
return self.parent().kirillov_reshetikhin_crystal()(self)
File "sage/structure/parent.pyx", line 1098, in
sage.structure.parent.Parent.__call__ (/Users/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/parent.c:9821)
return mor._call_(x)
File "sage/structure/coerce_maps.pyx", line 109, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_ (/Users
/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/coerce_maps.c:4543)
raise
File "sage/structure/coerce_maps.pyx", line 104, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_ (/Users
/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/coerce_maps.c:4436)
return C._element_constructor(x)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/kirillov_reshetikhin.py", line 3024, in
_element_constructor_
return self.module_generator().f_string(f_str)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/kirillov_reshetikhin.py", line 543, in
module_generator
return [ b for b in self.module_generators if b.weight() ==
weight][0]
IndexError: list index out of range
**********************************************************************
File "src/sage/combinat/rigged_configurations/kr_tableaux.py", line 1700,
in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxTypeDTri2Element.f
Failed example:
KRT.module_generators[3].f(0)
Exception raised:
Traceback (most recent call last):
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 496, in _run
self.compile_and_execute(example, compiler, test.globs)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 858, in compile_and_execute
exec(compiled, globs)
File "<doctest
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxTypeDTri2Element.f[2]>",
line 1, in <module>
KRT.module_generators[Integer(3)].f(Integer(0))
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1709,
in f
ret = ret.to_virtual_configuration().f(0)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/rigged_configuration_element.py",
line 1383, in f
ret =
self.to_tensor_product_of_kirillov_reshetikhin_tableaux().f(a)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1297, in f
position = self.positions_of_unmatched_minus(i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1371, in
positions_of_unmatched_minus
minus = self[j].phi(i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1549,
in phi
return KirillovReshetikhinTableauxElement.phi(self, i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1391,
in phi
return self.to_kirillov_reshetikhin_crystal().phi0()
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1160,
in to_kirillov_reshetikhin_crystal
return self.parent().kirillov_reshetikhin_crystal()(self)
File "sage/structure/parent.pyx", line 1098, in
sage.structure.parent.Parent.__call__ (/Users/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/parent.c:9821)
return mor._call_(x)
File "sage/structure/coerce_maps.pyx", line 109, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_ (/Users
/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/coerce_maps.c:4543)
raise
File "sage/structure/coerce_maps.pyx", line 104, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_ (/Users
/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/coerce_maps.c:4436)
return C._element_constructor(x)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/kirillov_reshetikhin.py", line 3024, in
_element_constructor_
return self.module_generator().f_string(f_str)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/kirillov_reshetikhin.py", line 543, in
module_generator
return [ b for b in self.module_generators if b.weight() ==
weight][0]
IndexError: list index out of range
**********************************************************************
File "src/sage/combinat/rigged_configurations/kr_tableaux.py", line 1778,
in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxTypeDTri2.__init__
Failed example:
TestSuite(KRT).run() # long time
Expected nothing
Got:
Failure in _test_stembridge_local_axioms:
Traceback (most recent call last):
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/misc/sage_unittest.py", line 283, in run
test_method(tester = tester)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/categories/regular_crystals.py", line 760, in
_test_stembridge_local_axioms
if self.e(i) is not None and self.e(j) is not None:
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1680,
in e
ret = ret.to_virtual_configuration().e(0)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/rigged_configuration_element.py",
line 1327, in e
ret =
self.to_tensor_product_of_kirillov_reshetikhin_tableaux().e(a)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1258, in e
position = self.positions_of_unmatched_plus(i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1400, in
positions_of_unmatched_plus
l = self.positions_of_unmatched_minus(i, dual=True,
reverse=True)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1380, in
positions_of_unmatched_minus
plus = self[j].epsilon(i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1532,
in epsilon
return KirillovReshetikhinTableauxElement.epsilon(self, i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1373,
in epsilon
return self.to_kirillov_reshetikhin_crystal().epsilon0()
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1160,
in to_kirillov_reshetikhin_crystal
return self.parent().kirillov_reshetikhin_crystal()(self)
File "sage/structure/parent.pyx", line 1098, in
sage.structure.parent.Parent.__call__ (/Users/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/parent.c:9821)
return mor._call_(x)
File "sage/structure/coerce_maps.pyx", line 109, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_ (/Users
/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/coerce_maps.c:4543)
raise
File "sage/structure/coerce_maps.pyx", line 104, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_ (/Users
/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/coerce_maps.c:4436)
return C._element_constructor(x)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/kirillov_reshetikhin.py", line 3024, in
_element_constructor_
return self.module_generator().f_string(f_str)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/kirillov_reshetikhin.py", line 543, in
module_generator
return [ b for b in self.module_generators if b.weight() ==
weight][0]
IndexError: list index out of range
------------------------------------------------------------
The following tests failed: _test_stembridge_local_axioms
Failure in _test_elements
Failure in _test_stembridge_local_axioms:
Traceback (most recent call last):
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/misc/sage_unittest.py", line 283, in run
test_method(tester = tester)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/categories/regular_crystals.py", line 310, in
_test_stembridge_local_axioms
goodness = x._test_stembridge_local_axioms(index_set, verbose)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/categories/regular_crystals.py", line 760, in
_test_stembridge_local_axioms
if self.e(i) is not None and self.e(j) is not None:
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1680,
in e
ret = ret.to_virtual_configuration().e(0)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/rigged_configuration_element.py",
line 1327, in e
ret =
self.to_tensor_product_of_kirillov_reshetikhin_tableaux().e(a)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1258, in e
position = self.positions_of_unmatched_plus(i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1400, in
positions_of_unmatched_plus
l = self.positions_of_unmatched_minus(i, dual=True, reverse=True)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/tensor_product.py", line 1380, in
positions_of_unmatched_minus
plus = self[j].epsilon(i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1532,
in epsilon
return KirillovReshetikhinTableauxElement.epsilon(self, i)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1373,
in epsilon
return self.to_kirillov_reshetikhin_crystal().epsilon0()
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1160,
in to_kirillov_reshetikhin_crystal
return self.parent().kirillov_reshetikhin_crystal()(self)
File "sage/structure/parent.pyx", line 1098, in
sage.structure.parent.Parent.__call__ (/Users/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/parent.c:9821)
return mor._call_(x)
File "sage/structure/coerce_maps.pyx", line 109, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_ (/Users
/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/coerce_maps.c:4543)
raise
File "sage/structure/coerce_maps.pyx", line 104, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_ (/Users
/buildslave-
sage/slave/sage_git/build/src/build/cythonized/sage/structure/coerce_maps.c:4436)
return C._element_constructor(x)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/kirillov_reshetikhin.py", line 3024, in
_element_constructor_
return self.module_generator().f_string(f_str)
File "/Users/buildslave-
sage/slave/sage_git/build/local/lib/python2.7/site-
packages/sage/combinat/crystals/kirillov_reshetikhin.py", line 543, in
module_generator
return [ b for b in self.module_generators if b.weight() ==
weight][0]
IndexError: list index out of range
------------------------------------------------------------
The following tests failed: _test_elements,
_test_stembridge_local_axioms
**********************************************************************
3 items had failures:
1 of 3 in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxTypeDTri2.__init__
1 of 3 in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxTypeDTri2Element.e
2 of 4 in
sage.combinat.rigged_configurations.kr_tableaux.KRTableauxTypeDTri2Element.f
[247 tests, 4 failures, 130.41 s]
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/16988#comment:12>
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/d/optout.
