From 2cc751eefd0e67da58d83ef6e155957d30a828d1 Mon Sep 17 00:00:00 2001 From: Travis Scrimshaw Date: Sun, 23 Mar 2014 12:11:37 -0700 Subject: [PATCH] Fixed doctest failures in rigged_configurations folder. --- .../combinat/rigged_configurations/all.py | 4 +- .../bij_abstract_class.py | 12 +- .../rigged_configurations/bij_type_A.py | 4 +- .../rigged_configurations/bij_type_A2_dual.py | 4 +- .../rigged_configurations/bij_type_A2_even.py | 4 +- .../rigged_configurations/bij_type_A2_odd.py | 4 +- .../rigged_configurations/bij_type_B.py | 8 +- .../rigged_configurations/bij_type_C.py | 6 +- .../rigged_configurations/bij_type_D.py | 12 +- .../bij_type_D_twisted.py | 6 +- .../rigged_configurations/bijection.py | 2 +- .../rigged_configurations/kr_tableaux.py | 178 +++++++++--------- .../rigged_configurations.py | 10 +- .../tensor_product_kr_tableaux.py | 72 +++---- .../tensor_product_kr_tableaux_element.py | 32 ++-- 15 files changed, 179 insertions(+), 179 deletions(-) diff --git a/src/sage/combinat/rigged_configurations/all.py b/src/sage/combinat/rigged_configurations/all.py index de58c5bc2ea..a8c1facb606 100644 --- a/src/sage/combinat/rigged_configurations/all.py +++ b/src/sage/combinat/rigged_configurations/all.py @@ -9,9 +9,9 @@ lazy_import('sage.combinat.rigged_configurations.tensor_product_kr_tableaux', 'TensorProductOfKirillovReshetikhinTableaux', - deprecation=(15882, "this is being removed from the global namespace. Use crystals.kirillov_reshetikhin.TensorProductOfKirillovReshetikhinTableaux instead")) + deprecation=(15882, "this is being removed from the global namespace. Use crystals.TensorProductOfKirillovReshetikhinTableaux instead")) lazy_import('sage.combinat.rigged_configurations.kr_tableaux', 'KirillovReshetikhinTableaux', - deprecation=(15882, "this is being removed from the global namespace. Use crystals.kirillov_reshetikhin.KirillovReshetikhinTableaux instead")) + deprecation=(15882, "this is being removed from the global namespace. Use crystals.KirillovReshetikhin with model='KR' instead")) diff --git a/src/sage/combinat/rigged_configurations/bij_abstract_class.py b/src/sage/combinat/rigged_configurations/bij_abstract_class.py index d0063ce87e7..0f84c64b6dd 100644 --- a/src/sage/combinat/rigged_configurations/bij_abstract_class.py +++ b/src/sage/combinat/rigged_configurations/bij_abstract_class.py @@ -54,7 +54,7 @@ def __init__(self, tp_krt): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_A import KRTToRCBijectionTypeA sage: bijection = KRTToRCBijectionTypeA(KRT(pathlist=[[3,1]])) sage: TestSuite(bijection).run() @@ -81,7 +81,7 @@ def __eq__(self, rhs): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_A import KRTToRCBijectionTypeA sage: bijection = KRTToRCBijectionTypeA(KRT(pathlist=[[5,3]])) sage: bijection2 = KRTToRCBijectionTypeA(KRT(pathlist=[[5,3]])) @@ -104,7 +104,7 @@ def run(self, verbose=False): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2, 1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2, 1]]) sage: from sage.combinat.rigged_configurations.bij_type_A import KRTToRCBijectionTypeA sage: KRTToRCBijectionTypeA(KRT(pathlist=[[5,2]])).run() @@ -178,7 +178,7 @@ def next_state(self, val): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_A import KRTToRCBijectionTypeA sage: bijection = KRTToRCBijectionTypeA(KRT(pathlist=[[5,3]])) sage: bijection.cur_path.insert(0, []) @@ -211,7 +211,7 @@ def _update_vacancy_nums(self, a): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_abstract_class import KRTToRCBijectionAbstract sage: bijection = KRTToRCBijectionAbstract(KRT(pathlist=[[3,2]])) sage: bijection._update_vacancy_nums(2) @@ -250,7 +250,7 @@ def _update_partition_values(self, a): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_abstract_class import KRTToRCBijectionAbstract sage: bijection = KRTToRCBijectionAbstract(KRT(pathlist=[[5,2]])) sage: bijection._update_partition_values(2) diff --git a/src/sage/combinat/rigged_configurations/bij_type_A.py b/src/sage/combinat/rigged_configurations/bij_type_A.py index ee4070ad567..feed9616ac5 100644 --- a/src/sage/combinat/rigged_configurations/bij_type_A.py +++ b/src/sage/combinat/rigged_configurations/bij_type_A.py @@ -11,7 +11,7 @@ TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_A import KRTToRCBijectionTypeA sage: bijection = KRTToRCBijectionTypeA(KRT(pathlist=[[5,2]])) sage: TestSuite(bijection).run() @@ -51,7 +51,7 @@ def next_state(self, val): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_A import KRTToRCBijectionTypeA sage: bijection = KRTToRCBijectionTypeA(KRT(pathlist=[[4,3]])) sage: bijection.cur_path.insert(0, []) diff --git a/src/sage/combinat/rigged_configurations/bij_type_A2_dual.py b/src/sage/combinat/rigged_configurations/bij_type_A2_dual.py index 7f8e0966463..95f91496499 100644 --- a/src/sage/combinat/rigged_configurations/bij_type_A2_dual.py +++ b/src/sage/combinat/rigged_configurations/bij_type_A2_dual.py @@ -10,7 +10,7 @@ TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(CartanType(['A', 4, 2]).dual(), [[2, 1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(CartanType(['A', 4, 2]).dual(), [[2, 1]]) sage: from sage.combinat.rigged_configurations.bij_type_A2_dual import KRTToRCBijectionTypeA2Dual sage: bijection = KRTToRCBijectionTypeA2Dual(KRT(pathlist=[[2,1]])) sage: TestSuite(bijection).run() @@ -56,7 +56,7 @@ def next_state(self, val): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(CartanType(['A', 4, 2]).dual(), [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(CartanType(['A', 4, 2]).dual(), [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_A2_dual import KRTToRCBijectionTypeA2Dual sage: bijection = KRTToRCBijectionTypeA2Dual(KRT(pathlist=[[-1,2]])) sage: bijection.cur_path.insert(0, []) diff --git a/src/sage/combinat/rigged_configurations/bij_type_A2_even.py b/src/sage/combinat/rigged_configurations/bij_type_A2_even.py index ce0f195c3b4..b473537fcaa 100644 --- a/src/sage/combinat/rigged_configurations/bij_type_A2_even.py +++ b/src/sage/combinat/rigged_configurations/bij_type_A2_even.py @@ -10,7 +10,7 @@ TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 4, 2], [[2, 1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 4, 2], [[2, 1]]) sage: from sage.combinat.rigged_configurations.bij_type_A2_even import KRTToRCBijectionTypeA2Even sage: bijection = KRTToRCBijectionTypeA2Even(KRT(pathlist=[[-1,2]])) sage: TestSuite(bijection).run() @@ -54,7 +54,7 @@ def next_state(self, val): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 4, 2], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 4, 2], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_A2_even import KRTToRCBijectionTypeA2Even sage: bijection = KRTToRCBijectionTypeA2Even(KRT(pathlist=[[-1,-2]])) sage: bijection.cur_path.insert(0, []) diff --git a/src/sage/combinat/rigged_configurations/bij_type_A2_odd.py b/src/sage/combinat/rigged_configurations/bij_type_A2_odd.py index 7ae915dff8c..81265d1eeb1 100644 --- a/src/sage/combinat/rigged_configurations/bij_type_A2_odd.py +++ b/src/sage/combinat/rigged_configurations/bij_type_A2_odd.py @@ -10,7 +10,7 @@ TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 5, 2], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 5, 2], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_A2_odd import KRTToRCBijectionTypeA2Odd sage: bijection = KRTToRCBijectionTypeA2Odd(KRT(pathlist=[[-1,2]])) sage: TestSuite(bijection).run() @@ -53,7 +53,7 @@ def next_state(self, val): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 5, 2], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 5, 2], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_A2_odd import KRTToRCBijectionTypeA2Odd sage: bijection = KRTToRCBijectionTypeA2Odd(KRT(pathlist=[[-2,3]])) sage: bijection.cur_path.insert(0, []) diff --git a/src/sage/combinat/rigged_configurations/bij_type_B.py b/src/sage/combinat/rigged_configurations/bij_type_B.py index 2ea4fcdccf3..284f1b78cf6 100644 --- a/src/sage/combinat/rigged_configurations/bij_type_B.py +++ b/src/sage/combinat/rigged_configurations/bij_type_B.py @@ -10,7 +10,7 @@ TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['B', 3, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['B', 3, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_B import KRTToRCBijectionTypeB sage: bijection = KRTToRCBijectionTypeB(KRT(pathlist=[[-1,2]])) sage: TestSuite(bijection).run() @@ -59,7 +59,7 @@ def run(self, verbose=False): EXAMPLES:: sage: from sage.combinat.rigged_configurations.bij_type_B import KRTToRCBijectionTypeB - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['B', 3, 1], [[2, 1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['B', 3, 1], [[2, 1]]) sage: KRTToRCBijectionTypeB(KRT(pathlist=[[0,3]])).run() 0[ ]0 @@ -69,7 +69,7 @@ def run(self, verbose=False): 0[]0 - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['B', 3, 1], [[3, 1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['B', 3, 1], [[3, 1]]) sage: KRTToRCBijectionTypeB(KRT(pathlist=[[-2,3,1]])).run() (/) @@ -237,7 +237,7 @@ def next_state(self, val): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['B', 3, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['B', 3, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_B import KRTToRCBijectionTypeB sage: bijection = KRTToRCBijectionTypeB(KRT(pathlist=[[-1,2]])) sage: bijection.cur_path.insert(0, []) diff --git a/src/sage/combinat/rigged_configurations/bij_type_C.py b/src/sage/combinat/rigged_configurations/bij_type_C.py index 84b0c7666c6..da9eda9e103 100644 --- a/src/sage/combinat/rigged_configurations/bij_type_C.py +++ b/src/sage/combinat/rigged_configurations/bij_type_C.py @@ -10,7 +10,7 @@ TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['C', 3, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['C', 3, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_C import KRTToRCBijectionTypeC sage: bijection = KRTToRCBijectionTypeC(KRT(pathlist=[[-1,2]])) sage: TestSuite(bijection).run() @@ -53,7 +53,7 @@ def next_state(self, val): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['C', 3, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['C', 3, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_C import KRTToRCBijectionTypeC sage: bijection = KRTToRCBijectionTypeC(KRT(pathlist=[[-1,2]])) sage: bijection.cur_path.insert(0, []) @@ -132,7 +132,7 @@ def _insert_cell_case_S(self, partition): sage: RP.rigging[0] = None sage: from sage.combinat.rigged_configurations.bij_type_C import KRTToRCBijectionTypeC - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['C', 3, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['C', 3, 1], [[2,1]]) sage: bijection = KRTToRCBijectionTypeC(KRT(pathlist=[[-1,2]])) sage: bijection._insert_cell_case_S(RP) sage: RP diff --git a/src/sage/combinat/rigged_configurations/bij_type_D.py b/src/sage/combinat/rigged_configurations/bij_type_D.py index b72214a7c52..4da88876953 100644 --- a/src/sage/combinat/rigged_configurations/bij_type_D.py +++ b/src/sage/combinat/rigged_configurations/bij_type_D.py @@ -10,7 +10,7 @@ TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_D import KRTToRCBijectionTypeD sage: bijection = KRTToRCBijectionTypeD(KRT(pathlist=[[3, 2]])) sage: TestSuite(bijection).run() @@ -61,7 +61,7 @@ def run(self, verbose=False): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_D import KRTToRCBijectionTypeD sage: KRTToRCBijectionTypeD(KRT(pathlist=[[-3,2]])).run() @@ -147,7 +147,7 @@ def next_state(self, val): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_D import KRTToRCBijectionTypeD sage: bijection = KRTToRCBijectionTypeD(KRT(pathlist=[[5,3]])) sage: bijection.cur_path.insert(0, []) @@ -296,7 +296,7 @@ def _correct_vacancy_nums(self): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_D import KRTToRCBijectionTypeD sage: bijection = KRTToRCBijectionTypeD(KRT(pathlist=[[-1,4,3,2]])) sage: bijection.doubling_map() @@ -336,7 +336,7 @@ def doubling_map(self): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[4,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[4,1]]) sage: from sage.combinat.rigged_configurations.bij_type_D import KRTToRCBijectionTypeD sage: bijection = KRTToRCBijectionTypeD(KRT(pathlist=[[-1,4,3,2]])) sage: bijection.cur_path.insert(0, []) @@ -388,7 +388,7 @@ def halving_map(self): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[4,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[4,1]]) sage: from sage.combinat.rigged_configurations.bij_type_D import KRTToRCBijectionTypeD sage: bijection = KRTToRCBijectionTypeD(KRT(pathlist=[[-1,4,3,2]])) sage: bijection.cur_path.insert(0, []) diff --git a/src/sage/combinat/rigged_configurations/bij_type_D_twisted.py b/src/sage/combinat/rigged_configurations/bij_type_D_twisted.py index 1afefb49fa1..0796a8f6819 100644 --- a/src/sage/combinat/rigged_configurations/bij_type_D_twisted.py +++ b/src/sage/combinat/rigged_configurations/bij_type_D_twisted.py @@ -10,7 +10,7 @@ TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 2], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 2], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_D_twisted import KRTToRCBijectionTypeDTwisted sage: bijection = KRTToRCBijectionTypeDTwisted(KRT(pathlist=[[-1,2]])) sage: TestSuite(bijection).run() @@ -63,7 +63,7 @@ def run(self, verbose=False): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 2], [[3,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 2], [[3,1]]) sage: from sage.combinat.rigged_configurations.bij_type_D_twisted import KRTToRCBijectionTypeDTwisted sage: KRTToRCBijectionTypeDTwisted(KRT(pathlist=[[-1,3,2]])).run() @@ -145,7 +145,7 @@ def next_state(self, val): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 2], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 2], [[2,1]]) sage: from sage.combinat.rigged_configurations.bij_type_D_twisted import KRTToRCBijectionTypeDTwisted sage: bijection = KRTToRCBijectionTypeDTwisted(KRT(pathlist=[[-1,2]])) sage: bijection.cur_path.insert(0, []) diff --git a/src/sage/combinat/rigged_configurations/bijection.py b/src/sage/combinat/rigged_configurations/bijection.py index 4af8c98b181..4711be4be84 100644 --- a/src/sage/combinat/rigged_configurations/bijection.py +++ b/src/sage/combinat/rigged_configurations/bijection.py @@ -55,7 +55,7 @@ def KRTToRCBijection(tp_krt): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[2,1]]) sage: from sage.combinat.rigged_configurations.bijection import KRTToRCBijection sage: bijection = KRTToRCBijection(KRT(pathlist=[[5,2]])) """ diff --git a/src/sage/combinat/rigged_configurations/kr_tableaux.py b/src/sage/combinat/rigged_configurations/kr_tableaux.py index 092bd83268e..bfbe84c42d4 100644 --- a/src/sage/combinat/rigged_configurations/kr_tableaux.py +++ b/src/sage/combinat/rigged_configurations/kr_tableaux.py @@ -151,17 +151,17 @@ class KirillovReshetikhinTableaux(CrystalOfWords): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 1) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 1, model='KR') sage: elt = KRT(4, 3); elt [[3], [4]] - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 2, 1) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 2, 1, model='KR') sage: elt = KRT(-1, 1); elt [[1], [-1]] We can create highest weight crystals from a given shape or weight:: - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 2, 2, model='KR') sage: KRT.module_generator(shape=[1,1]) [[1, 1], [2, -1]] sage: KRT.module_generator(column_shape=[2]) @@ -179,8 +179,8 @@ class KirillovReshetikhinTableaux(CrystalOfWords): :class:`~sage.combinat.rigged_configurations.kr_tableaux.KirillovReshetikhinTableaux` elements:: - sage: KRCrys = KirillovReshetikhinCrystal(['D', 4, 1], 2, 2) - sage: KRTab = KirillovReshetikhinTableaux(['D', 4, 1], 2, 2) + sage: KRCrys = crystals.KirillovReshetikhin(['D', 4, 1], 2, 2, model='KN') + sage: KRTab = crystals.KirillovReshetikhin(['D', 4, 1], 2, 2, model='KR') sage: elt = KRCrys(3, 2); elt [[2], [3]] sage: k = KRTab(elt); k @@ -191,24 +191,24 @@ class KirillovReshetikhinTableaux(CrystalOfWords): We check that the classical weights in the classical decompositions agree in a few different type:: - sage: KRCrys = KirillovReshetikhinCrystal(['D', 4, 1], 2, 2) - sage: KRTab = KirillovReshetikhinTableaux(['D', 4, 1], 2, 2) + sage: KRCrys = crystals.KirillovReshetikhin(['D', 4, 1], 2, 2, model='KN') + sage: KRTab = crystals.KirillovReshetikhin(['D', 4, 1], 2, 2, model='KR') sage: all(t.classical_weight() == KRCrys(t).classical_weight() for t in KRTab) True - sage: KRCrys = KirillovReshetikhinCrystal(['B', 3, 1], 2, 2) - sage: KRTab = KirillovReshetikhinTableaux(['B', 3, 1], 2, 2) + sage: KRCrys = crystals.KirillovReshetikhin(['B', 3, 1], 2, 2, model='KN') + sage: KRTab = crystals.KirillovReshetikhin(['B', 3, 1], 2, 2, model='KR') sage: all(t.classical_weight() == KRCrys(t).classical_weight() for t in KRTab) True - sage: KRCrys = KirillovReshetikhinCrystal(['C', 3, 1], 2, 2) - sage: KRTab = KirillovReshetikhinTableaux(['C', 3, 1], 2, 2) + sage: KRCrys = crystals.KirillovReshetikhin(['C', 3, 1], 2, 2, model='KN') + sage: KRTab = crystals.KirillovReshetikhin(['C', 3, 1], 2, 2, model='KR') sage: all(t.classical_weight() == KRCrys(t).classical_weight() for t in KRTab) True - sage: KRCrys = KirillovReshetikhinCrystal(['D', 4, 2], 2, 2) - sage: KRTab = KirillovReshetikhinTableaux(['D', 4, 2], 2, 2) + sage: KRCrys = crystals.KirillovReshetikhin(['D', 4, 2], 2, 2, model='KN') + sage: KRTab = crystals.KirillovReshetikhin(['D', 4, 2], 2, 2, model='KR') sage: all(t.classical_weight() == KRCrys(t).classical_weight() for t in KRTab) True - sage: KRCrys = KirillovReshetikhinCrystal(['A', 4, 2], 2, 2) - sage: KRTab = KirillovReshetikhinTableaux(['A', 4, 2], 2, 2) + sage: KRCrys = crystals.KirillovReshetikhin(['A', 4, 2], 2, 2, model='KN') + sage: KRTab = crystals.KirillovReshetikhin(['A', 4, 2], 2, 2, model='KR') sage: all(t.classical_weight() == KRCrys(t).classical_weight() for t in KRTab) True """ @@ -219,8 +219,8 @@ def __classcall_private__(cls, cartan_type, r, s): EXAMPLES:: - sage: KRT1 = KirillovReshetikhinTableaux(CartanType(['A',3,1]), 2, 3) - sage: KRT2 = KirillovReshetikhinTableaux(['A',3,1], 2, 3) + sage: KRT1 = crystals.KirillovReshetikhin(CartanType(['A',3,1]), 2, 3, model='KR') + sage: KRT2 = crystals.KirillovReshetikhin(['A',3,1], 2, 3, model='KR') sage: KRT1 is KRT2 True """ @@ -267,11 +267,11 @@ def __init__(self, cartan_type, r, s): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 2, model='KR') sage: TestSuite(KRT).run() # long time - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 2, 2, model='KR') sage: TestSuite(KRT).run() # long time - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 4, 1); KRT + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 4, 1, model='KR'); KRT Kirillov-Reshetikhin tableaux of type ['D', 4, 1] and shape (4, 1) sage: TestSuite(KRT).run() """ @@ -290,7 +290,7 @@ def _repr_(self): EXAMPLES:: - sage: KirillovReshetikhinTableaux(['A', 4, 1], 2, 3) + sage: crystals.KirillovReshetikhin(['A', 4, 1], 2, 3, model='KR') Kirillov-Reshetikhin tableaux of type ['A', 4, 1] and shape (2, 3) """ return "Kirillov-Reshetikhin tableaux of type {} and shape ({}, {})".format( @@ -302,7 +302,7 @@ def __iter__(self): EXAMPLES:: - sage: KR = KirillovReshetikhinTableaux(['A', 3, 1], 2, 1) + sage: KR = crystals.KirillovReshetikhin(['A', 3, 1], 2, 1, model='KR') sage: g = KR.__iter__() sage: g.next() [[1], [2]] @@ -335,7 +335,7 @@ def module_generator(self, i=None, **options): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 2, 2, model='KR') sage: KRT.module_generator(1) [[1, 1], [2, -1]] sage: KRT.module_generator(shape=[1,1]) @@ -349,7 +349,7 @@ def module_generator(self, i=None, **options): sage: KRT.module_generator(classical_weight=WSC.fundamental_weight(2)) [[1, 1], [2, -1]] - sage: KRT = KirillovReshetikhinTableaux(['A', 3, 1], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['A', 3, 1], 2, 2, model='KR') sage: KRT.module_generator() [[1, 1], [2, 2]] """ @@ -396,7 +396,7 @@ def _build_module_generators(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 3) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 3, model='KR') sage: KRT._build_module_generators() ([[1, 1, 1], [2, 2, 2]],) """ @@ -409,8 +409,8 @@ def from_kirillov_reshetikhin_crystal(self, krc): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 1) - sage: C = KirillovReshetikhinCrystal(['A',4,1], 2, 1) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 1, model='KR') + sage: C = crystals.KirillovReshetikhin(['A',4,1], 2, 1, model='KN') sage: krc = C(4,3); krc [[3], [4]] sage: KRT.from_kirillov_reshetikhin_crystal(krc) @@ -424,7 +424,7 @@ def _element_constructor_(self, *lst, **options): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 1) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 1, model='KR') sage: KRT(3, 4) # indirect doctest [[4], [3]] sage: KRT(4, 3) @@ -446,7 +446,7 @@ def r(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 1) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 1, model='KR') sage: KRT.r() 2 """ @@ -459,7 +459,7 @@ def s(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 1) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 1, model='KR') sage: KRT.s() 1 """ @@ -474,7 +474,7 @@ def kirillov_reshetikhin_crystal(self): EXAMPLES:: - sage: KirillovReshetikhinTableaux(['A', 4, 1], 2, 1).kirillov_reshetikhin_crystal() + sage: crystals.KirillovReshetikhin(['A', 4, 1], 2, 1, model='KR').kirillov_reshetikhin_crystal() Kirillov-Reshetikhin crystal of type ['A', 4, 1] with (r,s)=(2,1) """ return KirillovReshetikhinCrystal(self._cartan_type, self._r, self._s) @@ -491,9 +491,9 @@ class KRTableauxRectangle(KirillovReshetikhinTableaux): TESTS:: - sage: KRT = KirillovReshetikhinTableaux(['A', 3, 1], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['A', 3, 1], 2, 2, model='KR') sage: TestSuite(KRT).run() - sage: KRT = KirillovReshetikhinTableaux(['C', 3, 1], 3, 2) + sage: KRT = crystals.KirillovReshetikhin(['C', 3, 1], 3, 2, model='KR') sage: TestSuite(KRT).run() # long time """ def _build_module_generators(self): @@ -505,7 +505,7 @@ def _build_module_generators(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 3) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 3, model='KR') sage: KRT._build_module_generators() ([[1, 1, 1], [2, 2, 2]],) """ @@ -522,8 +522,8 @@ def from_kirillov_reshetikhin_crystal(self, krc): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 1) - sage: C = KirillovReshetikhinCrystal(['A',4,1], 2, 1) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 1, model='KR') + sage: C = crystals.KirillovReshetikhin(['A',4,1], 2, 1, model='KN') sage: krc = C(4,3); krc [[3], [4]] sage: KRT.from_kirillov_reshetikhin_crystal(krc) @@ -546,11 +546,11 @@ class KRTableauxTypeVertical(KirillovReshetikhinTableaux): TESTS:: - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 1, 1) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 1, 1, model='KR') sage: TestSuite(KRT).run() - sage: KRT = KirillovReshetikhinTableaux(['B', 3, 1], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['B', 3, 1], 2, 2, model='KR') sage: TestSuite(KRT).run() # long time - sage: KRT = KirillovReshetikhinTableaux(['A', 5, 2], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['A', 5, 2], 2, 2, model='KR') sage: TestSuite(KRT).run() # long time """ def _fill(self, weight): @@ -568,10 +568,10 @@ def _fill(self, weight): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 2, 1) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 2, 1, model='KR') sage: KRT._fill([]) [[1], [-1]] - sage: KRT = KirillovReshetikhinTableaux(['D', 14, 1], 12, 7) + sage: KRT = crystals.KirillovReshetikhin(['D', 14, 1], 12, 7, model='KR') sage: KRT._fill([10,10,8,2,2,2]) [[1, 1, 1, 1, 1, 7, 1], [2, 2, 2, 2, 2, 8, 2], [3, 3, 7, 9, 7, 9, 3], [4, 4, 8, 10, 8, 10, 4], [5, 5, 9, 11, 9, 11, 5], [6, 6, 10, 12, 10, 12, 6], [7, 7, 11, -12, 11, -12, 7], [8, 8, 12, -11, 12, -11, 8], [9, 9, -12, -10, -12, -10, 9], [10, 10, -11, -9, -11, -9, -9], [-12, 11, -10, -8, -10, -8, -8], [-11, 12, -9, -7, -9, -7, -7]] sage: KRT._fill([10,10,6,2,2,2]) @@ -633,7 +633,7 @@ def _build_module_generators(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 2, 3) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 2, 3, model='KR') sage: KRT._build_module_generators() ([[-2, 1, 1], [-1, 2, -1]], [[1, -2, 1], [2, -1, 2]], [[1, 1, 1], [2, 2, -1]], [[1, 1, 1], [2, 2, 2]]) @@ -648,8 +648,8 @@ def from_kirillov_reshetikhin_crystal(self, krc): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 2,3) - sage: C = KirillovReshetikhinCrystal(['D',4,1], 2,3) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 2, 3, model='KR') + sage: C = crystals.KirillovReshetikhin(['D',4,1], 2, 3, model='KN') sage: krc = C(4,3); krc [[3], [4]] sage: KRT.from_kirillov_reshetikhin_crystal(krc) @@ -674,9 +674,9 @@ class KRTableauxTypeHorizonal(KirillovReshetikhinTableaux): TESTS:: - sage: KRT = KirillovReshetikhinTableaux(['C', 3, 1], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['C', 3, 1], 2, 2, model='KR') sage: TestSuite(KRT).run() # long time - sage: KRT = KirillovReshetikhinTableaux(CartanType(['A', 4, 2]).dual(), 2, 2) + sage: KRT = crystals.KirillovReshetikhin(CartanType(['A', 4, 2]).dual(), 2, 2, model='KR') sage: TestSuite(KRT).run() """ def _fill(self, shape): @@ -693,10 +693,10 @@ def _fill(self, shape): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['C', 5, 1], 3, 5) + sage: KRT = crystals.KirillovReshetikhin(['C', 5, 1], 3, 5, model='KR') sage: KRT._fill([3,3,1]) [[1, 1, 1, -3, 1], [2, 2, 2, -2, 2], [3, -3, 3, -1, 3]] - sage: KRT = KirillovReshetikhinTableaux(['C', 10, 1], 5, 6) + sage: KRT = crystals.KirillovReshetikhin(['C', 10, 1], 5, 6, model='KR') sage: KRT._fill([6,4,2,2]) [[1, 1, 1, 1, 1, 1], [2, 2, 2, 2, -5, 2], [3, 3, -5, 3, -4, 3], [4, 4, -4, 4, -3, 4], [-5, 5, -3, 5, -2, 5]] sage: KRT._fill([6,4]) @@ -728,7 +728,7 @@ def _build_module_generators(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['C',4,1], 2, 3) + sage: KRT = crystals.KirillovReshetikhin(['C',4,1], 2, 3, model='KR') sage: KRT._build_module_generators() ([[1, -2, 1], [2, -1, 2]], [[1, 1, 1], [2, -2, 2]], [[1, 1, 1], [2, 2, 2]]) """ @@ -741,8 +741,8 @@ def from_kirillov_reshetikhin_crystal(self, krc): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['C',4,1], 2,3) - sage: C = KirillovReshetikhinCrystal(['C',4,1], 2,3) + sage: KRT = crystals.KirillovReshetikhin(['C',4,1], 2, 3, model='KR') + sage: C = crystals.KirillovReshetikhin(['C',4,1], 2, 3, model='KN') sage: krc = C(4,3); krc [[3], [4]] sage: KRT.from_kirillov_reshetikhin_crystal(krc) @@ -767,9 +767,9 @@ class KRTableauxTypeBox(KRTableauxTypeVertical): TESTS:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 2], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 2], 2, 2, model='KR') sage: TestSuite(KRT).run() - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 2], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 2], 2, 2, model='KR') sage: TestSuite(KRT).run() # long time """ def _fill(self, weight): @@ -787,10 +787,10 @@ def _fill(self, weight): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 2, 1) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 2, 1, model='KR') sage: KRT._fill([]) [[1], [-1]] - sage: KRT = KirillovReshetikhinTableaux(['D', 14, 1], 12, 7) + sage: KRT = crystals.KirillovReshetikhin(['D', 14, 1], 12, 7, model='KR') sage: KRT._fill([10,10,8,2,2,2]) [[1, 1, 1, 1, 1, 7, 1], [2, 2, 2, 2, 2, 8, 2], [3, 3, 7, 9, 7, 9, 3], [4, 4, 8, 10, 8, 10, 4], [5, 5, 9, 11, 9, 11, 5], [6, 6, 10, 12, 10, 12, 6], [7, 7, 11, -12, 11, -12, 7], [8, 8, 12, -11, 12, -11, 8], [9, 9, -12, -10, -12, -10, 9], [10, 10, -11, -9, -11, -9, -9], [-12, 11, -10, -8, -10, -8, -8], [-11, 12, -9, -7, -9, -7, -7]] sage: KRT._fill([10,10,6,2,2,2]) @@ -852,7 +852,7 @@ def _build_module_generators(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A',4,2], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['A',4,2], 2, 2, model='KR') sage: KRT._build_module_generators() ([[-2, 1], [-1, 2]], [[2, 1], [-2, E]], [[1, E], [2, E]], [[1, 1], [-2, 2]], [[1, 1], [2, E]], [[1, 1], [2, 2]]) @@ -866,9 +866,9 @@ class KRTableauxSpin(KRTableauxRectangle): TESTS:: - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 3, 2) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 3, 2, model='KR') sage: TestSuite(KRT).run() - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 4, 2) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 4, 2, model='KR') sage: TestSuite(KRT).run() """ def _build_module_generators(self): @@ -880,10 +880,10 @@ def _build_module_generators(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 3, 3) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 3, 3, model='KR') sage: KRT._build_module_generators() ([[1, 1, 1], [2, 2, 2], [3, 3, 3], [-4, -4, -4]],) - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 4, 3) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 4, 3, model='KR') sage: KRT._build_module_generators() ([[1, 1, 1], [2, 2, 2], [3, 3, 3], [4, 4, 4]],) """ @@ -903,7 +903,7 @@ class KRTableauxBn(KRTableauxTypeHorizonal): TESTS:: - sage: KRT = KirillovReshetikhinTableaux(['B', 2, 1], 2, 3) + sage: KRT = crystals.KirillovReshetikhin(['B', 2, 1], 2, 3, model='KR') sage: TestSuite(KRT).run() """ def _build_module_generators(self): @@ -912,7 +912,7 @@ def _build_module_generators(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['B', 2, 1], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['B', 2, 1], 2, 2, model='KR') sage: KRT._build_module_generators() ([[-2, 1], [-1, 2]], [[1, 1], [2, 2]]) """ @@ -928,8 +928,8 @@ def from_kirillov_reshetikhin_crystal(self, krc): EXAMPLES:: - sage: KR = KirillovReshetikhinTableaux(['B',3,1], 3,3) - sage: C = KirillovReshetikhinCrystal(['B',3,1], 3,3) + sage: KR = crystals.KirillovReshetikhin(['B',3,1], 3, 3, model='KR') + sage: C = crystals.KirillovReshetikhin(['B',3,1], 3, 3, model='KN') sage: krc = C.module_generators[1].f_string([3,2,3,1,3,3]); krc [++-, [[2], [0], [-3]]] sage: KR.from_kirillov_reshetikhin_crystal(krc) @@ -963,7 +963,7 @@ def __init__(self, parent, list, **options): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 1) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 1, model='KR') sage: elt = KRT(4, 3); elt [[3], [4]] sage: TestSuite(elt).run() @@ -979,7 +979,7 @@ def _repr_(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 1) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 1, model='KR') sage: KRT(3,2) [[2], [3]] """ @@ -991,7 +991,7 @@ def _repr_diagram(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A',4,1], 2,2) + sage: KRT = crystals.KirillovReshetikhin(['A',4,1], 2, 2, model='KR') sage: elt = KRT(2,1,4,3) sage: print elt._repr_diagram() 1 3 @@ -1005,7 +1005,7 @@ def _latex_(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 3) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 3, model='KR') sage: latex(KRT(3,2,4,2,4,3)) {\def\lr#1{\multicolumn{1}{|@{\hspace{.6ex}}c@{\hspace{.6ex}}|}{\raisebox{-.3ex}{$#1$}}} \raisebox{-.6ex}{$\begin{array}[b]{*{3}c}\cline{1-3} @@ -1023,7 +1023,7 @@ def _ascii_art_(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A',4,1], 2,2) + sage: KRT = crystals.KirillovReshetikhin(['A',4,1], 2, 2, model='KR') sage: ascii_art(KRT(2,1,4,3)) 1 3 2 4 @@ -1047,7 +1047,7 @@ def to_kirillov_reshetikhin_crystal(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 2,2) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 2, 2, model='KR') sage: elt = KRT(3,2,-1,1); elt [[2, 1], [3, -1]] sage: elt.to_kirillov_reshetikhin_crystal() @@ -1057,8 +1057,8 @@ def to_kirillov_reshetikhin_crystal(self): Spinor tests:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 4, 3) - sage: KRC = KirillovReshetikhinCrystal(['D',4,1], 4, 3) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 4, 3, model='KR') + sage: KRC = crystals.KirillovReshetikhin(['D',4,1], 4, 3, model='KN') sage: elt = KRT(-3,-4,2,1,-3,-4,2,1,-2,-4,3,1); elt [[1, 1, 1], [2, 2, 3], [-4, -4, -4], [-3, -3, -2]] sage: ret = elt.to_kirillov_reshetikhin_crystal(); ret @@ -1101,7 +1101,7 @@ def to_array(self, rows=True): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 2, model='KR') sage: elt = KRT(2, 1, 4, 3) sage: elt.to_array() [[1, 3], [2, 4]] @@ -1133,7 +1133,7 @@ def to_tableau(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 2, model='KR') sage: elt = KRT(2, 1, 4, 3); elt [[1, 3], [2, 4]] sage: t = elt.to_tableau(); t @@ -1149,7 +1149,7 @@ def pp(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['A', 4, 1], 2, 2) + sage: KRT = crystals.KirillovReshetikhin(['A', 4, 1], 2, 2, model='KR') sage: elt = KRT(2, 1, 4, 3); elt [[1, 3], [2, 4]] sage: elt.pp() @@ -1175,7 +1175,7 @@ def to_classical_highest_weight(self, index_set=None): EXAMPLES:: - sage: KRTab = KirillovReshetikhinTableaux(['D',4,1], 2,2) + sage: KRTab = crystals.KirillovReshetikhin(['D',4,1], 2, 2, model='KR') sage: elt = KRTab(3,2,-1,1); elt [[2, 1], [3, -1]] sage: elt.to_classical_highest_weight() @@ -1196,7 +1196,7 @@ def weight(self): EXAMPLES:: - sage: KR = KirillovReshetikhinTableaux(['D',4,1], 2, 2) + sage: KR = crystals.KirillovReshetikhin(['D',4,1], 2, 2, model='KR') sage: KR.module_generators[1].weight() -2*Lambda[0] + Lambda[2] """ @@ -1209,7 +1209,7 @@ def classical_weight(self): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 2,2) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 2, 2, model='KR') sage: elt = KRT(3,2,-1,1); elt [[2, 1], [3, -1]] sage: elt.classical_weight() @@ -1233,7 +1233,7 @@ def e(self, i): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 2,2) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 2, 2, model='KR') sage: KRT.module_generators[0].e(0) [[-2, 1], [-1, -1]] """ @@ -1254,7 +1254,7 @@ def f(self, i): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 2,2) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 2, 2, model='KR') sage: KRT.module_generators[0].f(0) [[1, 1], [2, -1]] """ @@ -1276,7 +1276,7 @@ def epsilon(self, i): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 2,2) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 2, 2, model='KR') sage: KRT.module_generators[0].epsilon(0) 2 """ @@ -1294,7 +1294,7 @@ def phi(self, i): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 2,2) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 2, 2, model='KR') sage: KRT.module_generators[0].phi(0) 2 """ @@ -1319,7 +1319,7 @@ def e(self, i): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 4, 1) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 4, 1, model='KR') sage: KRT(-1, -4, 3, 2).e(1) [[1], [3], [-4], [-2]] sage: KRT(-1, -4, 3, 2).e(3) @@ -1338,7 +1338,7 @@ def f(self, i): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 4, 1) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 4, 1, model='KR') sage: KRT(-1, -4, 3, 2).f(1) sage: KRT(-1, -4, 3, 2).f(3) [[2], [4], [-3], [-1]] @@ -1358,7 +1358,7 @@ def epsilon(self, i): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 4, 1) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 4, 1, model='KR') sage: KRT(-1, -4, 3, 2).epsilon(1) 1 sage: KRT(-1, -4, 3, 2).epsilon(3) @@ -1374,7 +1374,7 @@ def phi(self, i): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D',4,1], 4, 1) + sage: KRT = crystals.KirillovReshetikhin(['D',4,1], 4, 1, model='KR') sage: KRT(-1, -4, 3, 2).phi(1) 0 sage: KRT(-1, -4, 3, 2).phi(3) @@ -1415,7 +1415,7 @@ def to_array(self, rows=True): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 1], 4, 3) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 1], 4, 3, model='KR') sage: elt = KRT(-3,-4,2,1,-3,-4,2,1,-2,-4,3,1) sage: elt.to_array() [[1, 1, 1], [2, 2, 3], [-4, -4, -4], [-3, -3, -2]] @@ -1449,10 +1449,10 @@ class KRTableauxDTwistedSpin(KRTableauxRectangle): EXAMPLES:: - sage: KRT = KirillovReshetikhinTableaux(['D', 4, 2], 1, 1) + sage: KRT = crystals.KirillovReshetikhin(['D', 4, 2], 1, 1, model='KR') sage: KRT.cardinality() 8 - sage: KRC = KirillovReshetikhinCrystal(['D', 4, 2], 1, 1) + sage: KRC = crystals.KirillovReshetikhin(['D', 4, 2], 1, 1, model='KN') sage: KRT.cardinality() == KRC.cardinality() True """ diff --git a/src/sage/combinat/rigged_configurations/rigged_configurations.py b/src/sage/combinat/rigged_configurations/rigged_configurations.py index 31ee2f5bb62..3b9da2e23ac 100644 --- a/src/sage/combinat/rigged_configurations/rigged_configurations.py +++ b/src/sage/combinat/rigged_configurations/rigged_configurations.py @@ -296,9 +296,9 @@ class RiggedConfigurations(Parent, UniqueRepresentation): :: sage: RC = RiggedConfigurations(['D', 4, 1], [[4,1], [3,3]]) - sage: KR1 = KirillovReshetikhinCrystal(['D', 4, 1], 4, 1) - sage: KR2 = KirillovReshetikhinCrystal(['D', 4, 1], 3, 3) - sage: T = TensorProductOfCrystals(KR1, KR2) + sage: KR1 = crystals.KirillovReshetikhin(['D', 4, 1], 4, 1) + sage: KR2 = crystals.KirillovReshetikhin(['D', 4, 1], 3, 3) + sage: T = crystals.TensorProduct(KR1, KR2) sage: t = T[1]; t [[++++, []], [+++-, [[1], [2], [4], [-4]]]] sage: ret = RC(t) @@ -318,7 +318,7 @@ class RiggedConfigurations(Parent, UniqueRepresentation): sage: RC = RiggedConfigurations(['D', 4, 1], [[2, 1]]) sage: c = RC.cardinality(); c 29 - sage: K = KirillovReshetikhinCrystal(['D',4,1],2,1) + sage: K = crystals.KirillovReshetikhin(['D',4,1],2,1) sage: K.cardinality() == c True """ @@ -609,7 +609,7 @@ def _element_constructor_(self, *lst, **options): TESTS:: - sage: KT = TensorProductOfKirillovReshetikhinTableaux(['C',2,1], [[2,4],[1,2]]) + sage: KT = crystals.TensorProductOfKirillovReshetikhinTableaux(['C',2,1], [[2,4],[1,2]]) sage: t = KT(pathlist=[[2,1,2,1,-2,2,-1,-2],[2,-2]]) sage: rc = t.to_rigged_configuration(); rc diff --git a/src/sage/combinat/rigged_configurations/tensor_product_kr_tableaux.py b/src/sage/combinat/rigged_configurations/tensor_product_kr_tableaux.py index e4276342a82..9c20335f220 100644 --- a/src/sage/combinat/rigged_configurations/tensor_product_kr_tableaux.py +++ b/src/sage/combinat/rigged_configurations/tensor_product_kr_tableaux.py @@ -16,23 +16,23 @@ Type `A_n^{(1)}` examples:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1], [2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1], [2,1]]) sage: KRT Tensor product of Kirillov-Reshetikhin tableaux of type ['A', 3, 1] and factor(s) ((3, 1), (2, 1)) sage: KRT.cardinality() 24 - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[1,1], [2,1], [3,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[1,1], [2,1], [3,1]]) sage: KRT Tensor product of Kirillov-Reshetikhin tableaux of type ['A', 3, 1] and factor(s) ((1, 1), (2, 1), (3, 1)) sage: len(KRT.module_generators) 5 - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[1,1], [2,1], [3,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[1,1], [2,1], [3,1]]) sage: KRT.cardinality() 96 Type `D_n^{(1)}` examples:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[1, 1], [2, 1], [1, 1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[1, 1], [2, 1], [1, 1]]) sage: KRT Tensor product of Kirillov-Reshetikhin tableaux of type ['D', 4, 1] and factor(s) ((1, 1), (2, 1), (1, 1)) sage: T = KRT(pathlist=[[1], [-2, 2], [1]]) @@ -91,7 +91,7 @@ def __init__(self, tp_krt): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[2,2]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[2,2]]) sage: from sage.combinat.rigged_configurations.tensor_product_kr_tableaux import HighestWeightTensorKRT sage: hw = HighestWeightTensorKRT(KRT) sage: hw2 = HighestWeightTensorKRT(KRT) @@ -107,7 +107,7 @@ def __getitem__(self, i): TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1], [2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1], [2,1]]) sage: KRT.module_generators[0] [[1], [2], [3]] (X) [[1], [2]] """ @@ -122,7 +122,7 @@ def __iter__(self): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[2,1]]) sage: from sage.combinat.rigged_configurations.tensor_product_kr_tableaux import HighestWeightTensorKRT sage: for x in HighestWeightTensorKRT(KRT): x ... @@ -141,12 +141,12 @@ def __repr__(self): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[2,1]]) sage: from sage.combinat.rigged_configurations.tensor_product_kr_tableaux import HighestWeightTensorKRT sage: HighestWeightTensorKRT(KRT) Highest weight elements of Tensor product of Kirillov-Reshetikhin tableaux of type ['D', 4, 1] and factor(s) ((2, 1),) """ - return "Highest weight elements of %s"%self.tp_krt + return "Highest weight elements of {}".format(self.tp_krt) @cached_method def cardinality(self): @@ -155,7 +155,7 @@ def cardinality(self): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[2,2]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[2,2]]) sage: from sage.combinat.rigged_configurations.tensor_product_kr_tableaux import HighestWeightTensorKRT sage: HW = HighestWeightTensorKRT(KRT) sage: HW.cardinality() @@ -217,7 +217,7 @@ class TensorProductOfKirillovReshetikhinTableaux(FullTensorProductOfRegularCryst We can go between tensor products of KR crystals and rigged configurations:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1],[2,2]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1],[2,2]]) sage: tp_krt = KRT(pathlist=[[3,2,1],[3,2,3,2]]); tp_krt [[1], [2], [3]] (X) [[2, 2], [3, 3]] sage: RC = RiggedConfigurations(['A',3,1], [[3,1],[2,2]]) @@ -235,9 +235,9 @@ class TensorProductOfKirillovReshetikhinTableaux(FullTensorProductOfRegularCryst True sage: rc_elt == tp_krt.to_rigged_configuration() True - sage: KR1 = KirillovReshetikhinCrystal(['A',3,1], 3,1) - sage: KR2 = KirillovReshetikhinCrystal(['A',3,1], 2,2) - sage: T = TensorProductOfCrystals(KR1, KR2) + sage: KR1 = crystals.KirillovReshetikhin(['A',3,1], 3,1) + sage: KR2 = crystals.KirillovReshetikhin(['A',3,1], 2,2) + sage: T = crystals.TensorProduct(KR1, KR2) sage: t = T(KR1(3,2,1), KR2(3,2,3,2)) sage: KRT(t) == tp_krt True @@ -247,7 +247,7 @@ class TensorProductOfKirillovReshetikhinTableaux(FullTensorProductOfRegularCryst We can get the highest weight elements by using the attribute ``module_generators``:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1], [2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1], [2,1]]) sage: list(KRT.module_generators) [[[1], [2], [3]] (X) [[1], [2]], [[1], [3], [4]] (X) [[1], [2]]] @@ -257,7 +257,7 @@ class TensorProductOfKirillovReshetikhinTableaux(FullTensorProductOfRegularCryst say, in English notation, the word obtain from reading bottom-to-top, left-to-right. :: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,2], [1,2], [2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,2], [1,2], [2,1]]) sage: elt = KRT(pathlist=[[3, 2, 1, 4, 2, 1], [1, 3], [3, 1]]) sage: elt.pp() 1 1 (X) 1 3 (X) 1 @@ -267,9 +267,9 @@ class TensorProductOfKirillovReshetikhinTableaux(FullTensorProductOfRegularCryst One can still create elements in the same way as tensor product of crystals:: - sage: K1 = KirillovReshetikhinTableaux(['A',3,1], 3,2) - sage: K2 = KirillovReshetikhinTableaux(['A',3,1], 1,2) - sage: K3 = KirillovReshetikhinTableaux(['A',3,1], 2,1) + sage: K1 = crystals.KirillovReshetikhin(['A',3,1], 3, 2, model='KR') + sage: K2 = crystals.KirillovReshetikhin(['A',3,1], 1, 2, model='KR') + sage: K3 = crystals.KirillovReshetikhin(['A',3,1], 2, 1, model='KR') sage: eltlong = KRT(K1(3, 2, 1, 4, 2, 1), K2(1, 3), K3(3, 1)) sage: eltlong == elt True @@ -281,9 +281,9 @@ def __classcall_private__(cls, cartan_type, B): EXAMPLES:: - sage: T1 = TensorProductOfKirillovReshetikhinTableaux(CartanType(['A',3,1]), [[2,2]]) - sage: T2 = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [(2,2)]) - sage: T3 = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], ((2,2),)) + sage: T1 = crystals.TensorProductOfKirillovReshetikhinTableaux(CartanType(['A',3,1]), [[2,2]]) + sage: T2 = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [(2,2)]) + sage: T3 = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], ((2,2),)) sage: T2 is T1, T3 is T1 (True, True) """ @@ -301,14 +301,14 @@ def __init__(self, cartan_type, B): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1],[2,2]]); KRT + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1],[2,2]]); KRT Tensor product of Kirillov-Reshetikhin tableaux of type ['A', 3, 1] and factor(s) ((3, 1), (2, 2)) sage: TestSuite(KRT).run() # long time - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[2,2]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[2,2]]) sage: TestSuite(KRT).run() # long time - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[3,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[3,1]]) sage: TestSuite(KRT).run() # long time - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[4,3]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[4,3]]) sage: TestSuite(KRT).run() # long time """ self.dims = B @@ -328,7 +328,7 @@ def __iter__(self): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 3, 1], [[2,1], [1,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 3, 1], [[2,1], [1,1]]) sage: g = KRT.__iter__() sage: g.next() [[2], [3]] (X) [[1]] @@ -347,7 +347,7 @@ def _test_bijection(self, **options): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[3,2],[4,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 4, 1], [[3,2],[4,1]]) sage: KRT._test_bijection() """ tester = self._tester(**options) @@ -371,7 +371,7 @@ def _element_constructor_(self, *path, **options): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1], [2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1], [2,1]]) sage: KRT(pathlist=[[4, 2, 1], [2, 1]]) [[1], [2], [4]] (X) [[1], [2]] """ @@ -405,7 +405,7 @@ def _module_generators_brute_force(self): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[1,3], [2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[1,3], [2,1]]) sage: tuple(KRT.module_generators) ([[1, 1, 1]] (X) [[1], [2]], [[1, 1, 3]] (X) [[1], [2]]) sage: KRT._module_generators_brute_force() @@ -422,7 +422,7 @@ def rigged_configurations(self): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[1,3], [2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[1,3], [2,1]]) sage: KRT.rigged_configurations() Rigged configurations of type ['A', 3, 1] and factor(s) ((1, 3), (2, 1)) """ @@ -437,17 +437,17 @@ def tensor_product_of_kirillov_reshetikhin_crystals(self): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1],[2,2]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[3,1],[2,2]]) sage: KRT.tensor_product_of_kirillov_reshetikhin_crystals() Full tensor product of the crystals [Kirillov-Reshetikhin crystal of type ['A', 3, 1] with (r,s)=(3,1), Kirillov-Reshetikhin crystal of type ['A', 3, 1] with (r,s)=(2,2)] TESTS:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[4,1], [3,3]]) - sage: KR1 = KirillovReshetikhinCrystal(['D', 4, 1], 4, 1) - sage: KR2 = KirillovReshetikhinCrystal(['D', 4, 1], 3, 3) - sage: T = TensorProductOfCrystals(KR1, KR2) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[4,1], [3,3]]) + sage: KR1 = crystals.KirillovReshetikhin(['D', 4, 1], 4, 1) + sage: KR2 = crystals.KirillovReshetikhin(['D', 4, 1], 3, 3) + sage: T = crystals.TensorProduct(KR1, KR2) sage: T == KRT.tensor_product_of_kirillov_reshetikhin_crystals() True sage: T is KRT.tensor_product_of_kirillov_reshetikhin_crystals() diff --git a/src/sage/combinat/rigged_configurations/tensor_product_kr_tableaux_element.py b/src/sage/combinat/rigged_configurations/tensor_product_kr_tableaux_element.py index 47bf240f20e..90112b23ad7 100644 --- a/src/sage/combinat/rigged_configurations/tensor_product_kr_tableaux_element.py +++ b/src/sage/combinat/rigged_configurations/tensor_product_kr_tableaux_element.py @@ -43,7 +43,7 @@ class TensorProductOfKirillovReshetikhinTableauxElement(TensorProductOfRegularCr Type `A_n^{(1)}` examples:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 3, 1], [[1,1], [2,1], [1,1], [2,1], [2,1], [2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 3, 1], [[1,1], [2,1], [1,1], [2,1], [2,1], [2,1]]) sage: T = KRT(pathlist=[[2], [4,1], [3], [4,2], [3,1], [2,1]]) sage: T [[2]] (X) [[1], [4]] (X) [[3]] (X) [[2], [4]] (X) [[1], [3]] (X) [[1], [2]] @@ -73,7 +73,7 @@ class TensorProductOfKirillovReshetikhinTableauxElement(TensorProductOfRegularCr Type `D_n^{(1)}` examples:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[1,1], [1,1], [1,1], [1,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[1,1], [1,1], [1,1], [1,1]]) sage: T = KRT(pathlist=[[-1], [-1], [1], [1]]) sage: T [[-1]] (X) [[-1]] (X) [[1]] (X) [[1]] @@ -89,7 +89,7 @@ class TensorProductOfKirillovReshetikhinTableauxElement(TensorProductOfRegularCr 0[ ][ ]0 - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,1], [1,1], [1,1], [1,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,1], [1,1], [1,1], [1,1]]) sage: T = KRT(pathlist=[[3,2], [1], [-1], [1]]) sage: T [[2], [3]] (X) [[1]] (X) [[-1]] (X) [[1]] @@ -122,15 +122,15 @@ def __init__(self, parent, list=[[]], **options): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 3, 1], [[1, 1], [2, 1], [1, 1], [2, 1], [2, 1], [2, 1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 3, 1], [[1, 1], [2, 1], [1, 1], [2, 1], [2, 1], [2, 1]]) sage: T = KRT(pathlist=[[2], [4, 1], [3], [4, 2], [3, 1], [2, 1]]) sage: T [[2]] (X) [[1], [4]] (X) [[3]] (X) [[2], [4]] (X) [[1], [3]] (X) [[1], [2]] - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 3, 1], [[3,3], [2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 3, 1], [[3,3], [2,1]]) sage: T = KRT(pathlist=[[3, 2, 1, 4, 2, 1, 4, 3, 1], [2, 1]]) sage: T [[1, 1, 1], [2, 2, 3], [3, 4, 4]] (X) [[1], [2]] - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2, 1], [1, 1], [1, 1], [1, 1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2, 1], [1, 1], [1, 1], [1, 1]]) sage: T = KRT(pathlist=[[3,2], [1], [-1], [1]]) sage: T [[2], [3]] (X) [[1]] (X) [[-1]] (X) [[1]] @@ -149,7 +149,7 @@ def _repr_(self): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2, 1], [1, 1], [1, 1], [1, 1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2, 1], [1, 1], [1, 1], [1, 1]]) sage: T = KRT(pathlist=[[3,2], [1], [-1], [1]]) sage: T # indirect doctest [[2], [3]] (X) [[1]] (X) [[-1]] (X) [[1]] @@ -165,7 +165,7 @@ def _repr_diagram(self): EXAMPLES:: - sage: TPKRT = TensorProductOfKirillovReshetikhinTableaux(['A',4,1], [[2,2],[3,1],[3,3]]) + sage: TPKRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',4,1], [[2,2],[3,1],[3,3]]) sage: print TPKRT.module_generators[0]._repr_diagram() 1 1 (X) 1 (X) 1 1 1 2 2 2 2 2 2 @@ -202,7 +202,7 @@ def pp(self): EXAMPLES:: - sage: TPKRT = TensorProductOfKirillovReshetikhinTableaux(['A',4,1], [[2,2],[3,1],[3,3]]) + sage: TPKRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',4,1], [[2,2],[3,1],[3,3]]) sage: TPKRT.module_generators[0].pp() 1 1 (X) 1 (X) 1 1 1 2 2 2 2 2 2 @@ -216,12 +216,12 @@ def classical_weight(self): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[2,2]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[2,2]]) sage: elt = KRT(pathlist=[[3,2,-1,1]]); elt [[2, 1], [3, -1]] sage: elt.classical_weight() (0, 1, 1, 0) - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[2,2],[1,3]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A',3,1], [[2,2],[1,3]]) sage: elt = KRT(pathlist=[[2,1,3,2],[1,4,4]]); elt [[1, 2], [2, 3]] (X) [[1, 4, 4]] sage: elt.classical_weight() @@ -255,7 +255,7 @@ def to_rigged_configuration(self, display_steps=False): Type `A_n^{(1)}` example:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['A', 3, 1], [[2,1], [2,1], [2,1]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['A', 3, 1], [[2,1], [2,1], [2,1]]) sage: T = KRT(pathlist=[[4, 2], [3, 1], [2, 1]]) sage: T [[2], [4]] (X) [[1], [3]] (X) [[1], [2]] @@ -271,7 +271,7 @@ def to_rigged_configuration(self, display_steps=False): Type `D_n^{(1)}` example:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,2]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,2]]) sage: T = KRT(pathlist=[[2,1,4,3]]) sage: T [[1, 3], [2, 4]] @@ -288,7 +288,7 @@ def to_rigged_configuration(self, display_steps=False): Type `D_n^{(1)}` spinor example:: - sage: CP = TensorProductOfKirillovReshetikhinTableaux(['D', 5, 1], [[5,1],[2,1],[1,1],[1,1],[1,1]]) + sage: CP = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 5, 1], [[5,1],[2,1],[1,1],[1,1],[1,1]]) sage: elt = CP(pathlist=[[-2,-5,4,3,1],[-1,2],[1],[1],[1]]) sage: elt [[1], [3], [4], [-5], [-2]] (X) [[2], [-1]] (X) [[1]] (X) [[1]] (X) [[1]] @@ -310,7 +310,7 @@ def to_rigged_configuration(self, display_steps=False): This is invertible by calling :meth:`~sage.combinat.rigged_configurations.rigged_configuration_element.RiggedConfigurationElement.to_tensor_product_of_kirillov_reshetikhin_tableaux()`:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,2]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D', 4, 1], [[2,2]]) sage: T = KRT(pathlist=[[2,1,4,3]]) sage: rc = T.to_rigged_configuration() sage: ret = rc.to_tensor_product_of_kirillov_reshetikhin_tableaux(); ret @@ -332,7 +332,7 @@ def to_tensor_product_of_kirillov_reshetikhin_crystals(self): EXAMPLES:: - sage: KRT = TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[1,1],[2,2]]) + sage: KRT = crystals.TensorProductOfKirillovReshetikhinTableaux(['D',4,1], [[1,1],[2,2]]) sage: elt = KRT(pathlist=[[-1],[-1,2,-1,1]]); elt [[-1]] (X) [[2, 1], [-1, -1]] sage: tp_krc = elt.to_tensor_product_of_kirillov_reshetikhin_crystals(); tp_krc