Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Forbade spinor cases.
Browse files Browse the repository at this point in the history
  • Loading branch information
Travis Scrimshaw committed Dec 22, 2013
1 parent 21bf27f commit 0050d2e
Showing 1 changed file with 23 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -558,10 +558,21 @@ def delta(self, return_b=False):
information, see
:meth:`to_tensor_product_of_kirillov_reshetikhin_tableaux()`.
.. NOTE::
Due to the special nature of the bijection for the spinor cases in
types `D_n^{(1)}`, `B_n^{(1)}`, and `A_{2n-1}^{(2)}`, this map is
not defined in these cases.
INPUT:
- ``return_b`` -- return the resulting letter from `\delta`
OUTPUT:
The resulting rigged configuration or if ``return_b`` is ``True``,
then a tuple of the resulting rigged configuration and the letter.
EXAMPLES::
sage: RC = RiggedConfigurations(['C',4,1], [[3,2]])
Expand All @@ -577,17 +588,27 @@ def delta(self, return_b=False):
sage: b
-1
"""
# Don't do spinor cases
P = self.parent()
ct = P.cartan_type()
if ct.type() == 'D':
if P.dims[0][0] >= ct.rank() - 2:
raise ValueError("only for non-spinor cases")
elif ct.type() == 'B' or ct.dual().type() == 'B':
if P.dims[0][0] == ct.rank() - 1:
raise ValueError("only for non-spinor cases")

from sage.combinat.rigged_configurations.bijection import RCToKRTBijection
rc = self
if self.parent().dims[0][1] != 1:
if P.dims[0][1] != 1:
rc = self.left_split()
bij = RCToKRTBijection(rc)
bij.cur_dims[0][0] -= 1 # This takes care of the indexing
b = bij.next_state(bij.cur_dims[0][0])
if bij.cur_dims[0][0] == 0:
bij.cur_dims.pop(0)
from sage.combinat.rigged_configurations.rigged_configurations import RiggedConfigurations
RC = RiggedConfigurations(self.parent()._cartan_type, bij.cur_dims)
RC = RiggedConfigurations(ct, bij.cur_dims)
rc = RC(*bij.cur_partitions)
if return_b:
return (rc, b)
Expand Down

0 comments on commit 0050d2e

Please sign in to comment.