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

Commit

Permalink
Some more fixes and tweaks.
Browse files Browse the repository at this point in the history
  • Loading branch information
Travis Scrimshaw committed Aug 7, 2014
1 parent d4d5a52 commit 3ab608d
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 11 deletions.
1 change: 0 additions & 1 deletion src/sage/combinat/crystals/kirillov_reshetikhin.py
Original file line number Diff line number Diff line change
Expand Up @@ -2569,7 +2569,6 @@ def _element_constructor_(self, *args, **options):
raise ValueError("no matching highest weight element found")
return KirillovReshetikhinGenericCrystal._element_constructor_(self, *args, **options)


def classical_decomposition(self):
r"""
Specifies the classical crystal underlying the Kirillov-Reshetikhin crystal `B^{n,s}`
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -1949,14 +1949,14 @@ class KRRCNonSimplyLacedElement(KRRiggedConfigurationElement, RCNonSimplyLacedEl
sage: TestSuite(elt).run()
"""
def e(self, a):
"""
r"""
Return the action of `e_a` on ``self``.
This works by lifting into the virtual configuration, then applying
.. MATH::
\hat{e}_a = \prod_{j \in \iota(a)} e_j^{\gamma_j}
e^v_a = \prod_{j \in \iota(a)} \hat{e}_j^{\gamma_j}
and pulling back.
Expand Down Expand Up @@ -1996,14 +1996,14 @@ def e(self, a):
return RCNonSimplyLacedElement.e(self, a)

def f(self, a):
"""
r"""
Return the action of `f_a` on ``self``.
This works by lifting into the virtual configuration, then applying
.. MATH::
\hat{f}_a = \prod_{j \in \iota(a)} f_j^{\gamma_j}
f^v_a = \prod_{j \in \iota(a)} \hat{f}_j^{\gamma_j}
and pulling back.
Expand Down Expand Up @@ -2107,11 +2107,11 @@ def epsilon(self, a):
if a == self.parent()._cartan_type.special_node():
return self.to_tensor_product_of_kirillov_reshetikhin_tableaux().epsilon(a)

epsilon = Integer(KRRCNonSimplyLacedElement.epsilon(self, a))
epsilon = KRRCNonSimplyLacedElement.epsilon(self, a)
n = self.parent().cartan_type().classical().rank()
if self.parent()._rc_index.index(a) == n-1: # -1 for indexing
return 2 * epsilon
return epsilon
epsilon *= 2
return Integer(epsilon)

def phi(self, a):
r"""
Expand All @@ -2136,9 +2136,9 @@ def phi(self, a):
if a == self.parent()._cartan_type.special_node():
return self.to_tensor_product_of_kirillov_reshetikhin_tableaux().phi(a)

phi = Integer(KRRCNonSimplyLacedElement.phi(self, a))
phi = KRRCNonSimplyLacedElement.phi(self, a)
n = self.parent().cartan_type().classical().rank()
if self.parent()._rc_index.index(a) == n-1: # -1 for indexing
return 2 * phi
return phi
phi *= 2
return Integer(phi)

0 comments on commit 3ab608d

Please sign in to comment.