Skip to content

Commit

Permalink
Trac #34531: some details in LS paths crystals
Browse files Browse the repository at this point in the history
just a few ones, not a complete cleanup

URL: https://trac.sagemath.org/34531
Reported by: chapoton
Ticket author(s): Frédéric Chapoton
Reviewer(s): Travis Scrimshaw
  • Loading branch information
Release Manager committed Sep 27, 2022
2 parents 7f7088d + 0cb07df commit f9129b1
Showing 1 changed file with 12 additions and 13 deletions.
25 changes: 12 additions & 13 deletions src/sage/combinat/crystals/littelmann_path.py
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
- Travis Scrimshaw (2016): Implemented
:class:`~sage.combinat.crystals.littelmann_path.InfinityCrystalOfLSPaths`
"""
#****************************************************************************
# ***************************************************************************
# Copyright (C) 2012 Mark Shimozono
# Anne Schilling
#
Expand All @@ -22,8 +22,8 @@
#
# The full text of the GPL is available at:
#
# http://www.gnu.org/licenses/
#****************************************************************************
# https://www.gnu.org/licenses/
# ***************************************************************************

from sage.misc.cachefunc import cached_in_parent_method, cached_method
from sage.structure.unique_representation import UniqueRepresentation
Expand Down Expand Up @@ -147,10 +147,7 @@ def __classcall_private__(cls, starting_weight, cartan_type = None, starting_wei
"""
if cartan_type is not None:
cartan_type, starting_weight = CartanType(starting_weight), cartan_type
if cartan_type.is_affine():
extended = True
else:
extended = False
extended = cartan_type.is_affine()

R = RootSystem(cartan_type)
P = R.weight_space(extended = extended)
Expand Down Expand Up @@ -333,7 +330,7 @@ def split_step(self, which_step, r):
sage: b.split_step(0,1/3)
(1/3*Lambda[1] + 1/3*Lambda[2], 2/3*Lambda[1] + 2/3*Lambda[2])
"""
assert 0 <= which_step and which_step <= len(self.value)
assert 0 <= which_step <= len(self.value)
v = self.value[which_step]
return self.parent()(self.value[:which_step] + (r*v,(1-r)*v) + self.value[which_step+1:])

Expand Down Expand Up @@ -476,7 +473,7 @@ def e(self, i, power=1, to_string_end=False, length_only=False):

ix = len(data)-1
while ix >= 0 and data[ix][1] < M + p:
# get the index of the current step to be processed
# get the index of the current step to be processed
j = data[ix][0]
# find the i-height where the current step might need to be split
if ix == 0:
Expand Down Expand Up @@ -621,7 +618,7 @@ def _latex_(self):


#####################################################################
## Projected level-zero
# Projected level-zero


class CrystalOfProjectedLevelZeroLSPaths(CrystalOfLSPaths):
Expand Down Expand Up @@ -1144,7 +1141,9 @@ def energy_function(self):
Wd = WeylGroup(cartan_dual, prefix='s', implementation="permutation")
G = Wd.quantum_bruhat_graph(J)
Qd = RootSystem(cartan_dual).root_lattice()
dualize = lambda x: Qv.from_vector(x.to_vector())

def dualize(x):
return Qv.from_vector(x.to_vector())
L = [Wd.from_reduced_word(x.reduced_word()) for x in L]

def stretch_short_root(a):
Expand Down Expand Up @@ -1177,7 +1176,7 @@ def stretch_short_root(a):


#####################################################################
## B(\infty)
# B(\infty)


class InfinityCrystalOfLSPaths(UniqueRepresentation, Parent):
Expand Down Expand Up @@ -1464,7 +1463,7 @@ def phi(self,i):


#####################################################################
## Helper functions
# Helper functions


def positively_parallel_weights(v, w):
Expand Down

0 comments on commit f9129b1

Please sign in to comment.